Satisfiability Checking and Symbolic Computation

Bridging Two Communities to Solve Real Problems

This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No H2020-FETOPEN-2015-CSA 712689.‚Äč
It is the start of the general push to create a real SC2 community. More details can be found on the SC2 announcement poster, which is popular on ResearchGate.


The overall aim of this project is to create a new research community bridging the gap between Satisfiability Checking and Symbolic Computation, whose members will ultimately be well informed about both fields, and thus able to combine the knowledge and techniques of both fields to develop new research and to resolve problems (both academic and industrial) currently beyond the scope of either individual field.


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