Vote for General Assembly Elections 2023 has ended

EATCS Bulletin Issue 141 is available online

The 141st 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: Michał Pilipczuk  - The Interview Column by Chen Avin and Stefan Schmid
• Removing the Barriers: Overcoming Impostor Phenomenon as a Community - Ulrike Schmidt-Kraepelin, The Viewpoint Column by Stefan Schmid
• Computational Complexity  - The Theory Blogs Column by Luca Trevisan
• Reusing Space: Techniques and Open Problems - Ian Mertz, The Computational Complexity Column by Michal Koucky
• The Relationship between APSP and Matrix Multiplication in Congested Clique - Dean Leitersdorf, The Distributed Computing Column by Seth Gilbert
• What are kets?  - Yuri Gurevich, Andreas Blass, The Logic in Computer Science Column by Yuri Gurevich
• 25 Editions of DCFS: Origins and Directions  - Jürgen Dassow, Martin Kutrib, Giovanni Pighizzini, The Formal Language Theory Column by Giovanni Pighizzini

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.