(this looks better with a fixed width font) DEEP INFERENCE, ITS ALGEBRA, GEOMETRY AND SYNTAX June 18 Salle du conseil (C005, on the ground floor of Building C) at the Loria, Nancy. PRELIMINARY SCHEDULE (The talks are 45min + 5min question period) 10:00 - 10:30 Greetings and coffee 10:30 - 11:20 Lutz Strassburger Extension without cut 11:20 - 12:10 Bruno W. Paleo Algorithms for Herbrand Sequent Extraction 12:10 - 13:00 Tom Gundersen TBA 13:00 - 14:30 Lunch at the Loria Cafeteria 14:30 - 15:20 Jim Laird Games Semantics for deep inference 15:20 - 16:10 Kai Bruenller Towards Curry-Howard for deep inference 16:10 - 16:30 Coffe Break 16:30 - 17:20 Robert Hein The Conduche condition and dependent products 17:20 - 18:10 Paola Bruscoli TBA PRELIMINATY LIST OF PARTICIPANTS (you are welcome too) Paola Bruscoli University of Bath Guillaume Burel Loria Kai Bruenller Bern Matteo Capeletti LiX, Ecole Polytechnique Daniel de Carvalho Loria Tom Gundersen University of Bath Robert Hein Loria Jim Laird University of Bath Francois Lamarche Loria Stephane Lengrand LiX, Ecole Polytechnique Richard McKinley University of Bath Laurent Mehats LiX, Ecole Polytechnique Novak Novakovic Loria Bruno W. Paleo TU Wien Michel Parigot PPS, Paris Sylvain Pogodalla Loria Lutz Strassburger LiX, Ecole Polytechnique ****************** Getting to the loria from the train station: Take the tram in the "CHU Brabois" direction and get off at the Callot stop. Look at http://www.loria.fr/access/acceder/plan-campus for a more precise view of the Loria's location on the science campus. Note: the visitor's entrance is in the A Building again so entering the premises if you don't have a badge is quite intuitive.