REDO: Redesigning Logical Syntax

Meeting from September 14 to September 16, 2010, Bath, UK

Overview

The purpose of this meeting is to discuss the research carried out within the INRIAAction de Recherche Collaborative 2009 "REDO: Redesigning Logical Syntax".

Participants

Kai Brünnler (Universität Bern)
Paola Bruscoli (LORIA, Nancy)
Ana C. Calderon (University of Bath)
Martin Churchill (University of Bath)
Pierre Clairambault (PPS, Paris and University of Bath)
Anupam Das (University of Oxford and University of Bath)
Nicolas Guenot (LIX, Palaiseau)
Alessio Guglielmi (University of Bath and LORIA, Nancy)
Tom E. Gundersen (INRIA Saclay - Île-de-France and LIX, Palaiseau)
Jim Laird (University of Bath)
François Lamarche (LORIA, Nancy)
Richard McKinley (Universität Bern)
Guy McCusker (University of Bath)
Dale Miller (INRIA Saclay - Île-de-France and LIX, Palaiseau)
Robert Rothenberg (University of St Andrews)
Lutz Straßburger (INRIA Saclay - Île-de-France and LIX, Palaiseau)

Programme

Every speaker has a slot of 45 minutes. These 45 minutes ideally should consist of a talk of 30 minutes and a following discussion of 15 minutes.

Time Tuesday, September 14, 2010
14:00-14:30

Welcome and Coffee (?)

14:30-15:15

Distinguished Invited Guest Speaker: Kai Brünnler

15:15-15:45

Coffee (?) Break

15:45-16:30

Ana C. Calderon

16:30-17:15

Tom Gundersen

17:15-18:30

Open Discussion

Time Wednesday, September 15, 2010
09:00-09:30

Welcome and Coffee (?)

09:30-10:15

Nicolas Guenot

10:15-10:45

Coffee (?) Break

10:45-11:30

Dale Miller

11:30-12:15

Martin Churchill

12:30-14:30

Lunch

14:30-15:15

Pierre Clairambault

15:15-15:45

Coffee (?) Break

15:45-16:30

Richard McKinley

16:30-17:00

REDO business meeting

17:00-18:30

Open Discussion

Time Thursday, September 16, 2010
09:00-09:30

Welcome and Coffee (?)

09:30-10:15

Robert Rothenberg

10:15-10:45

Coffee (?) Break

10:45-11:30

Lutz Straßburger

Abstracts of Talks

Venue

The meeting will be held at the University of Bath. A map of the campus can be found here. Click here for getting advise how to get to the university.

On each of the three days we will be in a different room:

Organization

Lutz Straßburger

Local Organization

Paola Bruscoli, Alessio Guglielmi