This is an old revision of the document!
Exact Real Computation: Present and Future
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).
11:00 Martin: Motivation and Vision, Discussion 12:00 Lunch