All conferences / Cities / Iceland / Reykjavík
Reykjavík 🇮🇸
Editions held here
| Year | Conference | Held | Paper deadline |
|---|---|---|---|
| 2025 | TABLEAUX International Conference on Automated Reasoning with Analytic Tableaux and Related Methods | 27 Sep – 3 Oct 2025 | 18 May 2025 |
| 2024 | GandALF International Symposium on Games, Automata, Logics, and Formal Verification | 19–21 Jun 2024 | 10 Apr 2024 |
| 2021 | NWPT Nordic Workshop On Programming Theory | 4–6 Nov 2021 | 10 Oct 2021 |
| 2017 | LiCS Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS) | 20–23 Jun 2017 | 9 Jan 2017 |
| 2016 | iFM International Conference on integrated Formal Methods | 1–4 Jun 2016 | 13 Jan 2016 |
| 2016 | UTP International Symposium on Unifying Theories of Programming | 4–5 Jun 2016 | 4 Mar 2016 |
| 2015 | NWPT Nordic Workshop On Programming Theory | 21–23 Oct 2015 | 31 Aug 2015 |