Presentation
Participants
Programme
Abstracts
Venue
Organization

Small Paris-Vienna Workshop on "The Realm of Cut Elimination"

Palaiseau
May 14, 2007

Presentation

This workshop is part of the bilateral PAI project "The Realm of Cut Elimination" beween research groups in Paris (LIX and PPS) and Vienna (Theory and Logic Group).

Participants

Matthias Baaz (Theory and Logic Group, Vienna)
David Baelde (LIX, Palaiseau)
Agata Ciabattoni (Theory and Logic Group, Vienna)
Olivier Delande (LIX, Palaiseau)
Gilles Dowek (LIX, Palaiseau)
Dov Gabbay (Group of Logic, Language and Computation, King's College London)
Valentina Gliozzi (Dipartimento di Informatica Università degli Studi di Torino)
Stefan Hetzl (Theory and Logic Group, Vienna)
Dale Miller (LIX, Palaiseau)
Vivek Nigam (LIX, Palaiseau)
Nicola Olivetti (LSIS, Marseille)
Michel Parigot (PPS, Paris)
Vincent Risch (LSIS, Marseille)
Alexis Saurin (LIX, Palaiseau)
Lutz Straßburger (LIX, Palaiseau)

Programme

Time Mon 14 May
09:00-09:30

Welcome, Coffee and Croissants

09:30-10:00

David Baelde (30mn)

10:00-10:30

Olivier Delande (30mn)

10:30-11:00

Coffee Break

11:00-11:30

Alexis Saurin (30mn)

11:30-12:15

Matthias Baaz (45mn)

12:15-14:00

Lunch

14:00-14:45

Gilles Dowek (45mn)

14:45-15:30

Stefan Hetzl (45mn)

15:30-16:00

Coffee Break

16:00-16:30

Vivek Nigam (30mn)

16:30-17:00

Nicola Olivetti (30mn)

17:00-17:30

Dov Gabbay (30mn)

17:30-17:45

Discussion

Abstracts

Venue

The workshop will be held at Laboratoire d'Informatique d'École Polytechnique (LIX). Directions can be found here.

Organization

Lutz Straßburger