Deduktionstreffen 2011
Organisationskomitee
| Wolfgang Ahrendt | Chalmers University of Technology |
| Serge Autexier | DFKI |
| Bernhard Beckert | Karlsruher Institut für Technologie |
| Stephan Falke | Karlsruher Institut für Technologie |
| Ulrich Furbach | Universität Koblenz-Landau |
| Jürgen Giesl | RWTH Aachen |
| Dieter Hutter | DFKI |
| Manfred Kerber | University of Birmingham |
| Peter H. Schmitt | Karlsruher Institut für Technologie |
| Carsten Schürmann | IT University of Copenhagen |
| Stephan Schulz | Technische Universität München |
| Carsten Sinz | Karlsruher Institut für Technologie |
| Gert Smolka | Universität des Saarlandes |
| Viorica Sofronie-Stokkermans | Max-Planck-Institut für Informatik |
| Christoph Weidenbach | Max-Planck-Institut für Informatik |