No 122: June 2017
Table of Contents
EATCS Matters
| Letter from the President | |
| Paul Spirakis |
| Letter from the Bulletin Editor | |
| Kazuo Iwama |
EATCS Columns
| Large-scale Graph Generation and Big Data: An Overview on Recent Results | |
| Ulrich Meyer, Manuel Penschuck, The Algorithmics Column by Gerhard J Woeginger |
| On Some Recent Projection Switching Lemmas for Small Depth Circuits | |
| Srikanth Srinivasan, The Computational Complexity Column by Vikraman Arvind |
| A (Centralized) Local Guide | |
| Reut Levi, Moti Medina, The Distributed Computing Column by Stefan Schmid |
| Algorithmic Foundations of Programmable Matter Dagstuhl Seminar 16271 | |
| 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 | |
| Vladik Kreinovich, The Logic in Computer Science Column by Yuri Gurevich |
Technical Contributions
| Optimization Techniques for Algorithmic Debugging | |
| David Insa, Josep Silva |
| Profinite Techniques for Probabilistic Automata | |
| Nathanaël Fijalkow |
News and Conference Reports
| News from ACM transactions on Computation theory: New Editor-in-Chief | |
| Eric Allender |
| Report on BCTCS 2017 | |
| Markus Pfeiffer |
Contributions by EATCS Award Recipients
| Interview with Alexandra Silva Recipient of the 2017 Presburger Award | |
| Luca Aceto |
Book Introduction by the Authors
| Twenty Lectures on Algorithmic Game Theory | |
| Tim Roughgarden, Book Introduction by the Authors Invite by Kazuo Iwama |
Announcements
| CID – Computing with Infinite Data | |
| Dieter Spreen |