conferences.computer.science

All conferences / Cities / China / Xi’An

Xi’An 🇨🇳

西安

CountryChina Editions4 Series4 Covered2017–2025

Editions held here

YearConferenceHeldPaper deadline
2025 DaLí Workshop on Dynamic Logic - New trends and applications 20–21 Oct 2025 20 Jun 2025
2020 VECoS International Conference on Verification and Evaluation of Computer and Communication Systems 24–25 Sep 2020 26 Jul 2020
2019 ICST IEEE International Conference on Software Testing, Verification and Validation 24–26 Apr 2019 14 Oct 2018
2017 ICFEM International Conference on Formal Engineering Methods 13–17 Nov 2017 14 May 2017

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 🤓