Contact
Rémy Haemmerlé
Departamento de Inteligencia Artificial
Facultad de Informática
Universidad Politécnica de Madrid
28660 Boadilla del Monte, Madrid
SPAIN
e-mail: remy (at) clip (dot) dia (dot) fi (dot) upm (dot) es
Scientific History
Since January 2008 :- Research fellow at CLIP at the Universidad Politécnica de Madrid, Spain
- PhD student, supervised by François Fages within the Contraintes team, INRIA Paris-Rocquencourt, France
Events
- CHR 2010, Seventh International Workshop on Constraint Handling Rules, Workshop of FLOC 2010 PC.
- CHR 2009, Sixth International Workshop on Constraint Handling Rules, Workshop of ICLP 2009, PC.
- CICLOPS 2008, Colloquium on Implementation of Constraint and LOgic Programming Systems, Workshop of ICLP 2008, PC.
Publications
- Rémy Haemmerlé, Hariolf Betz. Verification of Constraint Handling Rules using Linear Logic Phases Semantics. In proceedings of the 5th Workshop on Constraint Handling Rules: CHR 2008, Hagenberg, July 2008.
- Rémy Haemmerlé. Fermetures et Modules dans les Langages Concurrents avec Contraintes fondés sur la Logique Linéaire, PhD thesis (in French). Université Paris Diderot, France. 17 January 2008. slides
- Rémy Haemmerlé, François Fages, and Sylvain Soliman. Closures and Modules within Linear Logic Concurrent Constraint Programming. In proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science. New Delhi, India, December 2007.
- Rémy Haemmerlé and François Fages. Abstract Critical Pairs and Confluence of Binary Relation. In Proceeding of the 18th International Conference on Rewriting Techniques and Applications: RTA'07, Lecture Notes in Computer Science. Paris, June 2007.
- Rémy Haemmerlé and François Fages. Modules for Prolog Revisited. In proceedings of 22nd International Conference of Logic programming: ICLP 2006, Lecture Notes in Computer Science. Seattle, August 2006.
- Rémy Haemmerlé. SiLCC is Linear Concurrent Constraint Programming (ICLP 2005 Doctoral Consortium). In proceedings of the 21st International Conference of Logic programming: ICLP 2005, Lecture Notes in Computer Science. Sitges, October 2005.
- Rémy Haemmerlé and François Fages. Un système de Module Fermé pour la PLC (in French). Journées Francophones de Programmation par Contraintes, Lens, June 2004.