Uwe Waldmann
Max-Planck-Institut für Informatik
Campus E1.4
66123 Saarbrücken
Germany
Research Group 1: Automation of Logic
University Campus, Building E1.7
Room 2.09
(Note that the actual room is in E1.7, but nevertheless the postal address is E1.4.)
Phone: +49 681 9325 2905
Fax: +49 681 9325 2999
E-Mail: uwe@mpi-inf.mpg.de