Deduktionstreffen 2010
Organisationskomitee
| Wolfgang Ahrendt | Chalmers University of Technology |
| Serge Autexier | DFKI |
| Bernhard Beckert | Karlsruher Institut für Technologie |
| Ulrich Furbach | Universität Koblenz-Landau |
| Jürgen Giesl | RWTH Aachen |
| Dieter Hutter | DFKI |
| Manfred Kerber | University of Birmingham |
| Christoph Kreitz | Universität Potsdam/Cornell University |
| Tobias Nipkow | Technische Universität München |
| Hans Jürgen Ohlbach | Ludwig-Maximilians-Universität München |
| Andrey Rybalchenko | Technische Universität München |
| Renate Schmidt | University of Manchester |
| Peter H. Schmitt | Karlsruher Institut für Technologie |
| Carsten Schürmann | IT University of Copenhagen |
| Stephan Schulz | Technische Universität München |
| Gert Smolka | Universität des Saarlandes |
| Viorica Sofronie-Stokkermans | Max-Planck-Institut für Informatik |
| Christoph Weidenbach | Max-Planck-Institut für Informatik |