Bulletin of EATCS

No 122: June 2017

No 122: June 2017

Table of Contents

EATCS Matters

Letter from the President PDF
Paul Spirakis
Letter from the Bulletin Editor PDF
Kazuo Iwama

EATCS Columns

Large-scale Graph Generation and Big Data: An Overview on Recent Results PDF
Ulrich Meyer, Manuel Penschuck, The Algorithmics Column by Gerhard J Woeginger
On Some Recent Projection Switching Lemmas for Small Depth Circuits PDF
Srikanth Srinivasan, The Computational Complexity Column by Vikraman Arvind
A (Centralized) Local Guide PDF
Reut Levi, Moti Medina, The Distributed Computing Column by Stefan Schmid
Algorithmic Foundations of Programmable Matter Dagstuhl Seminar 16271 PDF
Sándor P. Fekete, Andréa Richa, Kay Römer, Christian Scheideler, The Distributed Computing Column by Stefan Schmid
Why some physicists are excited about the undecidability of the spectral gap problem and why should we PDF
Vladik Kreinovich, The Logic in Computer Science Column by Yuri Gurevich

Technical Contributions

Optimization Techniques for Algorithmic Debugging PDF
David Insa, Josep Silva
Profinite Techniques for Probabilistic Automata PDF
Nathanaël Fijalkow

News and Conference Reports

News from ACM transactions on Computation theory: New Editor-in-Chief PDF
Eric Allender
Report on BCTCS 2017 PDF
Markus Pfeiffer

Contributions by EATCS Award Recipients

Interview with Alexandra Silva Recipient of the 2017 Presburger Award PDF
Luca Aceto

Book Introduction by the Authors

Twenty Lectures on Algorithmic Game Theory PDF
Tim Roughgarden, Book Introduction by the Authors Invite by Kazuo Iwama


CID – Computing with Infinite Data PDF
Dieter Spreen