All conferences / Cities / France / Rennes, Bretagne
Rennes, Bretagne 🇫🇷
Roazhon
Editions held here
| Year | Conference | Held | Paper deadline |
|---|---|---|---|
| 2027 | Petri Nets International Conference on Application and Theory of Petri Nets and Concurrency | 21–25 Jun 2027 | 22 Jan 2027 |
| 2026 | POPL ACM SIGPLAN Symposium on Principles of Programming Languages | 11–17 Jan 2026 | 10 Jul 2025 |
| 2026 | VMCAI International Conference on Verification, Model Checking, and Abstract Interpretation | 12–13 Jan 2026 | 15 Sep 2025 |
| 2023 | AFADL 24e journées des Approches Formelles dans l’Assistance au Développement de Logiciels | 5–8 Jun 2023 | 17 Apr 2023 |
| 2015 | ETR École d’été temps réel (session doctorants) | 24–28 Aug 2015 | 25 May 2015 |