No 132: October 2020

No 132: October 2020

Table of Contents

EATCS Matters

Letter from the President PDF
Artur Czumaj
Letter from the Bulletin Editor PDF
Kazuo Iwama
The EATCS Award 2021 - Call for Nominations PDF
Marta Kwiatkowska, Éva Tardos, Johan Håstad
EATCS Distinguished Dissertation Award 2020 - Call for Nominations PDF
Susanne Albers, Nikhil Bansal, Elvira Mayordomo, Dale Miller, Jaroslav Nesetril, Damian Niwinski, David Peleg, Vladimiro Sassone, Alexandra Silva
EATCS Fellows 2021 - Call for Nominations PDF
Christel Baier, Mikołaj Bojanczyk, Mariangiola Dezani, Josep Diaz, Giuseppe F. Italiano
The Presburger Award for Young Scientists 2021 – Call for Nominations PDF
Thore Husfeldt, Meena Mahajan, Mikołaj Bojanczyk

EATCS Columns

Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof PDF
Alex Auvolat, Davide Frey, Michel Raynal, François Taïani, The Distributed Computing Column by Stefan Schmid
Feasibility, sorites and vagueness PDF
Rohit Parikh, The Logic in Computer Science Column by Yuri Gurevich

News and Conference Reports

Report on ICALP 2020 PDF
Artur Czumaj, Anca Muscholl
IWOCA 2020 in Bordeaux (Oops! On-Line!) PDF
Florent Foucaud, Leszek Gasieniec, Ralf Klasing, Tomasz Radzik, Bill Smyth
Quo Vadisc? Outcomes of the PODC/DISC Conference model survey PDF
Stefan Schmid
LICS-ICALP 2020 Questionnaire Evaluation PDF
Felix Freiberger, Holger Hermanns