TYPES 2004 conference
December 15-18, 2004

Campus Thalès
67, rue Charles de Gaulle - 78350 Jouy-en-Josas - FRANCE

Introduction

How to get to Campus Thalès
Social event

Invited speakers
Programme
List of participants

Call for papers

Proceedings

Organising committee

Related events
History

List of participants

  • Abel Andreas
  • Aczel Peter
  • Adams Robin
  • Altenkirch Thorsten
  • Andronick Luis
  • Balaa Antonia
  • Barendregt Henk
  • Barthes Gilles
  • Belo Joao Filipe
  • Berardi Stefano
  • Berghofer Stefan
  • Beringer Lennart
  • Bertot Yves
  • Bezem Marc
  • Bove Ana
  • Bringert Björn
  • Callaghan Paul
  • Casteran Pierre
  • Chapman James
  • Coquand Catarina
  • Corbineau Pierre
  • Cruz-Filipe Luís
  • Curi Giovanni
  • David René
  • Delahaye David
  • Despeyroux Joëlle
  • Dixon Lucas
  • Dowek Gilles
  • Dufay Guillaume
  • Filliâtre Jean-Christophe
  • Flegontov Alexandre
  • Geuvers Herman
  • Ghani Neil
  • Ghilezan Silvia
  • Gonthier Georges
  • Granström Johan Georg
  • Grégoire Benjamin
  • Hales Thomas
  • Herbelin Hugo
  • Hermant Olivier
  • Hernest Mircea Dan
  • Jojgov Georgi
  • Jouannaud Jean-Pierre
  • Kesner Delia
  • Kirchner Florent
  • Lebresne Sylvain
  • Lengrand Stéphane
  • Letouzey Pierre
  • Lewis-Kelham Edwin
  • Loeb Iris
  • Luo Zhaohui
  • Maenpaa Petri
  • Mahboubi Assia
  • Maietti Maria Emilia
  • Mamane Lionel
  • Martin-Löf Per
  • Matthes Ralph
  • Mayero Micaela
  • McBride Conor
  • Michelbrink Markus
  • Miculan Marino
  • Monin Jean-François
  • Morris Peter
  • Narboux Julien
  • Nordström Bengt
  • Obua Steven
  • Ortner Veronika
  • Padovani Luca
  • Parigot Michel
  • Paulin Christine
  • Petric Zoran
  • Pichardie David
  • Pollack Randy
  • Raffalli Christophe
  • Ranta Aarne
  • Renard Clément
  • Ritter Eike
  • Rozière Paul
  • Ruyer Frédéric
  • Rydeheard David
  • Sacerdoti Coen Claudio
  • Scagnetto Ivan
  • Schoepp Ulrich
  • Schubert Aleksy
  • Schwichtenberg Helmut
  • Shao Zhong
  • Sinot François-Régis
  • Skalberg Sebastian
  • Smith Jan
  • Spitters Bas
  • Soloviev Serguei
  • Stein Jasper
  • Synek Dan
  • Tarento Sabrina
  • Tiu Alwen
  • Uustalu Tarmo
  • Wahlstedt David
  • Walukiewicz-Chrzaszcz Daria
  • Werner Benjamin
  • Wiedijk Freek
  • Wilander Olov
  • Zacchiroli Stefano
  • Zumkeller Roland