Marc de Falco

Currently : Post-Doctoral fellow (ANR CHOCO grant)
Adress :
Laboratoire PPS
Université Paris Diderot - Paris 7
Case 7014
75205 PARIS Cedex 13
Office : 5A16
Email : marc@de-falco.fr

Cette page est également disponible en français.
This webpage is also available in french.

On the 28th of May 2009, I've defended my thesis dissertation. It's entitled
Géométrie de l'Interaction et Réseaux Différentiels
PDF Version in french
My advisor was Laurent Regnier.

My research interests are :
Differential Interaction Nets
Linear Logic
Interaction Nets extensions
Geometry of Interaction, or more generally Path analysis of programs
Pure methods for Concurrent Processes

CVs: CV(researcher) CV(Research engineer) (in french)

Publications

Conferences

An Explicit Framework for Interaction Nets
extended abstract, RTA'09 (Rewriting Techniques and Applications) Best Paper Award pdf

The Geometry of Interaction of Differential Interaction Nets
extended abstract, LiCS'08 (Logic in Computer Science) full text (one column version) arXiv

Journals

Notes and submissions

Smart mistakes of the Geometry of Interaction
Preliminary note ps.gz version

Talks

The Geometry of Interaction of Differential Interaction Nets
LICS'08, 27 june 2008 at Carnegie Mellon University slides

GdI des Réseaux Diff et additifs
Présentation à CHOCO MALL, le ?? mars 2008 slides

La Géométrie de l'Interaction des Réseaux d'Interaction Differentiels (avec un peu de concurrence vers la fin)
Présentation à CHOCO, le 20 décembre 2007 slides slides++