| 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 |
| Beniamino Accatoli | website |
| Takahito Aoto | website |
| Martin Avanzini | website |
| Maria Paola Bonacina | website |
| Nachum Dershowitz | website |
| Daniel J. Dougherty | website |
| Gilles Dowek | website |
| Maribel Fernández | website |
| Carsten Fuhs | website |
| Silvia Ghilezan | website |
| Jürgen Giesl | website |
| Jakob Grue Simonsen | website |
| Nao Hirokawa | website |
| Florent Jacquemard | website |
| Delia Kesner | website |
| Claude Kirchner | website |
| Hélène Kirchner | website |
| Cynthia Kop | website |
| Luigi Liquori | website |
| Salvador Lucas | website |
| Christopher Lynch | website |
| José Meseguer | website |
| Aart Middeldorp | website |
| Georg Moser | website |
| Paliath Narendran | website |
| Luke Ong | website |
| Vincent van Oostrom | website |
| Brigitte Pientka | website |
| David Plaisted | website |
| Femke van Raamsdonk | website |
| Masahiko Sakai | website |
| Manfred Schmidt-Schauß | website |
| René Thiemann | website |
| Ashish Tiwari | website |
| Yoshihito Toyama | website |
| Ralf Treinen | website |
| Johannes Waldmann | website |
| Akihisa Yamada | website |
| Hans Zantema | website |