english

Marc de Falco

Actuellement : Ingenieur R&D chez e-on software
Email : marc@de-falco.fr

Différents CVs : CV (chercheur) CV (ingénieur R&D)

J'ai soutenu ma thèse le 28 mai 2009. Elle s'intitule
Géométrie de l'Interaction et Réseaux Différentiels
Version PDF du mémoire Slides de la soutenance
Elle a été effectuée sous la direction de Laurent Regnier.

Mes centres d'interet en recherches sont :

Les réseaux d'interaction différentiels
La logique linéaire
Extensions des réseaux d'interaction
Geometrie de l'Interaction, ou plus généralement l'analyse de chemins des programmes
Méthodes pures pour les processus concurrents

Publications

Conférences

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

Journaux

Notes et soumissions

Smart mistakes of the Geometry of Interaction
Note préliminaire ps.gz version

Présentations

The Geometry of Interaction of Differential Interaction Nets
LICS'08, le 27 juin 2008 à 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++

Enseignements

2009/2010 Ressources pour le cours de C++

2008/2009 Ressources pour le cours de logique