The purpose of this meeting is to bring together the participants of the INRIA — Action de Recherche Collaborative 2009 "REDO: Redesigning Logical Syntax".
Time | Tuesday 26 May 2009 (games semantics day) |
---|---|
09:30-10:00 |
Welcome, Coffee and Croissants |
10:00-11:00 |
Guy McCusker: "Tutorial on Games Semantics I" |
11:00-11:10 |
Coffee Break |
11:10-12:10 |
Guy McCusker: "Tutorial on Games Semantics II" |
12:10-14:30 |
Lunch |
14:30-15:00 |
Olivier Delande |
15:00-15:15 |
Coffee Break |
15:15-15:45 |
Jim Laird |
15:45-16:00 |
Coffee Break |
16:00-16:30 |
Samuel Mimram: "Introduction to asynchronous game semantics" |
16:30-19:00 |
Open discussion |
Time | Wednesday 27 May 2009 (deep inference day) |
---|---|
09:30-10:00 |
Welcome, Coffee and Croissants |
10:00-10:30 |
François Lamarche |
10:30-11:20 |
Alessio Guglielmi: "Tutorial on Deep Inference I" |
11:20-11:30 |
Coffee Break |
11:30-12:20 |
Alessio Guglielmi: "Tutorial on Deep Inference II" |
12:10-14:30 |
Lunch |
14:30-15:00 |
Tom Gundersen |
15:00-15:15 |
Coffee Break |
15:15-15:45 |
Novak Novakovic |
15:45-16:00 |
Coffee Break |
16:00-16:30 |
Luca Paolini |
16:30-19:00 |
Open discussion |
Time | Thursday 28 May 2009 (focussing day) |
---|---|
09:30-10:00 |
Welcome, Coffee and Croissants |
10:00-11:00 |
Dale Miller: "Tutorial on Focussing I" |
11:00-11:10 |
Coffee Break |
11:10-12:10 |
Dale Miller: "Tutorial on Focussing II" |
12:10-14:30 |
Lunch |
14:30-15:00 |
Vivek Nigam: "Algorithmic specifications in linear logic with subexponentials" |
15:00-15:15 |
Coffee Break |
15:15-15:45 |
David Baelde |
15:45-16:00 |
Coffee Break |
16:00-16:30 |
Nicolas Guenot |
16:30-19:00 |
Open discussion |
Time | Friday 29 May 2009 |
---|---|
09:30-10:00 |
Welcome, Coffee and Croissants |
10:00-10:30 |
Martin Churchill |
10:30-10:45 |
Coffee Break |
10:45-12:00 |
Slot for "ad hoc" talk |
12:00-14:30 |
Lunch |
14:30-15:00 |
Slot for "ad hoc" talk |
15:00-15:15 |
Coffee Break |
15:15-19:00 |
Open discussion |
The workshop will be held at Laboratoire d'Informatique d'École Polytechnique (LIX). Directions to the lab can be found here. Once you are there, you find a telephone at the entrance. Call Isabelle Biercewicz (4032) to let you in. The room is the meeting room of the CMAP in the third floor.