Honorary Members

Jürgen Avenhaus website
Franz Baader website
Henk Barendregt website
Corrado Böhm website
Hubert Comon website
Gérard Huet website
Deepak Kapur website
Jan Willem Klop website
Jean-Pierre Jouannaud website
Pierre Lescanne website
Klaus Madlener website
Ugo Montanari website
Tobias Nipkow website

Members

Takahito Aoto website
Maria Paola Bonacina website
Gilles Dowek website
Nachum Dershowitz website
Daniel J. Dougherty website
Maribel Fernández website
Jürgen Giesl website
Nao Hirokawa website
Tetsuo Ida website
Florent Jacquemard website
Delia Kesner website
Claude Kirchner website
Hélène Kirchner website
Salvador Lucas website
Christopher Lynch website
José Meseguer website
Aart Middeldorp website
Georg Moser website
Paliath Narendran website
Vincent van Oostrom website
David Plaisted website
Femke van Raamsdonk website
Manfred Schmidt-Schauß website
Ashish Tiwari website
Yoshihito Toyama website
Ralf Treinen website
Johannes Waldmann website
Hans Zantema website