The purpose of this meeting is to discuss recent advances new ideas related to the INRIA — Action de Recherche Collaborative 2009 "REDO: Redesigning Logical Syntax".
Time | Monday 16 Nov 2009 |
---|---|
14:30-15:00 |
Welcome and Coffee |
15:00-16:05 |
Kai Brünnler: "The problem of cut-elimination in modal predicate logic" |
16:05-16:20 |
Fire Alarm |
16:20-19:00 |
Open discussion |
Time | Tuesday 17 Nov 2009 |
---|---|
09:30-10:00 |
Welcome, Coffee and Croissants |
10:00-11:05 |
Anne-Laure Poupon: on games and proofs |
11:05-11:10 |
Break |
11:10-12:30 |
Nicolas Guenot: "IMLL, Deep Inference, Machines I" |
12:30-14:00 |
Lunch |
14:00-15:15 |
Dale Miller: On the "unity of logic" and the future of computational logic |
15:15-15:20 |
Break |
15:20-16:30 |
Alessio Guglielmi: "Formalism B, Part 1" |
16:30-16:40 |
Break |
16:40-17:00 |
Nicolas Guenot: "IMLL, Deep Inference, Machines II" |
17:00-19:00 |
Open discussion |
Time | Wednesday 18 Nov 2009 |
---|---|
09:30-10:00 |
Welcome, Coffee and Croissants |
10:00-11:20 |
Novak Novakovic: Classical logic and Frobenius algebras |
11:20-11:50 |
Coffee Break |
11:50-12:30 |
Alessio Guglielmi: "Formalism B, Part 2" |
12:30-14:30 |
Lunch |
14:30-16:30 |
Open discussion |
The meeting will be held in the LORIA in Nancy (How to get there?). We will be in room B013 on Monday 16/11 and in the mornings on Tuesday 17/11 and Wednesday 18/11, and in room C103 in the afternoons on Tuesday 17/11 and Wednesday 18/11.
Paola Bruscoli, Marie-Jeanne Gaffard, Alessio Guglielmi, Lutz Straßburger