IFIP Organization

Conference Chair

Jean-Jacques Lévy
Inria Rocquencourt

Conference Vice-Chairs

   Track (1) on Algorithms, Complexity and Models of Computation
    Ernst Mayr
    Technische Universität München

   Track (2) on Logic, Semantics, Specification, and Verification
    John Mitchell
    Stanford University

IFIP TC1 Steering Committee

   Giorgio Ausiello (University of Roma "La Sapienza", Italy)
   Wilfried Brauer (TU München, Germany)
   Takayasu Ito (Tohoku University, Japan)
   Michael O. Rabin (Harvard University, USA)
   Joseph Traub (Columbia University, USA)

Organizing Committee

Jean-Claude Laprie
LAAS, Toulouse