糖心TV

Another ICALP is coming, and another good performance of the FoCS group: 6 papers from our group has been accepted to the , the main European conference in Theoretical Computer Science and annual meeting of the :

• Micha毛l Cadilhac, Dmitry Chistikov and Georg Zetzsche. Rational subsets of Baumslag-Solitar groups.
• Timothy Chan, Jacob Cooper, Martin Kouteck媒, Dan Kr谩l and Krist媒na Pek谩rkov谩. .
• Dmitry Chistikov and Christoph Haase. On the power of ordering in linear arithmetic theories.
• Laure Daviaud, Marcin Jurdzinski and K. S. Thejaswini. .
• Marco Gaboardi, Kobbi Nissim and David Purser. .
• Petr Gregor, Ond艡ej Mi膷ka and Torsten M眉tze. .