Time and Location

The seminar starts on Tuesday, October 9th at 10:30 and ends on the following day around noon. It takes places at the castle Münchenwiler near Bern.

Programme

Tuesday, October 9th

10:30 Luca Alberucci: A syntactical treatment of simultaneous fixpoints in the modal mu-calculus
11:30 Kai Brünnler: Syntactic Cut Elimination for an infinitary system for Common Knowledge
12:30 Lunch
13:30 Helmut Schwichtenberg: Dialectica Interpretation of general induction
14:30 Diana Ratiu: Exploring the Algorithmic Content of Classical Proofs in the Gröbner Basis Theory
15:30 Coffee
16:00 Markus Sauermann: Proving security aspects of Smart Cards
18:30 Dinner

Wednesday, October 10th

8:00 Breakfast
9:00 Dieter Probst: Iterated 12-reflection in second order arithmetic
10:00 Coffee
10:30 Daria Spescha: Polynomial time operations with explicit types
11:30 Lunch
12:15 Departure