Ralf Treinen

Professor Laboratoire Preuves, Programmes et Systèmes UFR d'Informatique Université Paris Diderot Paris, France email: replace-by-my-lastname@pps.univ-paris-diderot.fr Postal address

Office location 1:	Office location 2:	Postal address:
Building Sophie German	23, avenue d'Italie	Laboratoire PPS
Corner of Avenue de France and rue Alice-Domon et Léonie-Duquet
Paris XIII	Paris XIII	Université Paris Diderot - Paris 7
Laboratoire PPS	IRILL	Case 7014
3rd floor	3rd floor	75205 PARIS Cedex 13
Office 3021	Office 23	FRANCE
tel: (+33) 1 57 27 92 44	tel: (+33) 1 39 63 78 82
View Larger Map	View Larger Map

Teaching

• Le parcours Langages et Programmation du master pro Informatique.
• OL3 - Outils Logiques, 2nd year (niveau L2), Université Paris-Diderot.
• PF5 - Programmation Fonctionnelle, 3rd year (niveau L3), Université Paris-Diderot.
• Programmation Logique et par Contraintes avancée, 5th year (niveau M2), Université Paris-Diderot.
• Démonstration Automatique, 2nd year MPRI (niveau M2)
• LL4 - Logiciel Libre, 2nd year (niveau L2), Université Paris-Diderot.
• Complete list including earlier years

Research Interests

• Formal aspects of component-based software
• Verification of cryptographic protocols
• 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

Upcoming Events

• CBSE: 15th ACM SigSoft International Symposium on Component-Based Software Engineering @ CompArch 2012, June 25—28, 2012 Bertinoro, Italy.
• Debian Conference 2012, Managua, July 8-14

Current Projects

• Aeolus (national ANR project)

Past Projects

• : 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 and Steering Committees

• PC member of the 7th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert), Madrid, Spain, 23 September 2013

• 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
• 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