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
- LOPSTR 2012, International Symposium on Logic-Based Program Synthesis and Transformation (PC).
- CHR 2012, International Workshop on Constraint Handling Rules (PC).
- CICLOPS 2012, Colloquium on Implementation of Constraint and LOgic Programming Systems (PC).
- CHR 2011, International Workshop on Constraint Handling Rules (PC).
- CHR 2010, International Workshop on Constraint Handling Rules (PC).
- CHR 2009, International Workshop on Constraint Handling Rules (PC).
- CICLOPS 2008, Colloquium on Implementation of Constraint and LOgic Programming Systems (PC).
Publications
- Jose F. Morales, Manuel Hermenegildo, and Rémy Haemmerlé. Modular Extensions for Modular (Logic) Languages. To appear in post-proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation: LOPSTR 2011.
- Rémy Haemmerlé, Pedro López García, and Manuel Hermenegildo. CLP Projection for Constraints Handling Rules. In proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming: PPDP 2011.
- Rémy Haemmerlé. (Co)-Inductive Semantics for Constraint Handling Rules. In Theory and Practice of Logic Programming, vol. 11 (4-5) (ICLP 2011 Special Issue).
- Rémy Haemmerlé. Observational Equivalences for Linear Logic Concurrent Constraint Languages. In Theory and Practice of Logic Programming, vol. 11 (4-5) (ICLP 2011 Special Issue).
- Rémy Haemmerlé and Hariolf Betz. Verification of Constraint Handling Rules using Linear Logic Phases Semantics. In proceedings of the 5th Workshop on Constraint Handling Rules: CHR 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: FSTTCS 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 2007.
- Rémy Haemmerlé and François Fages. Modules for Prolog Revisited. In proceedings of 22nd International Conference of Logic programming: ICLP06.
- 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.
- 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: JFPC'2005.