Bulletin of EATCS


No 137: June 2022

No 137: June 2022

Table of Contents

EATCS Matters

Letter from the President PDF
Artur Czumaj
Letter from the Editor PDF
Stefan Schmid
The EATCS Award 2022 - Laudatio for Patrick Cousot PDF
Eva Tardos
The Presburger Award 2022 - Laudatio for Dor Minzer PDF
Secretary Office of EATCS
EATCS Distinguished Dissertation Award for 2021 PDF
Secretary Office of EATCS
EATCS-Fellows 2022 PDF
Secretary Office of EATCS
2022 Alonzo Church Award for Outstanding Contributions to Logic and Computation PDF
Secretary Office of EATCS
2022 Edsger W. Dijkstra Prize in Distributed Computing PDF
Bulletin Editor
Ackermann Award 2022 - Call for Nominations PDF
Bulletin Editor
Obituary for Gerhard Woeginger PDF
Frits Spieksma
Obituary for Rolf Niedermeier PDF
Bulletin Editor

EATCS Golden Jubilee

EATCS Golden Jubilee: How EATCS was born 50 years ago and why it is still alive and well PDF
Giorgio Ausiello
Silver Jubilee of EATCS PDF
Secretary Office of EATCS
Know the Person behind the Papers: Christos Papadimitriou PDF
Bulletin Editor
Know the Person behind the Papers: Anne Driemel PDF
Bulletin Editor
Know the Person behind the Papers: Paul Spirakis PDF
Bulletin Editor
Know the Person behind the Papers: Eva Rotenberg PDF
Bulletin Editor
Know the Person behind the Papers: Leslie Ann Goldberg PDF
Bulletin Editor
Know the Person behind the Papers: Mariangiola Dezani-Ciancaglini PDF
Bulletin Editor
Know the Person behind the Papers: Jean-Éric Pin PDF
Bulletin Editor
Know the Person behind the Papers: Grzegorz Rozenberg PDF
Bulletin Editor
Know the Person behind the Papers: Robert Cori PDF
Bulletin Editor

EATCS Columns

A Minimal Instruction Set for Education PDF
Tobias Kohn, The Education Column by Juraj Hromkovic and Dennis Komm
Theory and Applications of Probabilistic Kolmogorov Complexity PDF
Zhenjian Lu, Igor C. Oliveira, The Computational Complexity Column by Michal Koucky ́
Shtetl Optimized PDF
The Theory Blogs Column by Luca Trevisan
Redbelly Blockchain: a Combination of Recent Advances PDF
Redbelly Network, The Distributed Computing Column by Seth Gilbert

News and Conference Reports

Report on ICALP 2021 PDF
Anca Muscholl
Report on BCTCS 2022 PDF
Olga Petrovska, Monika Seisenberger
Report on CPM 2022 PDF
Nadia Pisanti
Report from EATCS Japan Chapter PDF
Yukiko Yamauchi