INFORMAL WORKSHOP ON
COMPUTABLE ANALYSIS AND RIGOROUS NUMERICS


Department of Knowledge Engineering
Maastricht University
Bouillonstraat 8-10, Maastricht

Monday 9th December 2013

Schedule (All talks will be held in Room 2.015.)
09:30-10:00
Coffee and Welcome
10:00-10:30
Pieter Collins, Maastricht University
"A Very Brief Introduction to Computable Analysis and Rigorous Numerics"
10:30-11:00
Norbert Muller, Universität Trier
"Computable analysis between theory and practice"
11:00-11:30
Break
11:30-12:00
Bas Spitters, Nijmegen
"Verified Implementation of Exact Real Arithmetic in Type Theory"
12:00-12:30
Robert Rettinger, FernUniversität Hagen
"Computing the Landau constant - Theory and some statistics"
12:30-14:00
Lunch
14:00-14:30
Joost-Pieter Katoen, R.W.T.H. Aachen
"Verifying Stochastic Models"
14:30-15:00
Jan-Friso Groote, T.U. Eindhoven
"Validation and verification of concurrent systems" (TBC)
15:00-15:30
Erika Abraham, R.W.T.H. Aachen
"Reachability Analysis for Hybrid Systems"
15:30-16:00
Break
16:00-16:30
Martin Ziegler, T.U. Darmstadt
"Parameterized Rigorous Complexity in Real Computation".
16:30-17:00
Klaus Weihrauch, FernUniversität Hagen
"Some useful tools for Computable Analysis"
17:00-17:30
Discussion and Closing
17:30-18:30
Drinks
18:30-20:30
Dinner