conferences.computer.science

All conferences / Cities / China / Beijing

Beijing 🇨🇳

北京

CountryChina Editions13 Series11 Covered2016–2022

Editions held here

YearConferenceHeldPaper deadline
2022 ATVA International Symposium on Automated Technology for Verification and Analysis 25–28 Oct 2022 8 May 2022
2022 PRDC IEEE Pacific Rim International Symposium on Dependable Computing 28 Nov – 1 Dec 2022 1 Aug 2022
2022 SETTA International Symposium on Dependable Software Engineering: Theories, Tools and Applications 27–29 Oct 2022 30 Jul 2022
2020 LiCS Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS) 8–12 Jul 2020 10 Jan 2020
2019 SPIN International Symposium on Model Checking Software 15–19 Jul 2019 5 Apr 2019
2018 CONCUR International Conference on Concurrency Theory 4–7 Sep 2018 23 Apr 2018
2018 FORMATS International Conference on Formal Modeling and Analysis of Timed Systems 4–6 Sep 2018 18 Apr 2018
2018 MEMOCODE ACM-IEEE International Symposium on Formal Methods and Models for System Design 15–18 Oct 2018 8 Jun 2018
2018 QEST International Conference on Quantitative Evaluation of SysTems 4–7 Sep 2018 4 Apr 2018
2018 SETTA International Symposium on Dependable Software Engineering: Theories, Tools and Applications 4–6 Sep 2018 7 May 2018
2018 TIPS International workshop on the TIming Performance in Safety Engineering 8 Sep 2018 11 May 2018
2018 YR-CONCUR International Young Researchers Workshop on Concurrency Theory 3 Sep 2018 17 Jun 2018
2016 SETTA International Symposium on Dependable Software Engineering: Theories, Tools and Applications 9–11 Nov 2016 19 Jun 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 🤓