Presentation
Participants
Programme
Abstracts
Venue
Organization

Small Workshop on "Theory and Application of Deep Inference"

Palaiseau
June 21, 2007

Presentation

The idea of this workshop is to continue a series of informal meetings on deep inference and related topics. Past events were held in Dresden in November 2003, in September 2004, in February 2005, in December 2005, in Lisbon in 2005, in Bath in July 2006, and in Paris in December 2006.

This workshop is part of (and partially financed by) the ANR project INFER on "Theory and Application of Deep Inference", and the PAI Germaine De Stael project on "Deep Inference and the Essence of Proofs". It serves as first meeting of the participants of these projects.

Participants

David Baelde (LIX, Palaiseau)
Guillaume Burel (LORIA, Nancy)
Kai Brünnler (Universität Bern)
Joëlle Despeyroux (INRIA Sophia Antipolis)
Christopher Dutchyn (University of Saskatchewan)
Alessio Guglielmi (University of Bath)
Tom E. Gundersen (University of Bath)
Dominic Hughes (Stanford University)
François Lamarche (LORIA, Nancy)
Séverine Maingaud (PPS, Paris)
Richard McKinley (Universität Bern)
Dale Miller (LIX, Palaiseau)
Laurent Méhats
Michel Parigot (PPS, Paris)
Sylvain Pogodalla (LORIA, Nancy)
Christian Retoré (LABRI, Bordeaux)
Alexis Saurin (LIX, Palaiseau)
Lutz Straßburger (LIX, Palaiseau)

Programme

Every speaker has a slot of 40 minutes. These 40 minutes consist of a talk of 25 minutes and a following discussion of 15 minutes.

Time Thursday 21 June
09:00-09:30

Welcome, Coffee and Croissants

09:30-10:10

Tom Gundersen

10:10-10:50

Richard McKinley

10:50-11:10

Coffee Break

11:10-11:50

Laurent Méhats

11:50-12:30

Kai Brünnler

12:30-14:00

Lunch

14:00-14:40

Christian Retoré

14:40-15:20

Dominic Hughes

15:20-15:50

Coffee Break

15:50-16:30

Guillaume Burel

16:30-17:10

Lutz Straßburger

17:15-17:45

INFER business meeting

Abstracts

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 Catherine Moreau (3485) to let you in.

See also

Social Event

It is the day of the fête de la musique.

Organization

Lutz Straßburger