Feb 2nd, 2010
Place: Vienna University of Technology (TU Wien), Institut für Computersprachen
Austria, 1040 Vienna, Favoritenstraße 9, staircase 1, 3rd floor, yellow area, room HA0308, Sem 185/2
Organized by: Agata Ciabattoni, Oliver Fasching
Supported by: Kurt Gödel Society, ANR Chaire d'Excellence Démosthène
Participation at the workshop is free.
| 10:30 – 11:30 | Michel Parigot (“Formalisms for Deep Inference”) |
| 11:30 – 12:30 | Alessio Guglielmi (“Normalisation with Atomic Flows”) |
| 14:30 – 15:30 | Tom Gundersen (“A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae”) |
| 15:30 – 16:15 | Lutz Strassburger (“Proof Nets as Invariants for Proofs”) |
| 16:30 – 17:15 | Matthias Baaz (“On the Limits of Analyticity”) |
| 17:15 – 18:00 | Chris Fermüller (“Giles's Game and the Proof Theory of Lukasiewicz Logic”) |
| 19:00 | Conference dinner at: Melker Stiftskeller |
| © 2010. Impressum gem. § 25 MedienG: Kurt Gödel Gesellschaft, Wien. Für extern gelinkte Seiten wird keine Haftung übernommen. |
Latest change: 2010-01-28
|