Monday April 22 (IRIT, Univ. Paul Sabatier) 09:00 - 09:55 registration - coffee break for arrival 09:55 - 10:00 opening 10:00 - 12:00 3 contr. talks (40 minutes each) Herbelin, Lee, Nakata. Computational interpretation for the big five systems of reverse mathematics Bonfante. Rational Bitwise Equations from a recursive point of view Oitavem. Rethinking FPspace with pointers 12:00 - 14:00 120 minutes lunch break (~10 minutes walking distance on Campus) 14:00 - 15:20 2 contr. talks (40 minutes each) Bruscoli, Guglielmi, Gundersen, Parigot. A Quasipolynomial Normalisation Procedure in Deep Inference Guenot. On the computational interpretation of contraction in deep inference 15:20 - 16:00 coffee break 16:00 - 17:20 2 contr. talks (40 minutes each) Sticht. A Game-Theoretic Decision Procedure for the Constructive Description Logic cALC Chapman, Uustalu, Veltri. Formalizing restriction categories Seminar series 2013 "Logics and analyses for verifying graph transformation" of the IRIT17:30 - 18:45 "An introduction to separation logic, and the benefits of going higher-order (a tutorial)" by Lars Birkedal Tuesday April 23 (Manufacture des Tabacs, Univ. Toulouse Capitole) 09:55 - 10:00 opening TYPES 10:00 - 11:00 TYPES inv. talk Awodey 11:00 - 11:30 coffee break 11:30 - 11:55 contr. talk TYPES Herbelin. Some reflections about equality in type theory (tentative material for further research) 11:55 - 12:00 change of room 12:00 - 12:45 contr. talk (45 minutes) Kahle, Setzer. The extended predicative Mahlo universe in explicit mathematics 12:45 - 14:25 100 minutes lunch break (joint with TYPES) 14:25 - 16:05 2 contr. talks (50 minutes each) Yamasaki. Algebraic Compositions of Action Structures for Function Terms Gazzari. Natural Calculation 16:05 - 16:35 coffee break (joint with TYPES) 16:35 - 18:15 2 contr. talks (50 minutes each) Ilik, Nakata. A Direct Constructive Proof of Open Induction on Cantor Space Boudou, Woltzenlogel Paleo. Compression of Propositional Resolution Proofs by Lowering Subproofs
Last modified (date in French): jeu. avril 11 18:06:46 CEST 2013