Bulletin of EATCS

No 125: June 2018

No 125: June 2018

Table of Contents

EATCS Matters

Letter from the President PDF
Paul Spirakis
Letter from the Bulletin Editor PDF
Kazuo Iwama
The Presburger Award 2018 - Laudatio for Aleksander Madry PDF
Stephan Kreutzer

EATCS Columns

Recent progress on scaling algorithms and applications PDF
Ankit Garg, Rafael Oliveira, The Computational Complexity Column by V. Arvind
The Distributed Minimum Spanning Tree Problem PDF
Gopal Pandurangan, Peter Robinson, Michele Scquizzato, The Distributed Computing Column by Stefan Schmid
Extending Causal Consistency to any Object Defined by a Sequential Specification PDF
Achour Mostéfaoui, Matthieu Perrin, Michel Raynal, The Distributed Computing Column by Stefan Schmid
If You’re Not Writing a Program, Don’t Use a Programming Language PDF
Leslie Lamport, Distributed Computing & Education Column by Juraj Hromkovic, Stefan Schmid
Conferences WORDS, years 1997-2017: Open Problems and Conjectures PDF
Jean Néraud, The Formal Language Theory Column by Giovanni Pighizzini
Negative probabilities, II What they are and what they are for PDF
Andreas Blass, Yuri Gurevich, The Logic in Computer Science Column by Yuri Gurevich

Technical Contributions

Randomness and Metastability in Game Theory and Distributed Computing PDF
Francesco Pasquale
On the Metastability of Quadratic Majority Dynamics on Clustered Graphs and its Biological Implications PDF
Emilio Cruciani, Emanuele Natale, Giacomo Scornavacca
Phase Transition of the 2-Choices Dynamics on Core-Periphery Networks PDF
Emilio Cruciani, Emanuele Natale, André Nusser, Giacomo Scornavacca

News and Conference Reports

Report from EATCS Japan Chapter PDF
Ryuhei Uehara
Report on AAAC 2018 PDF
Siu-Wing Cheng