REDO: Redesigning Logical Syntax

Meeting from May 26 to May 29, 2009

Overview

The purpose of this meeting is to bring together the participants of the INRIAAction 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

Venue

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.

Organization

Lutz Straßburger