No 140: June 2023
Table of Contents
EATCS Matters
| Letter from the President | |
| Artur Czumaj |
| Letter from the Editor | |
| Stefan Schmid |
| The EATCS Award 2023 - Laudatio for Amos Fiat | |
| Johan Håstad |
| Presburger Award 2023 – Laudatio | |
| Mikołaj Bojanczyk |
| EATCS Distinguished Dissertation Award for 2022 | |
| Nikhil Bansal |
| EATCS-Fellows 2023 | |
| Giuseppe F. Italiano |
| 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation | |
| Secretary Office of EATCS |
| 2023 Goedel Prize | |
| Secretary Office of EATCS |
| IPEC Nerode Prize 2023 | |
| Fedor Fomin |
EATCS Columns
| 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 |
News and Conference Reports
| Report from EATCS Japan Chapter | |
| Yukiko Yamauch |
| Report on BCTCS 2023 | |
| Ciaran McCreesh |
| Scientific colloquium in honor of former EATCS President Burkhard Monien on the occasion of his 80th birthday | |
| Ulf-Peter Schroeder |