Conferences

Liverpool will be hosting or organising the following upcoming conferences and workshops:

15th International Conference on Reachability Problems (RP'21)

25th-27th October 2021

An annual event discussing reachability problems as they appear in a range of different computational models and systems.
For more details, see the RP'21 website

Second Conference on Mathematics and Computer Science for Materials Innovation (MACSMIN)

15th-17th September 2021

An inter-disciplinary community on the interface between Mathematics, Computer Science and Materials.
For more details, see the MACSMIN 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)