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:
175, rue du Chevaleret 23, avenue d'Italie Laboratoire PPS
Paris XIII Paris XIII Université Paris Diderot - Paris 7
Laboratoire PPS IRILL Case 7014
6th floor 3rd floor 75205 PARIS Cedex 13
Office 6C09 Office 23 FRANCE
tel: (+33) 1 57 27 92 44 tel: (+33) 1 39 63 78 82
access plan access plan

Office location 1:	Office location 2:	Postal address:
175, rue du Chevaleret	23, avenue d'Italie	Laboratoire PPS
Paris XIII	Paris XIII	Université Paris Diderot - Paris 7
Laboratoire PPS	IRILL	Case 7014
6th floor	3rd floor	75205 PARIS Cedex 13
Office 6C09	Office 23	FRANCE
tel: (+33) 1 57 27 92 44	tel: (+33) 1 39 63 78 82
access plan	access plan

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.
Résolution de contraintes, 2nd year MPRI (niveau M2)
LL4 - Logiciel Libre, 2nd year (niveau L2), Université Paris-Diderot.
5th International School on Rewriting, Utrecht, July 3-8, 2010.
Complete list including earlier years

Research Project for level Master-2 -- Proposition de stage M2

A logical theory of trees with updates

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

Upcoming Events

Mancoosi International Solver Competition 2011
Lococo 2011 - Workshop on Logics for Component Configuration, September 12, 2011, Perugia, Italy

Current Projects

: Managing the Complexity of the Open Source Infrastructure (European Union FP7)

Past Projects

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

Pietro Abate, Alex Aiken, Cyrille Artho, Rolf Backofen, Jaap Boender, Hubert Comon, Roberto Di Cosmo, Stephanie Delaune, Nachum Dershowitz, Berke Durak, Florent Jacquemard, Jean-Pierre Jouannaud, Jana Koehler, Alexander Koller, Steve Kremer, Pascal Lafourcade, Xavier Leroy, Étienne Lozes, Denis Lugiez, Fabio Mancinelli, Claude Marché, Antoine Mercier, Mario Morgado, Martin Müller, Joachim Niehren, David Pinheiro, Andreas Podelski, Tim Priesnitz, Franck Seynhaeve, Gert Smolka, Zhendong Su, Kuniyasu Suzaki, Marc Tommasi, Sophie Tison, Paulo Trezentos, Jules Villard, Jérôme Vouillon, Stefano Zacchiroli.

Program and Steering Committees

Steering committee member of the annual International Workshop on Security and Rewriting Techniques (SecReT).
PC co-chair of the Lococo 2012 -- Workshop on Logics for Component Configuration

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):
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
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.