SC2

Satisfiability Checking and Symbolic Computation

Bridging Two Communities to Solve Real Problems

Consortium of the EU-CSA project

University of Bath James Davenport; Russell Bradford
RWTH Aachen Erika Ábrahám; Viktor Levandovskyy
Fondazione Bruno Kessler Alberto Griggio; Alessandro Cimatti
Università degli Studi di Genova Anna Bigatti
Maplesoft Europe Ltd Jürgen Gerhard; Stephen Forrest
Université de Lorraine (LORIA) Pascal Fontaine
Coventry University Matthew England
University of Oxford Daniel Kroening; Martin Brain
Universität Kassel Werner Seiler; John Abbott
Max Planck Institut für Informatik Thomas Sturm
Universität Linz Tudur Jebelean; Bruno Buchberger; Wolfgang Windsteiger; Roxana-Maria Holom

Project associates

Join the community

See the contact page.