conferences.computer.science

All conferences / Cities / United States / New York City

New York City 🇺🇸

CountryUnited States Editions9 Series9 Covered2016–2019

Editions held here

YearConferenceHeldPaper deadline
2019 CAV International Conference on Computer Aided Verification 15–18 Jul 2019 7 Feb 2019
2019 CyPhy Ninth International Workshop on Model-Based Design of Cyber-Physical Systems 17–18 Oct 2019 16 Aug 2019
2019 EMSOFT International Conference on Embedded Software 13–18 Oct 2019 12 Apr 2019
2019 ICOST International Conference On Smart homes and health Telematics 14–16 Oct 2019 17 Jun 2019
2019 NSV International Workshop on Numerical Software Verification 13–14 Jul 2019 24 Apr 2019
2019 SYNT International Workshop on Synthesis 14 Jul 2019 10 May 2019
2019 VSTTE International Conference on Verified Software: Theories, Tools and Experiments 18–19 Jul 2019 29 Apr 2019
2016 IJCAI International Joint Conference on Artificial Intelligence 9–15 Jul 2016 2 Feb 2016
2016 LiCS Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS) 5–8 Jul 2016 18 Jan 2016

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 🤓