Deep Inference Christmas Meeting 2007
Aus International Center for Computational Logic
Deep Inference Christmas Meeting 2007
Konferenz
- Beginn: 19. Dezember 2007 um 09:00
- Ende: 19. Dezember 2007 um 16:00
- Forschungsgruppe: Wissensverarbeitung
- iCal
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.- Weitere Infos unter: http://www.lix.polytechnique.fr/~lutz/orgs/DIworkshop-DD-Dec2007.html
