Ralf Treinen

Professor Université Paris Diderot UFR d'Informatique Institut de Recherche en Informatique Fondamentale (IRIF) Équipe Preuves, Programmes et Systèmes (PPS) email: replace-by-my-lastname@irif.fr

Office location 1:	Office location 2:	Postal address:
Office 3021	Office 108	Équipe PPS
3rd floor, Équipe PPS	1st floor, IRILL	Université Paris Diderot - Paris 7
Building Sophie Germain	Building 15-16	Case 7014
8, place Aurélie Nemours	4, place Jussieu	75205 PARIS Cedex 13
Paris XIII	Campus de Jussieu, Paris V	FRANCE
tel: (+33) 1 57 27 92 44
Map	Map

Teaching

• Le parcours Langages et Programmation du master pro Informatique.
• Programmation Fonctionnelle Avancée, 4th year (niveau M1).
• IP1 - Introduction à la Programmation, 1st year (niveau L1)
• Programmation Logique et par Contraintes avancée, 5th year (niveau M2).
• Démonstration Automatique, 2nd year MPRI (niveau M2).
• ADS4 - Analyse de Données Structurées, 2nd year (niveau L2).
• LL4 - Logiciel Libre, 2nd year (niveau L2).
• Complete list including earlier years

Research Interests

• Formal aspects of component-based software
• Efficient processing of symbolic constraints.
• Predicate-logic theories of concrete data structures, in particular tree constraint systems.

Publications

• List of publications with abstracts
• Abstracts and slides of some recent presentations
• Entry at DBLP
• Entry at HAL
• Entry at the ACM Digital Library

Current Projects

• CoLiS: Correctness of Linux Scripts

Past Projects

• Aeolus (national ANR project)
• : Managing the Complexity of the Open Source Infrastructure (European Union FP7)
• Prouvé: Protocoles cryptographiques: Outils de Vérification automatique (RNTL, French national project)
• Edos: Environment for the development and Distribution of Open Source software (European Union FP6)
• CCL2: Construction of Computational Logics (European Union Esprit working group)
• CCL: Constraints in Computational Logics (European Union Esprit working group)

Collaborators

PhD Students

• Antoine Mercier (PhD thesis defended December 4, 2009)
• Pascal Lafourcade (PhD thesis defended September 25, 2006)

Coauthors of publications

Program Committees

• PC member of the 28th International Workshop on Unification (UNIF 2014), July 13, 2014, Vienna, Austria.
• PC member of the 8th International Workshop on Foundations and Techniques for Open Source Software Certification (Open-Cert 2014), Grenoble, France, 1 September 2014
• PC member of the 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014), September 8-10, 2014, Cambridge, UK.

Past Steering, Program, and Organisation Committees

International Conferences

• International Conference on Rewriting Techniques and Application (RTA):
  • Steering Committee member 2003 - 2006,
  • 2009, Brasília (Brazil): PC chair
  • 2008, Hagenberg (Austria): PC member
  • 2007, Paris (France): PC member
  • 2004, Aachen (Germany): PC member
  • 2002, Copenhagen (Denmark): PC member
  • 1998, Tsukuba (Japan): PC member
• Federated Conference on Rewriting, Deduction, and Programming (RDP): Member of the organisation committee 2007, Paris (France).
• International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR):
  • 2007, Yerevan (Armenia): PC member
  • 2005, Montevideo (Uruguay): PC member
• PC member of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), July 04-08, 2004, Cork, Ireland.
• PC member of the Fourth International Conference on Principles and Practice of Constraint Programming (CP'98). October 26 - 30, Pisa, Italy.

Workshops, Summer Schools, ...

• International Workshop on Logics for Component Configuration (LoCoCo):
  • LoCoCo 2011, Perugia, Italy, September 12, 2011
  • LoCoCo 2010, Edinburgh, Scotland, July 10, 2010
• International Workshop on Unification (UNIF):
  • 2011, Wroclaw (Poland): PC member
  • Steering committee member, 2008-2009
  • 2004, Cork (Ireland): PC member
  • 2002, Copenhagen (Denmark): PC member
  • 2001 Siena (Italy): PC member
• International Workshop on Security and Rewriting Techniques (SecReT):
  • Steering Committee member, 2007-2010
  • 2008, Pittsburgh (USA): PC member
  • 2007, Paris (France): PC co-chair
• International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert):
  • Milan, Italy, 10 September 2008 (joint with the International Workshop on Foundations and Techniques bringing together Free/Libre Open Source Software and Formal Methods (FLOSS-FM 2008)): PC member
  • York, England, 28 March 2009 (@ETAPS 2009) : PC member
  • Pisa, Italy, on 17-18 September 2010 (@SEFM 2010): PC member
  • Montevideo, Uruguay, 14-15 November 2011 (@SEFM 2011): PC member
  • Madrid, Spain, 23 September 2013 (@SEFM 2013): PC member
• PC member of the International Workshop on Open Component Ecosystems (IWOCE 2009), 24 August 2009 - Amsterdam, The Netherlands.
• Scientific Committee of the Spring School on Security, Marseilles, France, April 25--29, 2005.
• OC member of the Workshop on Constraints in Computational Logics (CCL'99), September 9-10, 1999, Gif-sur-Yvette, France.

Community Activities

• International Summer School On Constraints in Computational Logic
• RTA list of open problems.
• CCL II Esprit working group.
• UNIF home page.

Memberships in CS societies

• Association for Computing Machinery (ACM), Special Interest Group on Software Engineering (SIGSOFT)
• IFIP Working Group 1.6 (Term Rewriting)

Other Links

• HLins: insertion of http-links into LaTeX documents.
• My home page at Debian