conferences.computer.science

All conferences / Cities / Czechia / Prague

Prague 🇨🇿

Praha

CountryCzechia Editions12 Series12 Covered2015–2024

Editions held here

YearConferenceHeldPaper deadline
2024 FMCAD International Conference on Formal Methods in Computer-Aided Design 15–18 Oct 2024 12 May 2024
2024 VSTTE International Conference on Verified Software: Theories, Tools and Experiments 14–15 Oct 2024 27 Jul 2024
2019 FASE International Conference on Fundamental Approaches to Software Engineering 8–11 Apr 2019 16 Nov 2018
2019 FoSSaCS International Conference on Foundations of Software Science and Computation Structures 8–11 Apr 2019 16 Nov 2018
2019 HSB International Workshop on Hybrid Systems Biology 6–7 Apr 2019 4 Jan 2019
2019 POST International Conference on Principles of Security and Trust 8–11 Apr 2019 16 Nov 2018
2019 QAPL International Workshop on Quantitative Aspects of Programming Languages and Systems 6–7 Apr 2019 10 Feb 2019
2019 SynCoP International Workshop on Synthesis of Complex Parameters 6–7 Apr 2019 15 Feb 2019
2019 TACAS International Conference on Tools and Algorithms for the Construction and Analysis of Systems 8–11 Apr 2019 16 Nov 2018
2018 ICALP EATCS International Colloquium on Automata, Languages, and Programming 10–13 Jul 2018 16 Feb 2018
2016 LATA and 15th International Conference on Language and Automata Theory and Applications 14–18 Mar 2016 19 Oct 2015
2015 Highlights Highlights of Logic, Games and Automata 15–18 Sep 2015 12 Jun 2015

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 🤓