Anna Rossien
Max Planck Institute for Informatics
Saarland Informatics Campus E1 4
66123 Saarbrücken
+49 681 9325-2902, fax -2999
arossien@mpi-inf.mpg.de
Office: Building E1 5, Room 610
RG1
Automation of Logic
Max Planck Institute for Informatics
Saarland Informatics Campus E1 4
66123 Saarbrücken
+49 681 9325-2902, fax -2999
arossien@mpi-inf.mpg.de
Office: Building E1 5, Room 610