EATCS-IPEC Nerode Prize 2023

The EATCS-IPEC Nerode Award Committee consisting of Fedor V. Fomin (chair), Thore Husfeldt, and Sang-il Oum, has selected the following paper as the recipient of the EATCS-IPEC Nerode Prize 2023:

• "Solving Connectivity Problems Parameterized by Treewidth in Single Exponential Time" by Marek Cygan, Jesper Nederlof, Marcin Pilipczuk, Michal Pilipczuk, Johan M. M. van Rooij, and Jakub Onufry Wojtaszczyk. ACM Trans. Algorithms 18(2): 17:1-17:31 (2022). Conference version: FOCS 2011.

ICGT 2023 - CALL FOR PARTICIPATION

16th International Conference on Graph Transformation (ICGT 2023)

19-20 July in Leicester, UK, as part of STAF 2023

web: https://conf.researchr.org/home/staf-2023

Presburger Award 2023

The 2023 Presburger Award Committee has unanimously selected

Aaron Bernstein (Rutgers University )

and

Thatchaphol Saranurak (University of Michigan)

as the recipients of the 2023 EATCS Presburger Award for Young Scientists.

ESA 2023 best paper awards

The European Association for Theoretical Computer Science (EATCS) sponsored best paper and best student paper awards. A submission was eligible for the best student paper award if all authors were doctoral, master, or bachelor students at the time of submission.

The 2023 Gödel Prize

The 2023 Gödel Prize is awarded to the following papers

• Samuel Fiorini, Serge Massar, Sebastian Pokutta, Hans Raj Tiwary and Ronald de Wolf: Exponential Lower Bounds for Polytopes in Combinatorial Optimization. STOC 2012: 95-106. J. ACM, 62(2), 17:1-17:23 (2015)
• Thomas Rothvoss: The matching polytope has exponential extension complexity. STOC 2014: 263-272. J. ACM, 64(6),1-19 (2017)

34th European Summer School in Logic, Language and Information

July 31 to August 11, 2023

University of Ljubljana, Faculty of Computer and Information Science

The European Summer School in Logic, Language and Information (ESSLLI) is a yearly recurring event, which has been organized since 1989. An ESSLLI Summer School provides an interdisciplinary setting in which courses and workshops are offered in logic, linguistics and computer science. Courses (foundational, introductory and advanced) and workshops cover a wide variety of topics within three interdisciplinary areas of interest: language and computation, logic and language, and logic and computation. In addition to the workshops and courses there are usually four evening lectures, given by prominent researchers, on topics that are at the forefront of research in logic, language and computer science, also from wider scientific, historical, and philosophical perspectives. Its relevance to students of artificial intelligence is evident.