Conferences

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

Workshop on Algorithmic Aspects of Temporal Graphs

(A satellite workshop of ICALP 2018)
9th July 2018, Prague, Czech Republic

A half-day workshop, looking at recent advances and key challenges in the area of temporal/dynamically changing graphs.

For more details, see the workshop website

International Workshop on Verification and Validation of Autonomous Systems

(A satellite workshop of FLoC 2018)
18-19th July 2018, Oxford

Bringing together researchers working on a range of techniques for verification and validation of autonomous systems, ranging from formal methods to simulation and testing, to present recent work in the area, discuss key difficulties, and stimulate collaboration

For more details, see the workshop website

43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)

27th-31st August 2018

MFCS is a venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interations between researchers who might not meet at more specialized venues.
2018 sees MFCS come to the United Kingdom for the very first time.

For more details, see the MFCS 2018 website

2nd Algorithms UK Workshop

19-20th September 2018

An EPSRC-supported network workshop for the UK's algorithms and complexity research community.

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)