All conferences / Cities / Israel / Haifa

Haifa 🇮🇱

חיפה

CountryIsrael Editions10 Series8 Covered2014–2022

Editions held here

Year	Conference	Held	Paper deadline
2022	CAV International Conference on Computer Aided Verification	7–10 Aug 2022	21 Jan 2022
2022	IJCAR International Joint Conference on Automated Reasoning	7–12 Aug 2022	18 Feb 2022
2022	LiCS Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS)	2–5 Aug 2022	21 Jan 2022
2022	NSV International Workshop on Numerical Software Verification	11 Aug 2022	31 May 2022
2022	SYNT International Workshop on Synthesis	11 Aug 2022	10 May 2022
2022	WST International Workshop on Termination	11–12 Aug 2022	10 May 2022
2017	HVC Haifa Verification Conference	13–15 Nov 2017	28 Jul 2017
2016	HVC Haifa Verification Conference	14–17 Nov 2016	21 Jul 2016
2015	HVC Haifa Verification Conference	17–19 Nov 2015	24 Jul 2015
2014	BPM Business Process Management Conference	7–12 Sep 2014	21 Mar 2014

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the call for papers and/or the Web sites and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers might then move deadlines without telling anyone, which may lead to inconsistencies. So, treat this small page as a well-meaning notebook rather than an authority 🤓