[SMT-LIB] SC^2 (Satisfiability Checking + Symbolic Computation) 2017 to be held on July 29 in Germany

[Vijay Ganesh]

Hi All,

We are organizing the second international workshop on combining computer algebra systems (CAS) and SAT/SMT solvers. Such systems are aimed at software engineering, security, and mathematical applications where CAS systems can significantly enhance the power of SAT/SMT solvers (and vice-versa).

The workshop is scheduled for July 29th, 2017 right after CAV in Germany. 

You can find more details on the workshop webpage:

http://www.sc-square.org/CSA/workshop2.html

Cheers,
Matthew England and Vijay Ganesh