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 |