No 117: October 2015

No 117: October 2015

Table of Contents

EATCS Matters

Letter from the President PDF
Luca Aceto
Letter from the Bulletin Editor PDF
Kazuo Iwama
The EATCS Award 2016 - Call for Nominations PDF
Kim Guldstrand Larsen
EATCS Distinguished Dissertation Award 2015 - Call for Nominations PDF
Giuseppe Persiano
EATCS Fellows 2016 - Call for Nominations PDF
Rocco De Nicola
The Presburger Award 2016 - Call for Nominations PDF
Claire Mathieu
Gödel Prize 2016 - Call for Nominations PDF
Andrew Pitts

EATCS Columns

How tough is toughness? PDF
Hajo Broersma, The Algorithmics Column by Gerhard J Woeginger
Lowness results: the next generation PDF
Johannes Köbler, Jacobo Torán, The Computational Complexity Column by Vikraman Arvind
Type Systems for Distributed Programs: Session Communication PDF
Ornela Dardha, The Concurrency Column by Nobuko Yoshida
The Renaming Problem: Recent Developments and Open Questions PDF
Dan Alistarh, The Distributed Computing Column by Stefan Schmid
Automata Tutor and what we learned from building an online teaching tool PDF
Loris D’Antoni, Matthew Weavery, Alexander Weinert, Rajeev Alur, The Education Column by Juraj Hromkovic
A General Definition of the O-notation for Algorithm Analysis PDF
Kalle Rutanen, Germán Gómez-Herrero, Sirkka-Liisa Eriksson, Karen Egiazarian, The Logic in Computer Science Column by Yuri Gurevich

Technical Contributions

Fast Algorithms for Structured Sparsity PDF
Chinmay Hegde, Piotr Indyk, Ludwig Schmidt

News and Conference Reports

Report on The EATCS Council Meeting PDF
Luca Aceto
Report on The EATCS General Assembly PDF
Luca Aceto
Report on ICALP 2015 PDF
Luca Aceto
Report on ICE-TCS tenth anniversary PDF
Luca Aceto
Report on ICTCS 2015 PDF
Luca Aceto