SC
2
Satisfiability Checking and Symbolic Computation
Bridging Two Communities to Solve Real Problems
Contact
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.