| Rheinisch-Westfälische Technische Hochschule Aachen |
| |
| School of Computer Science, University of Birmingham |
| |
| Tampere University of Technology (Mathematics) |
| |
| |
| Technische Universität Wien |
| |
| The 2006 Federated Logic Conference |
| |
| The Faculty of Philosophy, Jagellonian University |
| |
| The Practical Application Company |
| |
| |
| TU Bergakademie Freiberg, Institut für Informatik |
| |