Bulletin of EATCS

No 123: October 2017

No 123: October 2017

Table of Contents

EATCS Matters

Letter from the President PDF
Paul Spirakis
Letter from the Bulletin Editor PDF
Kazuo Iwama
The EATCS Award 2018 - Call for Nominations PDF
Jean-Éric Pin
The Presburger Award for Young Scientists 2018 - Call for Nominations PDF
Stephan Kreutzer
EATCS Distinguished Dissertation Award 2017 - Call for Nominations PDF
Giuseppe Persiano
EATCS Fellows 2018 - Call for Nominations PDF
Roger Wattenhofer
Obituary Maurice Nivat (1937–2017) PDF
Pierre-Louis Curien, Gérard Huet, Antoine Petit

EATCS Columns

Concurrent Structures in Game Semantics PDF
Simon Castellan, The Concurrency Column by Nobuko Yoshida
A Quest for Structure in Complexity PDF
Vikraman Arvind, Meena Mahajan, The Computational Complexity Column by Vikraman Arvind
The Blockchain Consensus Layer and BFT PDF
Ittai Abraham, Dahlia Malkhi, The Distributed Computing Column by Stefan Schmid
Composition in State-based Replicated Data Types PDF
Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, Carla Ferreira, The Distributed Computing Column by Stefan Schmid
How to convince teachers to teach computer science even if informatics was never a part of their own studies PDF
Juraj Hromkovic, Regula Lacher, The Education Column by Juraj Hromkovic
If you have parents, you can learn recursion. PDF
Matthias Hauswirth, The Education Column by Juraj Hromkovic
Open and ClosedWords PDF
Gabriele Fici, The Formal Language Theory Column by Giovanni Pighizzini
Temporal Hyperproperties PDF
Bernd Finkbeiner, The Logic in Computer Science Column by Yuri Gurevich

News and Conference Reports

Report on DCFS 2017 PDF
Stavros Konstantinidis
Report on HALG 2016/2017 PDF
Artur Czumaj, Stefano Leonardi
Report on ICTCS 2017 PDF
Tiziana Calamoneri
Report on the Magic in Science symposium PDF
Kai Salomaa, Andrew L. Szilard
Ten years of the European Research Council A view from theoretical computer science PDF
Luca Aceto
Computer Science at the Gran Sasso Science Institute PDF
Luca Aceto