Project Démosthène
Geometric and Logic Approaches to Computation
Workshop in Nancy, 23-24.2.2010


Implicit computational complexity, proof nets, process algebras, resource calculus, atomic flows, deep inference.


23 and 24 February 2010.


Known participants as of today:

Paola Bruscoli (LORIA & INRIA Nancy-Grand Est)
Ugo Dal Lago (Università di Bologna)
Nicolas Guenot (LIX & INRIA Saclay-Île-de-France)
Alessio Guglielmi (LORIA & INRIA Nancy-Grand Est)
Tom Gundersen (LIX & INRIA Saclay-Île-de-France)
François Lamarche (LORIA & INRIA Nancy-Grand Est)
Novak Novakovic (LORIA & INRIA Nancy-Grand Est)
Michel Parigot (PPS - CNRS Paris)
Romain Péchoux (LORIA & INRIA Nancy-Grand Est)
Simona Ronchi Della Rocca (Università di Torino)
Luca Roversi (Università di Torino)
Lutz Straßburger (LIX & INRIA Saclay-Île-de-France)
Paolo Tranquilli (ENS Lyon)
Bruno Woltzenlogel Paleo (LORIA & INRIA Nancy-Grand Est)


Room A006 except for 24 afternoon: A008.

Loria & INRIA Nancy-Grand Est
615, rue du Jardin Botanique
54602 Villers-lès-Nancy

How to get there.


Tuesday 23:

Wednesday 24:

      27.2.2010Alessio Guglielmiemail