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:

• 10:45Coffee.
• 11:00Michel Parigot: open deduction.
• 12:00Lutz Straßburger: atomic flows.
• 13:00Lunch.
• 14:30Paolo Tranquilli: differential nets.
• 15:45Coffee.
• 16:15Simona Ronchi Della Rocca: resource calculus.

Wednesday 24:

• 10:15Coffee.
• 10:30Luca Roversi: process algebras and deep inference.
• 11:45Ugo Dal Lago: implicit computational complexity.
• 13:00Lunch.
• 14:30Discussion on future projects.
• 15:45Coffee.
• 16:00Discussion on future projects.

      27.2.2010Alessio Guglielmiemail