No 139: February 2023
Table of Contents
EATCS Matters
| Letter from the President | |
| Artur Czumaj |
| Letter from the Editor | |
| Stefan Schmid |
| The Goedel Prize 2023 - Call for Nominations | |
| Award Committee |
| IPEC Nerode Prize 2023 - Call for Nominations | |
| Fedor Fomin |
| Obituary: Yuri Manin | |
| Yuri Gurevich |
EATCS Columns
| Know the Person behind the Papers Today: Alexandra Silva | |
| The Interview Column by Chen Avin and Stefan Schmid |
| Should conferences still require mandatory attendance? A column by Theoretical Computer Scientists for Future (TCS4F) | |
| Antoine Amarilli, The Viewpoint Column by Stefan Schmid |
| Windows on Theory: A Conversation with Boaz Barak | |
| The Theory Blogs Column by Luca Trevisan |
| Lock-Free Locks | |
| Naama Ben-David, The Distributed Computing Column by Seth Gilbert |
| How Teaching Informatics Can Contribute to Improving Education in General | |
| Juraj Hromkovic, Regula Lacher, The Education Column by Juraj Hromkovic and Dennis Komm |
| The Power of Constructing Bad Inputs | |
| Ryan Williams, The Computational Complexity Column by Michal Koucky |
| The umbilical cord of finite model theory | |
| 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 | |
| Anca Muscholl |