The purpose of this meeting is to discuss the research carried out within the INRIA — Action de Recherche Collaborative 2009 "REDO: Redesigning Logical Syntax".
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 | |
16:30-17:15 | |
17:15-18:30 |
Open Discussion |
Time | Wednesday, September 15, 2010 |
---|---|
09:00-09:30 |
Welcome and Coffee (?) |
09:30-10:15 | |
10:15-10:45 |
Coffee (?) Break |
10:45-11:30 | |
11:30-12:15 | |
12:30-14:30 |
Lunch |
14:30-15:15 | |
15:15-15:45 |
Coffee (?) Break |
15:45-16:30 | |
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 | |
10:15-10:45 |
Coffee (?) Break |
10:45-11:30 |
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: