| Event | When | Where | Deadline | | | Expired CFPs |
| HCVS 2019 |
6th Workshop on Horn Clauses for Verification and Synthesis | |
| Apr 7, 2019 - Apr 7, 2019 |
Prague, Czech Republic |
Feb 15, 2019 |
| CoCoMiLe 2013 |
AAAI workshop on COmbining COnstraint solving with MIning and LEarning (CoCoMiLe) | |
| Jul 14, 2013 - Jul 14, 2013 |
Bellevue, Washington, USA |
Apr 3, 2013 |
| CSTVA 2013 |
Workshop on Constraints in Software Testing Verification and Analysis | |
| Mar 22, 2013 - Mar 22, 2013 |
Luxembourg |
Jan 14, 2013 |
| CICLOPS 2012 |
12th International Colloquium on Implementation of Constraint and LOgic Programming Systems | |
| Sep 4, 2012 - Sep 4, 2012 |
Budapest, Hungary |
Jun 20, 2012 |
|
