Harald Ganzinger (1950 – 2004) was bestowed with the 2021 CAV Award by the 33th International Conference on Computer Aided Verification. The 2021 CAV Award recognizes "the pioneering contributions to the
Jennifer Müller Jennifer Müller Max-Planck-Institut für Informatik Saarland Informatics Campus Campus E1 5 – Room 610 66123 Saarbrücken more Contact jmueller@mpi-inf.mpg.de +49 681 9325 2900 +49 681 9325 2999
Program Model Checking for Hybrid Systems Dealing with Selfishness in Optimization Quantifier Elimination – Statements Can Also Be Calculated
Max-Planck-Institut für Informatik Saarland Informatics Campus Campus E1 4 66123 Saarbrücken Location E1 4 - 302 Phone +49 681 9325 1002 Fax +49 681 9325 1099 E-mail eschaaf@mpi-inf.mpg.de
Max-Planck-Institut für Informatik Saarland Informatics Campus Campus E1 4 66123 Saarbrücken Location E1 4 - 312 Phone +49 681 9325 0 Fax +49 681 9325 5719 E-mail msweerin@mpi-inf.mpg.de
Max-Planck-Institut für Informatik Saarland Informatics Campus Campus E1 4 66123 Saarbrücken Location E1 4 - 320 Phone +49 681 9325 0 Fax +49 681 9325 5719 E-mail ddorfman@mpi-inf.mpg.de
Max-Planck-Institut für Informatik Saarland Informatics Campus Campus E1 4 66123 Saarbrücken Location E1 4 - 316 Phone +49 681 9325 0 Fax +49 681 9325 5719 E-mail xshu@mpi-inf.mpg.de
Max-Planck-Institut für Informatik Saarland Informatics Campus Campus E1 5 66123 Saarbrücken Location E1 5 - 602 Phone +49 681 9325 0 Fax +49 681 9325 2999 E-mail egorbach@mpi-inf.mpg.de
Prof. Dr. Bernt Schiele Max-Planck-Institut für Informatik Saarland Informatics Campus Campus E1 4 – Room 601 66123 Saarbrücken more Contact schiele@mpi-inf.mpg.de +49 681 9325 2000 +49 681 9325 2099
Alexander Berndt Address Max-Planck-Institut für Informatik Saarland Informatics Campus Campus Location - Phone +49 681 9325 0 Fax +49 681 9325 2099 E-mail nberndt@mpi-inf.mpg.de Personal Information Publications
