Liverpool will be hosting or organising the following upcoming conferences and workshops:
37th British Colloquium for Theoretical Computer Science (BCTCS2021)
29th March-1st April 2021
An annual event for UK-based researchers in all aspects of theoretical computer science, including automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, types, languages and logics.
For more details, see the colloquium website
Mathematics and Computer Science for Materials Innovation Conference (MACSMIN)
7th-8th September 2020
An inter-disciplinary community on the interface between Mathematics, Computer Science, Materials.
For more details, see the conference website
|Previous Conferences and Workshops|
Conference SeriesAs 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)|