Research presented to the Thirty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Staff in the School of Computer Science will present five research papers in the Thirty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Lines of source code on a blue computer screen

The School's contribution accounts for nearly 7% of the Symposium's accepted papers. LICS is a premier venue in theoretical computer science, which will be held in Tallinn, Estonia on 8–11th July 2024.

Papers being presented are:

  • Victor Dalmau and Jakub Opršal: Local consistency as a reduction between constraint satisfaction problems
  • Sergey Goncharov, Stefan Milius, Stelios Tsampas and Henning Urbat: Bialgebraic Reasoning on Higher-order Program Equivalence
  • Eric Finster, Alex Rice and Jamie Vicary: A Syntax for Strictly Associative and Unital ∞-Categories
  • Liron Cohen, Yannick Forster, Dominik Kirst, Bruno da Rocha Paiva and Vincent Rahli: Separating Markov's Principles
  • Anupam Das and Abhishek De: A proof theory of right-linear (omega-)grammars via cyclic proofs

As a long-standing contributor to LICS, Professor Martin Escardo will also deliver an invited talk in Tallinn. Reflecting on the School's success, Professor Escardo, who leads the Theoretical Computer Science research theme in the School of Computer Science, reports:

We are delighted with the number of accepted papers, and the contribution that the School will make to LICS this year. It is testament to the outstanding computer science research going at Birmingham, not just in theoretical computer science but right across the School of Computer Science..

Professor Escardo

The LICS Symposium is an established annual international forum which explores theoretical and practical topics within the realm of computer science. Topics broadly relate to theories around automata, categorical models and logics, constraint programming, constructive mathematics, database theory, real-time and hybrid systems, higher-order logic, knowledge representation and reasoning, logical aspects of AI, bioinformatics, programming language semantics and much more.