No 138: October 2022
Table of Contents
EATCS Matters
| Letter from the President | |
| Artur Czumaj |
| Letter from the Editor | |
| Stefan Schmid |
| The EATCS Award 2023 - Call for Nominations | |
| Johan Håstad |
| The Presburger Award for Young Scientists 2023 - Call for Nominations | |
| Mikołaj Bojanczyk |
| EATCS Distinguished Dissertation Award 2022 - Call for Nominations | |
| Susanne Albers |
| EATCS Fellows 2023 - Call for Nominations | |
| Secretary Office of EATCS |
EATCS Columns
| Know the Person behind the Papers: Monika Henzinger | |
| The Interview Column by Chen Avin and Stefan Schmid |
| Prizes and Prejudice | |
| Sophie Huiberts, The Viewpoint Column by Stefan Schmid |
| Bringing Research-Life to Centerstage | |
| Omer Reingold, The Theory Blogs Column by Luca Trevisan |
| Approximate counting using Taylor’s theorem: a survey | |
| Viresh Patel, Guus Regts, The Algorithmics Column by Thomas Erlebach |
| Current Challenges in Reliable and Secure Clock Synchronization | |
| Swen Jacobs, Christoph Lenzen, The Distributed Computing Column by Seth Gilbert |
| Testing of an Interactive Online Learning Environment with Focus on Algorithmic Tasks | |
| Dario Naepfer, The Education Column by Juraj Hromkovic and Dennis Komm |
| Recent Progress on Derandomizing Space-Bounded Computation | |
| William M. Hoza, The Computational Complexity Column by Michal Koucky |
| A Surprising Relationship Between Descriptive Complexity and Proof Complexity | |
| Yijia Chen, Jörg Flum, Moritz Müller, The Logic in Computer Science Column by Yuri Gurevich |
News and Conference Reports
| CONCUR through time | |
| Luca Aceto, Pierluigi Crescenzi |
| Report on NCMA 2022: 12th International Workshop on Non-Classical Models of Automata and Applications | |
| Bianca Truthe |
| Report on DCFS 2022: 24th International Conference on Descriptional Complexity of Formal Systems | |
| Bianca Truthe |
| Report on MCU 2022: 9th International Conference on Machines, Computations, and Universality | |
| Bianca Truthe |
| Report on CPM 2022 | |
| Nadia Pisanti |
Contributions by EATCS Award Recipients
| Interviews with the 2022 CONCUR Test-of-Time Award Recipients | |
| Luca Aceto, Orna Kupferman, Mickael Randour, Davide Sangiorgi |