Preliminary Programme

Monday, September 5th

1100 - 1230 Participants are asked to arrive by the end of lunch on Monday
1230 - 1330
Lunch
1330 - 1415 free time to unpack and get to know the area
1415 - 1430
Opening
1430 - 1530 Dana Scott: Sets, Topologies, Categories, and Computability
1530 - 1630 Michael Rathjen: Proof Theory and Constructive Set Theory
1630 - 1700
Coffee break
1700 - 1800 Frank Wagner: Théorie des Modèles et la Propriété d'Indépendance
1800 - 1900 C.-H. Luke Ong: Game Semantics
1900 - 2100
Dinner
2100 - 2400
Welcome Party

We plan some social event at the first evening of the workshop. The details are yet to be determined.

Tuesday, September 6th

0900 - 1000 Frank Wagner: Théorie des Modèles et la Propriété d'Indépendance
1000 - 1100 Dana Scott: Sets, Topologies, Categories, and Computability
1100 - 1130
Coffee break
1130 - 1230 C.-H. Luke Ong: Game Semantics
1230 - 1330
Lunch
1330 - 1530
informal discussions
1530 - 1630 Andrej Bauer: Synthetic Computability
1630 - 1700
Coffee break
1700 - 1730 Diana Ratiu: From Classical Proofs to Programs
1730 - 1800 Elliott Spoors: Elementary Arithmetic
1800 - 1900 Stan Wainer: The Paris-Harrington Independence Result via Fast Growing Functions
1900 - 2100
Dinner

Wednesday, September 7th

0900 - 1000 Michael Rathjen: Proof Theory and Constructive Set Theory
1000 - 1100 Frank Wagner: Théorie des Modèles et la Propriété d'Indépendance
1115 - 1830
Hiking

We will do some easy hiking in the nearby mountains. The tour will be planed easy enough for every one to participate. This is meant to be more a social than a sportive event.

1900 - 2030
Dinner
2030 - 2100 Luca Chiarabini: Generation of an Efficient Algorithm for the ``Generalized Maximal Scoring Subsequence'' (GMSS) Problem
2100 - 2130 Mircea Dan Hernest: Light Functional Interpretation
2130 - 2200 Basil Karadais: Elaborating on Ishihara's ``WKL implies FAN'' proof

Thursday, September 8th

0900 - 1000 C.-H. Luke Ong: Game Semantics
1000 - 1100 Michael Rathjen: Proof Theory and Constructive Set Theory
1100 - 1130
Coffee break
1130 - 1230 Frank Wagner: Théorie des Modèles et la Propriété d'Indépendance
1230 - 1330
Lunch
1330 - 1530
informal discussions
1530 - 1630 Dana Scott: Sets, Topologies, Categories, and Computability
1630 - 1700
Coffee break
1700 - 1730 Pietro Dello Stritto: Measurable theories of groups and geometries
1730 - 1800 Sonia L'Innocente: Rings of definable scalars of Verma
1800 - 1900 Andrej Bauer: Synthetic Computability
1900 - 2100
Conference Dinner
2100 - 2400
Farewell Party

Friday, September 9th

0900 - 1000 Michael Rathjen: Proof Theory and Constructive Set Theory
1000 - 1100 Dana Scott: Sets, Topologies, Categories, and Computability
1100 - 1130
Coffee break
1130 - 1230 C.-H. Luke Ong: Game Semantics
1230 - 1330
Lunch
1330 - 1500 Participants can leave after the last lecture. However, lunch is provided for those who wish.