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

1Topics

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

2Dates

23 and 24 February 2010.

3People

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)

4Venue

Room A006 except for 24 afternoon: A008.

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

How to get there.

5Schedule

Tuesday 23:

Wednesday 24:

      27.2.2010Alessio Guglielmiemail