[SMT-LIB] SAT/SMT workshop at ICSE 2014

[Vijay Ganesh]

Hi All,

We are organizing a SAT/SMT solver workshop at the ICSE 2014 conference with the aim of bringing together researchers from the solver and software engineering/security communities. The workshop is called CSTVA 2014.

Submission deadline: Jan 31st 2014

Website: https://ece.uwaterloo.ca/~vganesh/cstva2014.html

Please consider sending your papers to the 6th edition of the CSTVA Workshop.

Cheers,
Vijay Ganesh.
https://ece.uwaterloo.ca/~vganesh