Contact details:

Prof. Dr. Michael Hanus
Postal address:
Institut für Informatik
Christian-Albrechts-Universität zu Kiel
D-24098 Kiel
Germany
Visiting address:
Room 706 (7th floor)
Christian-Albrechts-Platz 4
D-24118 Kiel
Phone: +49-431/880-7271 (Secr.: -7270)
Fax: +49-431/880-7613
Email: mh@informatik.uni-kiel.de