ICALP 2024 - Call for Papers

51st EATCS International Colloquium on Automata, Languages and Programming

Tallinn, Estonia, July 8-12, 2024 https://compose.ioc.ee/icalp2024/

EATCS Bulletin Issue 140 is available online

The 140th issue of the EATCS Bulletin, is now available online at http://bulletin.eatcs.org/index.php/beatcs/index featuring

• Know the Person behind the Papers Today: Shweta Agrawal - The Interview Column by Chen Avin and Stefan Schmid
• Making Reversible Computing Machines in a Reversible Cellular Space - Kenichi Morita, The Logic in Computer Science Column by Yuri Gurevich
• Automata and Formal Languages: Shall we let them go? - Michal Koucký, The Computational Complexity Column by Michal Koucky
• What if we tried Less Power? Lessons from studying the power of choices in hashing-based data structures - Stefan Walzer, The Algorithmics Column by Thomas Erlebach
• Formal Languages via Theories over Strings: An Overview of Some Recent Results - Joel D. Day, Vijay Ganesh, Florin Mane, The Formal Language Theory Column by Giovanni Pighizzini
• Mutual Exclusion vs Consensus: Both Sides of the Same Coin? - Michel Raynal, The Distributed Computing Column by Seth Gilbert
• Bebras: Inspiring Informatics Education Across the Globe - Valentina Dagiene, The Education Column by Juraj Hromkovic and Dennis Komm

Presburger Award 2023 – Laudatio

The 2023 Presburger Award Committee has unanimously selected

Aaron Bernstein and Thatchaphol Saranurak

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

2023 Edsger W. Dijkstra Prize in Distributed Computing

The Edsger W. Dijkstra Prize in Distributed Computing is awarded for outstanding papers on the principles of distributed computing, whose significance and impact on the theory or practice of distributed computing have been evident for at least a decade. It is sponsored jointly by the ACM Symposium on Principles of Distributed Computing (PODC) and the EATCS Symposium on Distributed Computing (DISC). The prize is presented annually, with the presentation taking place alternately at PODC and DISC.

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