Responsible for the content of this website:
Prof. Dr. Michael Kohlhase
Martensstraße 3
91058 Erlangen
tel/fax: (49) 9131-85-64052/55
michael.kohlhase[at]fau.de