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
|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)|