No 140: June 2023

No 140: June 2023

Table of Contents

EATCS Matters

Letter from the President PDF
Artur Czumaj
Letter from the Editor PDF
Stefan Schmid
The EATCS Award 2023 - Laudatio for Amos Fiat PDF
Johan Håstad
Presburger Award 2023 – Laudatio PDF
Mikołaj Bojanczyk
EATCS Distinguished Dissertation Award for 2022 PDF
Nikhil Bansal
EATCS-Fellows 2023 PDF
Giuseppe F. Italiano
2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation PDF
Secretary Office of EATCS
2023 Goedel Prize PDF
Secretary Office of EATCS
IPEC Nerode Prize 2023 PDF
Fedor Fomin

EATCS Columns

Know the Person behind the Papers Today: Shweta Agrawal PDF
The Interview Column by Chen Avin and Stefan Schmid
Making Reversible Computing Machines in a Reversible Cellular Space PDF
Kenichi Morita, The Logic in Computer Science Column by Yuri Gurevich
Automata and Formal Languages: Shall we let them go? PDF
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 PDF
Stefan Walzer, The Algorithmics Column by Thomas Erlebach
Formal Languages via Theories over Strings: An Overview of Some Recent Results PDF
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? PDF
Michel Raynal, The Distributed Computing Column by Seth Gilbert
Bebras: Inspiring Informatics Education Across the Globe PDF
Valentina Dagiene, The Education Column by Juraj Hromkovic and Dennis Komm

News and Conference Reports

Report from EATCS Japan Chapter PDF
Yukiko Yamauch
Report on BCTCS 2023 PDF
Ciaran McCreesh
Scientific colloquium in honor of former EATCS President Burkhard Monien on the occasion of his 80th birthday PDF
Ulf-Peter Schroeder