## 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 ∏^{1}_{2}-reflection in second order arithmetic |

10:00 | Coffee |

10:30 | Daria Spescha: Polynomial time operations with explicit types |

11:30 | Lunch |

12:15 | Departure |