Deep Inference, its Algebra, Geometry and Syntax

Comme le titre le suggère, le thème principal de ce workshop est l'inférence profonde, mais des exposés sur des sujets connexes comme l'amélioration et la théorie abstraite des formalismes de démonstration sont tout-à-fait bienvenus.

Le workshop se tiendra le mercredi 18 juin 2008 au Loria, les exposés débutant à 10h30 pour éviter aux Parisiens de passer la nuit à Nancy (il y a un TGV Paris-Nancy, départ de la Gare de l'Est à 8h12, et le dernier TGV Nancy-Paris est à 20h15).

Un programme préliminaire paraîtra sur cette page une dizaine de jours avant l'évènement.

• Si vous voulez participer et/ou donner un exposé, veuillez me contacter à MonPrenom.MonNomDeFamille AT loria.fr en me précisant vos intentions.
• So vous pensez passer plus de temps à Nancy voici une liste d'hotels suggérés
• assurez-vous de ne pas faire vos réservations de TGV à la dernière minute.

Retour à ma homepage

As the title implies the main theme of the workshop is deep inference, but talks on related subjects like the the improvement and abstract theory of proof formalisms are most welcome.

The workshop will be held on Wednesday June 18 2008 at the Loria, starting at 10:30, so as to ensure an easy commute from Paris (there is a Paris-Nancy TGV that leaves Gare de l'Est at 8:12 and the last return train leaves Nancy at 20:15).

At some point a preliminary program will appear here about ten days before the event. Please stay tuned.

• If you intend to attend and/or give a talk please contact me at MyFirstName.MyLastName AT loria.fr making your intentions precise.
• If you intend to spend some more time in Nancy here is a list of suggested hotels
• Make sure not to try to book your TGV seat at the last minute.

	   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    Paola Bruscoli      Threshold Formulae in Deep Inference
11:20 - 12:10    Bruno W. Paleo      Algorithms for Herbrand Sequent Extraction
12:10 - 13:00    Tom Gundersen       Threshold Formulae for Normalisation with Atomic Flows

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 Brünnler        An algorithmic interpretation of a deep inference system

16:10 - 16:30    Coffe Break

16:30 - 17:20    Robert Hein         The Conduché condition and dependent products
17:20 - 18:10    Lutz Strassburger   Extension without cut



	PRELIMINARY LIST OF PARTICIPANTS (you are welcome too)



Paola Bruscoli         University of Bath
Guillaume Burel        Loria
Kai Brünnler           Universität 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       Universität Bern
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.

Back to my homepage