All conferences / Cities / Poland / Warsaw
Warsaw 🇵🇱
Warszawa
Editions held here
| Year | Conference | Held | Paper deadline |
|---|---|---|---|
| 2025 | MFCS International Symposium on Mathematical Foundations of Computer Science | 25–29 Aug 2025 | 18 Apr 2025 |
| 2023 | CSL International Conference on Computer Science Logic | 13–16 Feb 2023 | 16 Jul 2022 |
| 2022 | CONCUR International Conference on Concurrency Theory | 13–16 Sep 2022 | 25 Apr 2022 |
| 2022 | FMICS International Conference on Formal Methods for Industrial Critical Systems | 14–16 Sep 2022 | 26 May 2022 |
| 2022 | FORMATS International Conference on Formal Modeling and Analysis of Timed Systems | 12–17 Sep 2022 | 6 May 2022 |
| 2022 | QEST International Conference on Quantitative Evaluation of SysTems | 12–16 Sep 2022 | 25 Apr 2022 |
| 2022 | SNR International Workshop on Symbolic-Numeric methods for Reachability Analysis | 12 Sep 2022 | 22 Jul 2022 |
| 2022 | YR-CONCUR International Young Researchers Workshop on Concurrency Theory | 12 Sep 2022 | 6 Jul 2022 |
| 2019 | Highlights Highlights of Logic, Games and Automata | 17–20 Sep 2019 | 10 Jun 2019 |
| 2018 | TIME International Symposium on Temporal Representation and Reasoning | 15–17 Oct 2018 | 21 May 2018 |
| 2017 | ICALP EATCS International Colloquium on Automata, Languages, and Programming | 10–14 Jul 2017 | 17 Feb 2017 |
| 2015 | RP International Conference on Reachability Problems | 21–23 Sep 2015 | 18 Jun 2015 |