/persons/resource/persons45008
Maus,
Stefan
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45447
Seghir,
Mohammed Nassim
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45578
Sutcliffe,
Geoff
Automation of Logic, MPI for Informatics, Max Planck Society;
/persons/resource/persons45678
Voronkov,
Andrei
Programming Logics, MPI for Informatics, Max Planck Society;