For general questions, contact the head of the group:

Prof. Dr. Michael Kohlhase

Professur für Wissensrepräsentation und -verarbeitung; Informatik, FAU Erlangen-Nürnberg

Office: Martensstraße 3, 91058 Erlangen, Room11.139, tel/fax: (49) 9131-85-64052/55,

Secretary: Gabriele Schönberger, Room 11.158, tel/fax: (49) 9131-85-64052/55,

For specific questions, please contact the members of the KWARC group directly or use the mailing lists: