| bis 12. Februar 2007: |
| Übernachtungsbuchung durch Koblenz-Touristik |
| bis 26. Februar 2007: |
| elektronische Einsendung von Titel und Abstrakt |
| bis 28. Februar 2007: |
| Rückmeldung |
| 26. März 2007: |
| Ab 13:00: Anmeldung, 14:00: Beginn |
| 27. März 2007: |
| Spätnachmittag: Ende |
|
|
 |
| Serge Autexier | Universität des Saarlandes |
| Peter Baumgartner | NICTA & ANU, Canberra |
| Bernhard Beckert | Universität Koblenz-Landau |
| Christoph Benzmüller | Uni des Saarlandes & Uni of Cambridge |
| Ulrich Furbach | Universität Koblenz-Landau |
| Dieter Hutter | DFKI |
| Jürgen Giesl | RWTH Aachen |
| Manfred Kerber | University of Birmingham, Universität Koblenz-Landau |
| Michael Kohlhase | International University Bremen |
| Tobias Nipkow | Technische Universität München |
| Sebastian Schaffert | Salzburg Research |
| Peter H. Schmitt | Universität Karlsruhe |
| Christoph Weidenbach | Max-Planck-Institut Informatik |
