European Association for Theoretical Computer Science (EATCS) is an international organization founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science.

Vote for General Assembly Elections 2023

We would like to inform you that the electronic General Assembly Election of new members has started.

In order to vote please click HERE or click the image above

Voting Procedure:

You can cast your vote until *December 22nd* at 24:00:00 CET.
You can vote up to 5 candidates.

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.

More Articles...