
Monday, 14 September 2015 

 9:00  Opening 

 9:0010:00 
Daniel da Silva Graça (Faro)

 
Computability and complexity in continuous dynamical systems
(Invited talk)
Slides

 10:0010:30  Coffee 
 10:3011:00 
Arno Pauly and Shi Shu (Cambridge) 
 
Admissibility in Practise, Slides 
 11:0011:30 
Matthew de Brecht and Tatsuji Kawai (CiNet, NICT, Osaka) 
 
Powerspaces of quasiPolish spaces and countably presented locales

 11:3012:00 
Victor Selivanov (Novosibirsk) 
 
On Weihrauch Degrees of kPartitions of the Baire Space
Slides


 12:0014:00  Lunch 

 14:0015:00 
Takayuki Kihara (UC Berkely) 
 
Degree Theory and Infinite Dimensional Topology
(Invited Talk)
Slides

 15:0015:30 
Sam Sanders (Munich) 
 
The Unreasonable Effectiveness of Nonstandard Analysis
Slides

 15:3016:30  Coffee and Cake 
 16:3017:15 
Olivier Bournez (Palaiseau) 
 
Continuous Time Computations
(Tutorial, Lecture 1)
Slides

 17:15  Break 
 17:1518:00 
Olivier Bournez (Palaiseau) 
 
Continuous Time Computations
(Tutorial, Lecture 2) 

 18:15  Dinner 

Tuesday, 15 September 2015 

 9:0010:00 
Martín Escardó (Birmingham)

 
Searchable types in constructive dependent type theory
(Invited talk)

 10:0010:30  Coffee and Tea 
 10:3011:00 
Franz Brauße, Margarita Korovina and Norbert Th. Müller
(Trier/Novosibirsk) 
 
Using Taylor Models in TTE
Slides

 11:3012:00 
Oleg Kudinov and Victor Selivanov (Novosibirsk) 
 
On the Lattices of Effectively Open Sets
Slides

 11:3012:00 
Willem Fouché and Safari Mukeru (Pretoria) 
 
Local time of algorithmically random Brownian motion
Slides


 12:0014:00  Lunch 

 14:0015:00 
Thomas Powell (Innsbruck) 
 
Bar recursion over finite partial functions
(Invited talk)
Slides

 15:0015:30 
Danko Ilik (Palaiseau) 
 
On the Indispensability of Bar Recursion
Slides

 15:3016:30  Coffee and Cake 
 16:3017:15 
André Nies (Auckland) 
 
Randomness and Analysis: a tutorial
(Lecture 1)
Slides

 17:1518:00 
André Nies (Auckland) 
 
Randomness and Analysis: a tutorial
(Lecture 2) 

 18:15  Dinner 

Wednesday, 16 September 2015 

 9:009:30 
Peter Schuster and Davide Rinaldi (Verona/Leeds)

 
Transfinite Methods as Admissible Rules

 9:3010:00 
Makoto Tatsuta and Daisuke Kimura (NII)

 
Decidability and Undecidability in
SymbolicHeap System with
Inductive Denitions

 10:1510:45  Coffee and Tea 
 10:3011:00 
Helmut Schwichtenberg, Ulrich Berger, Kenji Miyamoto and Hideki Tsuiki (Munich/Swansea/Kyoto) 
 
Logic for Gray code computation
Slides

 11:0011:30 
Dieter Spreen and Hideki Tsuiki (Siegen/Kyoto) 
 
Computing with Compact Sets  the Gray Code Case
Slides

 11:3012:00 
Vincent Rahli and Mark Blickford (Luxembourg/Ithaca) 
 
Coq as a Metatheory for Nuprl with Bar
Induction
Slides


 12:0013:00  Lunch 
 13:30  Departure Bus Kochel Heimatbühne, Excursion to Herzogstand 


 18:15  Dinner 

Thursday, 17 September 2015 

 9:0010:00 
Matthieu Hoyrup (Nancy) 
 
On the information carried by programs about the objects they compute.
(Invited talk)
Slides

 10:1010:30  Coffee and Tea 
 10:3011:00 
Akitoshi Kawamura, Florian Steinberg, Martin Ziegler (Tokyo) 
 
Towards Computational Complexity Theory on Advanced Function Spaces in Analysis

 11:0011:30 
Franz Brauße, Margarita Korovina and Norbert Th. Müller
(Trier/Novosibirsk) 
 
On improvements in exact real arithmetic for initial value problems
Slides

 11:3012:00 
Kei Matsumoto and Kazushige Terui (Kyoto) 
 
Coherence Spaces for Computable Analysis II
Slides


 12:0014:00  Lunch 

 14:0014:45 
André Nies (Auckland) 
 
Randomness and Analysis: a tutorial
(Lecture 3) 
 14:4515:30 
André Nies (Auckland) 
 
Randomness and Analysis: a tutorial
(Lecture 4) 
 15:3016:30  Coffee and Cake 
 16:3017:00 
Christine Gaßner (Greifswald) 
 
Hierarchies of Decision Problems over Algebraic
Structures Defined by Quantifiers
Slides

 17:0017:30 
Jens Blanck (Swansea) 
 
Use of parallelism in Haskell implementation of exact real arithmetic

 17:3018:00 
Management Meeting 

 19:00  Dinner at Grauer Bär, Kochel 

Friday, 18 September 2015 

 9:0010:00 
Vassilis Gregoriades (Darmstadt)

 
Some uniformity aspects of the class of analytic sets
(Invited talk)
Slides

 10:0010:30  Coffee and Tea 
 10:3011:15 
Olivier Bournez (Palaiseau) 
 
Continuous Time Computations
(Tutorial, Lecture 3) 
 11:1512:00 
Olivier Bournez (Palaiseau) 
 
Continuous Time Computations
(Tutorial, Lecture 4) 

 12:0013:30  Lunch 

 13:3014:00 
Mizuhito Ogawa (JAIST) 
 
Decidability and undecidability of timed devices with stopwatches
Slides

 14:0014:30 
Pedro Francisco Valencia VizcaĆno (Greifswald) 
 
Hierarchies of Decision Problems for Real Numbers
Slides

 14:3015:00 
Margarita Korovina and Oleg Kudinov (Novosibirsk) 
 
Around RiceShapiro Theorem in Topological
Settings

 15:00  Coffee and Cake 

 Late afternoon 
Suggestion for those still in Kochel: Trip by boat to Schlehdorf

 
Dinner in Klosterbräu, Schlehdorf.

