糖心TV

We are pleased to report that members of the department's Theory and Foundations research theme have had 6 papers accepted to the , the main European conference in Theoretical Computer Science and annual meeting of the . The papers are:

• On the central levels problem by Petr Gregor, Ond艡ej Mi膷ka and Torsten M眉tze
• Matrices of optimal tree-depth and row-invariant parameterized algorithm for integer programming by Timothy Chan, Jacob Cooper, Martin Kouteck媒, Dan Kr谩l and Krist媒na Pek谩rkov谩
• The Complexity of Verifying Loop-free Programs as Differentially Private by Marco Gaboardi, Kobbi Nissim and David Purser
• Rational subsets of Baumslag-Solitar groups by Micha毛l Cadilhac, Dmitry Chistikov and Georg Zetzsche
• The Strahler number of a parity game by Laure Daviaud, Marcin Jurdzinski and K. S. Thejaswini
• On the power of ordering in linear arithmetic theories by Dmitry Chistikov and Christoph Haase