No 145: February 2025
No 145: February 2025
Table of Contents
EATCS Matters
| Letter from the President | |
| Giuseppe F. Italiano |
| Letter from the Editor | |
| Stefan Schmid |
| The EATCS Award 2025 - Call for Nominations | |
| Award Committee |
| The Presburger Award for Young Scientists 2025 - Call for Nominations | |
| Award Committee |
| EATCS Fellows 2025 - Call for Nominations | |
| Award Committee |
| EATCS Distinguished Dissertation Award 2024 - Call for Nominations | |
| Award Committee |
| Alonzo Church Award 2025 - Call for Nominations | |
| Award Committee |
| The Goedel Prize 2025 - Call for Nominations | |
| Award Committee |
EATCS Columns
| Know the Person behind the Papers Today: Antoine Amarilli | |
| The Interview Column by Chen Avin and Stefan Schmid |
| Behind the Scenes of TCS+: Talks, Research, and Community Efforts | |
| TCS on the Web by Stefan Neumann |
| Data Compression Meets Automata Theory | |
| Nicola Cotumaccio, The Algorithmics Column by Ioana O. Bercea and Thomas Erlebach |
| On the limits of distributed quantum computing | |
| Francesco d’Amore, The Distributed Computing Column by Seth Gilbert |
| Range Avoidance and the Complexity of Explicit Constructions | |
| Oliver Korten, The Computational Complexity Column by Michal Koucky |
| Logic for Systems: A Gradual Introduction to Formal Methods | |
| Shriram Krishnamurthi, Tim Nelson, The Education Column by Dennis Komm and Thomas Zeume |
News and Conference Reports
| Conference Spotlight: ITCS and SODA | |
| Matthias Bentert |
| Report on POPL’2025 | |
| Vikraman Choudhury |
| Obituary for Luca Trevisan | |
| Andrea Clementi, Venkatesan Guruswami, Kristin Kane, Alon Rosen, Nikhil Srivastava, Salil Vadhan, Riccardo Zecchina |
| Tribute to Arto Salomaa | |
| Juhani Karhumäki, Jarkko Kari, Lila Kari, Hermann Maurer, Ion Petre, Grzegorz Rozenberg |
Miscellaneous
| Book Announcement: Session Types | |
| Simon J. Gay, Vasco T. Vasconcelos |