Ralf Treinen

Image 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

Research Interests

Publications

Upcoming Events

Current Projects

Past Projects

Collaborators

PhD Students

Coauthors of publications

Pietro Abate, Alexander Aiken, Cyrille Artho, Rolf Backofen, Jaap Boender, Hubert Comon, Roberto Di Cosmo, Stéphanie Delaune, Nachum Dershowitz, Berke Durak, Florent Jacquemard, Jean-Pierre Jouannaud, Jana Koehler, Alexander Koller, Steve Kremer, Pascal Lafourcade, Xavier Leroy, Michaël Lienhardt, É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, Jakub Zwolakowski.

Program and Steering Committees

Past Steering, Program, and Organisation Committees

International Conferences

Workshops, Summer Schools, ...

Community Activities

Memberships in CS societies

Other Links


Valid HTML 4.01 Transitional