All conferences / Cities / France / Paris
Paris 🇫🇷
Editions held here
| Year | Conference | Held | Paper deadline |
|---|---|---|---|
| 2026 | CSL International Conference on Computer Science Logic | 23–28 Feb 2026 | 21 Jul 2025 |
| 2026 | MFCS International Symposium on Mathematical Foundations of Computer Science | 24–28 Aug 2026 | 24 Apr 2026 |
| 2025 | ATAED Algorithms & Theories for the Analysis of Event Data 2025 | 24 Jun 2025 | 28 Mar 2025 |
| 2025 | FMAS Workshop on Formal Methods for Autonomous Systems | 17–19 Nov 2025 | 28 Aug 2025 |
| 2025 | iFM International Conference on integrated Formal Methods | 19–21 Nov 2025 | 20 Jun 2025 |
| 2025 | PeNGE Petri Net games, examples and quizzes for education, contest and fun | 24 Jun 2025 | 13 May 2025 |
| 2025 | Petri Nets International Conference on Application and Theory of Petri Nets and Concurrency | 23–27 Jun 2025 | 29 Jan 2025 |
| 2025 | PNSE International Workshop on Petri Nets and Software Engineering | 23–24 Jun 2025 | 25 Apr 2025 |
| 2024 | WISTP WISTP International Conference on Information Security Theory and Practice | 29 Feb – 1 Mar 2024 | 30 Jan 2024 |
| 2023 | CAV International Conference on Computer Aided Verification | 17–22 Jul 2023 | 3 Feb 2023 |
| 2023 | FASE International Conference on Fundamental Approaches to Software Engineering | 22–27 Apr 2023 | 13 Oct 2022 |
| 2023 | FoSSaCS International Conference on Foundations of Software Science and Computation Structures | 22–27 Apr 2023 | 13 Oct 2022 |
| 2023 | SPIN International Symposium on Model Checking Software | 26–27 Apr 2023 | 16 Jan 2023 |
| 2023 | SynCoP International Workshop on Synthesis of Complex Parameters | 22–23 Apr 2023 | 24 Feb 2023 |
| 2023 | TACAS International Conference on Tools and Algorithms for the Construction and Analysis of Systems | 22–27 Apr 2023 | 13 Oct 2022 |
| 2023 | TiCSA First Workshop on Trends in Configurable Systems Analysis | 23 Apr 2023 | 3 Mar 2023 |
| 2022 | Highlights Highlights of Logic, Games and Automata | 28 Jun – 1 Jul 2022 | 18 Mar 2022 |
| 2022 | ICALP EATCS International Colloquium on Automata, Languages, and Programming | 4–8 Jul 2022 | 10 Feb 2022 |
| 2022 | ICOST International Conference On Smart homes and health Telematics | 27–30 Jun 2022 | 11 Mar 2022 |
| 2022 | RSSRail International Conference on Reliability, Safety, and Security of Railway Systems | 1–2 Jun 2022 | 2 Dec 2021 |
| 2022 | RTNS International Conference on Real-Time Networks and Systems | 7–8 Jun 2022 | 9 Mar 2022 |
| 2021 | MSR 15e colloque sur la Modélisation des Systèmes Réactifs | 8–10 Nov 2021 | 19 Jul 2021 |
| 2021 | RSSRail International Conference on Reliability, Safety, and Security of Railway Systems | 15–16 Nov 2021 | 23 May 2021 |
| 2020 | FSCD International Conference on Formal Structures for Computation and Deduction | 29 Jun – 5 Jul 2020 | 9 Feb 2020 |
| 2020 | JRWRTC Junior Researcher Workshop on Real-Time Computing | 9–10 Jun 2020 | 9 Apr 2020 |
| 2020 | RP International Conference on Reachability Problems | 19–21 Oct 2020 | 17 Jul 2020 |
| 2020 | RTNS International Conference on Real-Time Networks and Systems | 10 Jun 2020 | 18 Dec 2019 |
| 2020 | TABLEAUX International Conference on Automated Reasoning with Analytic Tableaux and Related Methods | 1–4 Jul 2020 | 23 Jan 2020 |
| 2020 | WST International Workshop on Termination | 29–30 Jun 2020 | 12 Apr 2020 |
| 2019 | SPLC ACM International Systems and Software Product Line Conference | 9–13 Sep 2019 | 19 Mar 2019 |
| 2019 | WISTP WISTP International Conference on Information Security Theory and Practice | 10–11 Dec 2019 | 27 Oct 2019 |
| 2018 | EPEW European Performance Engineering Workshop | 29–30 Oct 2018 | 1 Jul 2018 |
| 2018 | FVSBS International track on Formal Verification of Service Based Systems | 27–29 Jun 2018 | 28 Feb 2018 |
| 2017 | CRTS International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems | 5 Dec 2017 | 15 Oct 2017 |
| 2017 | ETR École d’été temps réel (session doctorants) | 28 Aug – 1 Sep 2017 | 3 Jul 2017 |
| 2017 | ICOST International Conference On Smart homes and health Telematics | 29–31 Aug 2017 | 21 Apr 2017 |
| 2017 | POPL ACM SIGPLAN Symposium on Principles of Programming Languages | 18–20 Jan 2017 | 6 Jul 2016 |
| 2017 | RTSS IEEE Real-Time Systems Symposium | 5–8 Dec 2017 | 1 May 2017 |
| 2017 | VBSP First International Workshop on Verification of Business and Software Processes | 5 Jul 2017 | 15 May 2017 |
| 2017 | VMCAI International Conference on Verification, Model Checking, and Abstract Interpretation | 15–17 Jan 2017 | 28 Sep 2016 |
| 2016 | FVSBS International track on Formal Verification of Service Based Systems | 13–16 Jun 2016 | 25 Feb 2016 |
| 2015 | AFADL 24e journées des Approches Formelles dans l’Assistance au Développement de Logiciels | 11–12 Jun 2015 | 11 Mar 2015 |
| 2015 | FTSCS ACM International Workshop on Formal Techniques for Safety-Critical Systems | 2–3 Nov 2015 | 13 Sep 2015 |
| 2015 | ICFEM International Conference on Formal Engineering Methods | 3–6 Nov 2015 | 3 May 2015 |
| 2014 | FOR-MOVES Workshop on FORmal MOdeling and VErification of Service-based systems | 3 Nov 2014 | 25 Aug 2014 |
| 2012 | MMRP International Workshop on Models and Methods for Reliability and Performance of computer networks | 27–31 Aug 2012 | 5 Apr 2012 |