Presentation
Participants
Programme
Abstracts
Venue
Social Event
Organization

Deep Inference Christmas Meeting 2007

Dresden
December 19, 2007

Presentation

The idea of this workshop is to provide an informal atmosphere for discussion on deep inference and related topics. This time, the workshop will be held in Dresden, the city where deep inference was born.

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, in Paris in December 2006, and in Palaiseau in June 2007.

This meeting comes with a goody: There will be an introductory mini-course (5 x 90min) on deep inference for the local Master's students held from Dec 17 to Dec 22 by Paola Bruscoli and Lutz Straßburger.

Participants

Some of the participants will stay in Dresden for longer than just one day.

Kai Brünnler (Universität Bern)    Dec 20 - Dec 22
Paola Bruscoli (University of Bath)    Dec 17 - Dec 22
Alessio Guglielmi (University of Bath)    Dec 17 - Dec 22
Tom E. Gundersen (University of Bath)    Dec 17 - Dec 22
Steffen Hölldobler (TU Dresden)    Dec 17 - Dec 22
Ozan Kahramanoğullari (Imperial College London)    Dec 17 - Dec 21
Luca Roversi (Università di Torino)    Dec 17 - Dec 21
Lutz Straßburger (INRIA Futurs and LIX)    Dec 17 - Dec 21

Programme

Time Wednesday 19 December
09:20-10:50

Lutz Straßburger: Introduction to Deep Inference and Proof Nets (part of the joint course with Paola Bruscoli)

10:50-13:00

Lunch Break

13:00-13:30

Tom Gunderson and Alessio Guglielmi: Atomic Flows for Intuitionistic Logic

13:30-14:00

Luca Roversi: Issues in Implicit Computational Complexity

14:00-14:30

Break

14:30-15:00

Ozan Kahramanoğullari: Overcoming Barriers in Proof Search with Deep Inference

15:00-15:30

Kai Brünnler: tba

Venue

The workshop will be held at the International Center for Computational Logic (ICCL) of Technische Universität Dresden. The ICCL is in the Department of Computer Science. Here are directions and a map.

Social Event

The annual Christmas party of the ICCL takes place in the evening of the workshop day, and all workshop participants are invited.

See also

The Wikipedia entry on Dresden.

Local Organization

Steffen Hölldobler