Satisfiability Checking and Symbolic Computation

Bridging Two Communities to Solve Real Problems


The community is currently animated by the following people:
Erika Ábrahám RWTH Aachen
James Davenport University of Bath
Matthew England Coventry University, UK
Pascal Fontaine Université de Lorraine, Inria, LORIA, France

Join the community

Do you want to be added to this list, to our mailing list, and be notified of our meetings? Just with your full name and affiliation.