Overview
OverviewThe purpose of this meeting is to bring together the participants of the INRIA — Action de Recherche Collaborative 2009 "REDO: Redesigning Logical Syntax".
Programme| 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 |
VenueThe 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.
Organization