Collegium Logicum: Proofs and Structure

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.

Time table:

, Schottengasse 3, 1st district, Tel: +43-1-5335530,
10:30 – 11:30Michel Parigot (“Formalisms for Deep Inference”)
11:30 – 12:30Alessio Guglielmi (“Normalisation with Atomic Flows”)
14:30 – 15:30Tom Gundersen (“A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae”)
15:30 – 16:15Lutz Strassburger (“Proof Nets as Invariants for Proofs”)
16:30 – 17:15Matthias Baaz (“On the Limits of Analyticity”)
17:15 – 18:00Chris Fermüller (“Giles's Game and the Proof Theory of Lukasiewicz Logic”)
19:00Conference 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 Valid XHTML 1.0! Valid CSS!