| Thomas Deiß (until June 30, 1999) |
| Address: | AG Grundlagen der Informatik |
| Fachbereich Informatik | |
| Universität Kaiserslautern | |
| Postfach 3049 | |
| 67653 Kaiserslautern, Germany | |
| Tel: | ++49 631 205 2155 |
| Fax: | ++49 631 205 3420 |
| Email: | deiss@informatik.uni-kl.de |
| Thomas.Deiss@gmx.de | |
| Building: | 34/423 |
| RG Foundations of Informatics | Department of Informatics | Technical University of Kaiserslautern |