Overview
OverviewThe purpose of this meeting is to discuss recent advances new ideas related to the INRIA — Action de Recherche Collaborative 2009 "REDO: Redesigning Logical Syntax".
ParticipantsProgramme| 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 |
VenueThe 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.
OrganizationPaola Bruscoli, Marie-Jeanne Gaffard, Alessio Guglielmi, Lutz Straßburger