| Event | When | Where | Deadline | | | Expired CFPs |
| UNIF 2020 |
The 34th International Workshop on Unification | |
| Jun 29, 2020 - Jun 29, 2020 |
online |
Apr 27, 2020 (Apr 20, 2020) |
| CSTVA 2016 |
International workshop on Constraints in Software Testing, Verification and Analysis 2016 (CSTVA'16) | |
| Jul 17, 2016 - Jul 17, 2016 |
Saarbruecken, Germany |
Apr 22, 2016 |
| SAT 2015 |
18th International Conference on Theory and Applications of Satisfiability Testing | |
| Sep 24, 2015 - Sep 27, 2015 |
Austin, Texas, USA |
Apr 29, 2015 (Apr 22, 2015) |
| UNIF 2010 |
International Workshop on Unification | |
| Jul 14, 2010 - Jul 14, 2010 |
Edinburgh |
Apr 4, 2010 |
|
