No 131: June 2020

No 131: June 2020

Table of Contents

EATCS Matters

Letter from the President PDF
Paul Spirakis
Letter from the Bulletin Editor PDF
Kazuo Iwama
The EATCS Award 2020 - Laudatio for Mihalis Yannakakis PDF
Artur Czumaj
The Presburger Award 2020 - Laudatio for Dmitriy Zhuk PDF
Anca Muscholl

EATCS Columns

Hadwiger’s Conjecture for some hereditary classes of graphs: a survey PDF
Kathie Cameron, Kristina Vuškovic, The Algorithmics Column by Thomas Erlebach
Complexity in ideals of polynomials: questions on algebraic complexity of circuits and proofs PDF
Joshua A. Grochow, The Computational Complexity Column by V. Arvind
Interviews with the 2020 CONCUR Test-of-Time Award Recipients PDF
Luca Aceto, The Concurrency Column by Nobuko Yoshida
Regular Languages: To Finite Automata and Beyond Succinct Descriptions and Optimal Simulations PDF
Luca Prigioniero, The Formal Language Theory Column by Giovanni Pighizzini
Circuits: An abstract viewpoint PDF
Andreas Blass, Yuri Gurevich, The Logic in Computer Science Column by Yuri Gurevich

News and Conference Reports

Report from EATCS Japan Chapter PDF
Yukiko Yamauchi
Report on BCTCS & AlgoUK 2020 PDF
Ulrich Berger, Faron Moller
29th EACSL Annual Conference on Computer Science Logic (CSL 2021) PDF
Jean Goubault-Larrecq