European Association for Theoretical Computer Science

The EATCS Bulletin and YouTube crew are always looking for contributions 👩‍🔬 Especially junior folks are warmly invited to write or film something 🎥✍️

These days we are talking a lot about the exposition of theoretical computer science results. In the newest column of "TCS on the Web" it was my pleasure to talk to the makers of the great YouTube channel "polylog": Václav Rozhoň, Václav Volhejn, Richard Hladík and Tomáš Sláma.

New bulletin of the @eatcs.bsky.social is up: bulletin.eatcs.org/index.php/be...

For the summer issue of the EATCS Bulletin, it was my pleasure to talk to authors of the Decentralized Thoughts blog: Ittai Abraham, Kartik Nayak, Ling Ren, and Alin Tomescu. I really like their opinions on how blogs can do more than papers and the theory and practice of blockchains.

the Summer issue of the EATCS Bulletin is now available! eatcs.org/images/bulle...

the Summer issue of the @eatcs.bsky.social Bulletin is now available! eatcs.org/images/bulle...

The 2026 EATCS Distinguished Achievements Award goes to Yishay Mansour! Laudatio here:

The 2026 Dijkstra Prize in Distributed Computing goes to the paper "Distributed Verification and Hardness of Distributed Approximation" by Atish Das Sarma, Stephan Holzer, Liah Kor, Amos Korman, Danupon Nanongkai, Gopal Pandurangan, David Peleg, and Roger Wattenhofer. 👏 👏 👏 Laudatio here:

I am honoured (and still a bit stunned) to receive the 2026 Presburger Award from @eatcs.bsky.social. This recognizes 1 or 2 young scientists for outstanding contributions in theoretical CS This honour is shared w my collaborators, students, institutions, & research community 1/7

I got interviewed for my podcast in Bulletin of the EATCS! I am really delighted by this so, sharing it with you. eatcs.org/images/bulle... Thank you @eatcs.bsky.social and @neumannstefan.com. Here is a link to one of the episodes of my podcast. open.spotify.com/episode/3RNO...

I highly recommend this column by Hongseok Yang and two of his students giving a formal logic take on a powerful method from extremal combinatorics.

The BEATCS Viewpoint Column is my personal favorite, everyone always has an interesting take. This time, Wojciech Czerwinski gives his perspective on a recent discussion about the future of research in TCS Track B bulletin.eatcs.org/index.php/be...

Laurent Feuilloley has just joined as editor for the Conference Reports Column. In his first column for the BEATCS Spring issue, he reports on DISC 2025 🫡 I think Laurent would love your all's contributions! bulletin.eatcs.org/index.php/be...

The Concurrency Column surveys the theoretical foundations of runtime monitoring, covering classic regular properties, data-dependent properties, and hyperproperties. bulletin.eatcs.org/index.php/be...

In the Machine Learning Column, Pablo Barceló and David Saulpic interview Santosh Vempala, exploring explanations of hallucinations from a theoretical computer science perspective. bulletin.eatcs.org/index.php/be...

In the Computational Complexity Column, Edward Pyne and Roei Tell survey recent results on applying hardness-vs.-randomness techniques to the design of low-space algorithms. bulletin.eatcs.org/index.php/be...

In the Logic in Computer Science Column, Gyeongwon Jeong, Seonghun Park, and Hongseok Yang introduce Razborov’s flag algebras and explain their applications in extremal graph theory. bulletin.eatcs.org/index.php/be...

In the TCS on the Web Column, complexity theorist Nutan Limaye tells us about her Life of a Researcher podcast #CSTheory bulletin.eatcs.org/index.php/be...

Get to know Don Knuth in this BEATCS Spring issue interview by Chen Avin and Stefan Schmid bulletin.eatcs.org/index.php/be...

The Spring issue of the EATCS Bulletin is now available!