Conferences
Liverpool will be hosting or organising the following upcoming conferences and workshops:
4th Liverpool Economic Theory and Computation Workshop (LECT4)
27th September 2019
A one-day workshop bringing together researchers from economics, computer science and beyond with a shared interest in algorithms, economic and game theory.
For more details, see the workshop website
Formal Methods for Autonomous Systems Workshop
11th October 2019
A one-day workshop bringing together researchers working on a range of techniques for formal verification of autonomous systems.
This is a satellite workshop of the decennial Formal Methods 2019 World Congress.
For more details, see the workshop website
Past Conferences
| Previous Conferences and Workshops |
Conference Series
As well as individual conferences and workshops, the Computer Science department maintains information about a number of conference series.| 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) |