Liverpool will be hosting or organising the following upcoming conferences and workshops:
7th July 2025
Satellite workshop of the 52nd EATCS International Colloquium on Automata, Languages, and Programming (ICALP)
For more details, see the workshop website
2nd - 3rd September 2025
Topics including structural and algorithmic graph theory, extremal combinatorics, plus logic and foundations of computer science. In addition to invited talks there is a 4-hour tutorial by Andrei Krokhin on Constraint Satisfaction Problems.
For more details, see the colloquium website
29th September - 3rd October 2025
For more details, see the workshop website
| Previous Conferences and Workshops |
| Autonomous Agents and Multiagent Systems conference series | (AAMAS) |
| Automated Reasoning Workshop series | (ARW) |
| Computational Models of Natural Argument workshop series | (CMNA) |
| Computational Models of Argument conference series | (COMMA) |
| First-Order Theorem Proving workshop series | (FTP) |
| Liverpool Economic Theory and Computation workshop series | (LETC) |