No 117: October 2015
Table of Contents
EATCS Matters
| Letter from the President | |
| Luca Aceto |
| Letter from the Bulletin Editor | |
| Kazuo Iwama |
| The EATCS Award 2016 - Call for Nominations | |
| Kim Guldstrand Larsen |
| EATCS Distinguished Dissertation Award 2015 - Call for Nominations | |
| Giuseppe Persiano |
| EATCS Fellows 2016 - Call for Nominations | |
| Rocco De Nicola |
| The Presburger Award 2016 - Call for Nominations | |
| Claire Mathieu |
| Gödel Prize 2016 - Call for Nominations | |
| Andrew Pitts |
EATCS Columns
| How tough is toughness? | |
| Hajo Broersma, The Algorithmics Column by Gerhard J Woeginger |
| Lowness results: the next generation | |
| Johannes Köbler, Jacobo Torán, The Computational Complexity Column by Vikraman Arvind |
| Type Systems for Distributed Programs: Session Communication | |
| Ornela Dardha, The Concurrency Column by Nobuko Yoshida |
| The Renaming Problem: Recent Developments and Open Questions | |
| Dan Alistarh, The Distributed Computing Column by Stefan Schmid |
| Automata Tutor and what we learned from building an online teaching tool | |
| 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 | |
| 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 | |
| Chinmay Hegde, Piotr Indyk, Ludwig Schmidt |
News and Conference Reports
| Report on The EATCS Council Meeting | |
| Luca Aceto |
| Report on The EATCS General Assembly | |
| Luca Aceto |
| Report on ICALP 2015 | |
| Luca Aceto |
| Report on ICE-TCS tenth anniversary | |
| Luca Aceto |
| Report on ICTCS 2015 | |
| Luca Aceto |