No 118: February 2016
Table of Contents
EATCS Matters
Letter from the President | |
Luca Aceto |
Letter from the Bulletin Editor | |
Kazuo Iwama |
Alonzo Church Award 2016 - Call for Nominations | |
Moshe Vardi |
Obituary Rūsiņš Mārtiņš Freivalds (1942–2016) | |
Thomas Zeugmann |
Rūsiņš Mārtiņš Freivalds (1942–2016) | |
Andris Ambainis |
EATCS Columns
Computational Aspects of Packing Problems | |
Helmut Alt, The Algorithmics Column by Gerhard J Woeginger |
Catalytic computation | |
Michal Koucký, The Computational Complexity Column by Vikraman Arvind |
Fault-Tolerant Logical Network Structures | |
Merav Parter, The Distributed Computing Column by Stefan Schmid |
Bringing Informatics Concepts to Children Through Solving Short Tasks | |
Valentina Dagiene, The Education Column by Juraj Hromkovic |
Viewpoints on “Logic activities in Europe”, twenty years later | |
Luca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi, The Logic in Computer Science Column by Yuri Gurevich |
Technical Contributions
A quarter of a century of CONCUR – Report on the 2014 and 2015 editions of the Conference on Concurrency Theory | |
Ilaria Castellani, Silvia Crafa |
Ten Conferences WORDS and their Contribution to the Field of Combinatorics on WORDS | |
Jean Néraud |
News and Conference Reports
Report on ALGO 2015 | |
Christos Zaroliagis |
Report on BCTCS 2015 | |
Martin Barnaby |
Report on The Graph Isomorphism Problem | |
Anuj Dawar |
Report on NWPT 2015 | |
Luca Aceto, Anna Ingolfsdottir |
Report on UCNC 2015 | |
Susan Stepney |
Book Introduction by the Authors
Presentation of the book: The Power of Algorithms Inspiration and Examples in Everyday Life | |
Giorgio Ausiello, Rossella Petreschi Eds, Invited by Kazuo Iwama |