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.
Some of the participants will stay in Dresden for longer than just one day.
Kai Brünnler
(Universität Bern)
Paola Bruscoli
(University of Bath)
Alessio Guglielmi
(University of Bath)
Tom E. Gundersen
(University of Bath)
Steffen Hölldobler
(TU Dresden)
Ozan Kahramanoğullari
(Imperial College London)
Luca Roversi
(Università di Torino)
Lutz Straßburger
(INRIA
Futurs and LIX)
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 |
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.
The annual Christmas party of the ICCL takes place in the evening of the workshop day, and all workshop participants are invited.