All conferences / HCVS / 2016
HCVS 2016
3rd Workshop on Horn Clauses for Verification and Synthesis
Submission timeline
-
5 Feb 2016
Full paper
1 Feb 2016→ 5 Feb 2016 +4 days - 27 Feb 2016 Notification
- 3 Apr 2016 Conference opens
What to submit
- Format
- 12 pages EPTCS + biblio (regular) / 1-3 pages (work in progress)
- Proceedings
- EPTCS — CC BY
Satellite event of ETAPS 2016.