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