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
Michal Konecny
Last modified: 2012-08-30 12:35