Deep Inference Christmas Meeting 2007
From International Center for Computational Logic
Deep Inference Christmas Meeting 2007
Conference
- Start: 19. December 2007 at 9:00 am
- End: 19. December 2007 at 4:00 pm
- Research group: Knowledge Representation and Reasoning
- 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.
