Last Call, Nancy Workshop on Deep Inference

(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.