Exact Real Computation is the paradigm of identifying, formalizing, implementing, verifying, and imperatively operating on, continuous structures (in the sense of Universal Algebra) as Abstract Data Types (in the sense of Computer Science) with computable semantics (in the sense of Computable Analysis).

This mini-workshop on May 16 (Thursday) will recall the motivation and current progress.
Location: E 3-1, #3444

May 17, Sabrina Ouazzani :How to compute with an infinite time Turing machine?