TCS @ Liverpool is a community of researchers in Liverpool working on theoretical computer science, broadly construed.
With members from the School of Computer Science and Informatics, the Leverhulme Research Centre for Functional Materials Design, and the Networks Sciences & Technologies Initiative of University of Liverpool, we are one of the largest group of foundational computer science research in the UK.

Latest News

1 May 2026 Liverpool will host a workshop on the Theory of Neuromorphic Computing on 9 June 2026.
30 Apr 2026 Several papers accepted at FLoC 2026 conferences (Lisbon, July 2026)!
  • CAV and KR: one paper each – congrats to Shufang Zhu!
  • LICS: 2 papers – congrats to Frank Wolter and Louwe Kuijer!
  • SAT: paper accepted – congrats to Friedrich Slivovsky!
20 Apr 2026 2 Papers accepted at ICALP 2026! Congrats to Patrick Totzke, with papers in both Track A and Track B!
17 Mar 2026 TCS@Liverpool Open Problem Workshop 2026 will be held on Wednesday, May 6th, at Greenbank conference centre. Daniel Hausmann organises this edition.
1 Feb 2026 Paper accepted at STOC 2026! Congrats to John Fearnley!
22 Jan 2026 Liverpool will organise the Automata in the Wild 2026, 23+24 March 2026 on campus in Liverpool.

See here for more news items.