Michal's slides

• A Testable Abstract Data Type of Outer and Inner Real Approximations , 25th June 2012, CCA 2012 at Cambridge University
• Solving Hybrid ODE IVPs using Interval Methods , 7th June 2012, CyPhy 2012 at Halmstad University
• Numerical proofs using Function Interval Arithmetic , 20th April 2011, BCTCS 2011 at University of Birmingham
• Distributed, Arbitrary-Precision Differential Equation Solving , 12th December 2007, seminar at Imperial College London
• Functional In-place Update with Layered Datatype Sharing , 10th June 2003, 6th conference on Typed Lambda Calculi and Applications (TLCA'03) Valencia, Spain
• Relaxing a Linear Typing for In-Place Update , 25th April 2002, TYPES 2002, Nijmegen, NL
• Continuity of Non-Extensional Computation 15th November 2001, Computability and Complexity in Analysis, Dagstuhl seminar 01461