All conferences / Cities / United Kingdom / London
London 🏴
Editions held here
| Year | Conference | Held | Paper deadline |
|---|---|---|---|
| 2025 | TIME International Symposium on Temporal Representation and Reasoning | 27–29 Aug 2025 | 26 May 2025 |
| 2024 | ICPE ACM/SPEC International Conference on Performance Engineering | 7–11 May 2024 | 17 Nov 2023 |
| 2024 | POPL ACM SIGPLAN Symposium on Principles of Programming Languages | 17–19 Jan 2024 | 11 Jul 2023 |
| 2024 | VMCAI International Conference on Verification, Model Checking, and Abstract Interpretation | 15–16 Jan 2024 | 31 Aug 2023 |
| 2023 | AAMAS International Conference on Autonomous Agents and Multiagent Systems | 29 May – 2 Jun 2023 | 28 Oct 2022 |
| 2017 | Highlights Highlights of Logic, Games and Automata | 12–15 Sep 2017 | 2 Jun 2017 |
| 2017 | RP International Conference on Reachability Problems | 7–9 Sep 2017 | 19 Jun 2017 |
| 2017 | SERA IEEE/ACIS International Conference on Software Engineering Research, Management and Applications | 7–9 Jun 2017 | 5 Mar 2017 |
| 2015 | FESCA International Workshop on Formal Engineering approaches to Software Components and Architectures | 12 Apr 2015 | 21 Dec 2014 |
| 2015 | QAPL International Workshop on Quantitative Aspects of Programming Languages and Systems | 11–12 Apr 2015 | 14 Dec 2014 |
| 2015 | SynCoP International Workshop on Synthesis of Complex Parameters | 11 Apr 2015 | 2 Feb 2015 |
| 2015 | TACAS International Conference on Tools and Algorithms for the Construction and Analysis of Systems | 11–18 Apr 2015 | 17 Oct 2014 |