No 131: June 2020
Table of Contents
EATCS Matters
| Letter from the President | |
| Paul Spirakis |
| Letter from the Bulletin Editor | |
| Kazuo Iwama |
| The EATCS Award 2020 - Laudatio for Mihalis Yannakakis | |
| Artur Czumaj |
| The Presburger Award 2020 - Laudatio for Dmitriy Zhuk | |
| Anca Muscholl |
EATCS Columns
| Hadwiger’s Conjecture for some hereditary classes of graphs: a survey | |
| Kathie Cameron, Kristina Vuškovic, The Algorithmics Column by Thomas Erlebach |
| Complexity in ideals of polynomials: questions on algebraic complexity of circuits and proofs | |
| Joshua A. Grochow, The Computational Complexity Column by V. Arvind |
| Interviews with the 2020 CONCUR Test-of-Time Award Recipients | |
| Luca Aceto, The Concurrency Column by Nobuko Yoshida |
| Regular Languages: To Finite Automata and Beyond Succinct Descriptions and Optimal Simulations | |
| Luca Prigioniero, The Formal Language Theory Column by Giovanni Pighizzini |
| Circuits: An abstract viewpoint | |
| Andreas Blass, Yuri Gurevich, The Logic in Computer Science Column by Yuri Gurevich |
News and Conference Reports
| Report from EATCS Japan Chapter | |
| Yukiko Yamauchi |
| Report on BCTCS & AlgoUK 2020 | |
| Ulrich Berger, Faron Moller |
| 29th EACSL Annual Conference on Computer Science Logic (CSL 2021) | |
| Jean Goubault-Larrecq |