The 2024 Edsger W. Dijkstra Prize in Distributed Computing

http://www.podc.org/dijkstra/

http://www.disc-conference.org/wp/dijkstra-prize/

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.