| 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 |
| |
| Universität Koblenz-Landau, Institut für Informatik |
| |