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

Vijay Ganesh vijay.ganesh at uwaterloo.ca
Sun Jan 26 23:06:30 EST 2014


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


More information about the SMT-LIB mailing list