No 139: February 2023

No 139: February 2023

Table of Contents

EATCS Matters

Letter from the President PDF
Artur Czumaj
Letter from the Editor PDF
Stefan Schmid
The Goedel Prize 2023 - Call for Nominations PDF
Award Committee
IPEC Nerode Prize 2023 - Call for Nominations PDF
Fedor Fomin
Obituary: Yuri Manin PDF
Yuri Gurevich

EATCS Columns

Know the Person behind the Papers Today: Alexandra Silva PDF
The Interview Column by Chen Avin and Stefan Schmid
Should conferences still require mandatory attendance? A column by Theoretical Computer Scientists for Future (TCS4F) PDF
Antoine Amarilli, The Viewpoint Column by Stefan Schmid
Windows on Theory: A Conversation with Boaz Barak PDF
The Theory Blogs Column by Luca Trevisan
Lock-Free Locks PDF
Naama Ben-David, The Distributed Computing Column by Seth Gilbert
How Teaching Informatics Can Contribute to Improving Education in General PDF
Juraj Hromkovic, Regula Lacher, The Education Column by Juraj Hromkovic and Dennis Komm
The Power of Constructing Bad Inputs PDF
Ryan Williams, The Computational Complexity Column by Michal Koucky
The umbilical cord of finite model theory PDF
Yuri Gurevich, The Logic in Computer Science Column by Yuri Gurevich

News and Conference Reports

Report on ICALP 2022 - 49th EATCS International Colloquium on Automata, Languages and Programming PDF
Anca Muscholl