REDO: Redesigning Logical Syntax

Meeting from November 16 to November 18, 2009, Nancy

Overview

The purpose of this meeting is to discuss recent advances new ideas related to the INRIAAction de Recherche Collaborative 2009 "REDO: Redesigning Logical Syntax".

Participants

Ana Carolina Martins Abbud (University of Bath)
Kai Brünnler (Universität Bern)
Paola Bruscoli (LORIA, Nancy)
Martin Churchill (University of Bath)
Nicolas Guenot (LIX, Palaiseau)
Alessio Guglielmi (University of Bath and LORIA, Nancy)
Yves Guiraud (LORIA, Nancy)
Tom E. Gundersen (University of Bath)
Robert Hein (LORIA, Nancy)
Clément Houtmann (LORIA, Nancy)
François Lamarche (LORIA, Nancy)
Dale Miller (LIX, Palaiseau)
Novak Novakovic (LORIA, Nancy)
Michel Parigot (PPS, Paris)
Anne-Laure Poupon (LIX, Palaiseau)
Lutz Straßburger (LIX, Palaiseau)

Programme

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

Venue

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.

Organization

Paola Bruscoli, Marie-Jeanne Gaffard, Alessio Guglielmi, Lutz Straßburger