No 120: October 2016
Table of Contents
EATCS Matters
Letter from the President | |
Paul Spirakis |
Letter from the Bulletin Editor | |
Kazuo Iwama |
Interview with Paul Spirakis President of the EATCS | |
Luca Aceto |
The EATCS Award 2017 - Call for Nominations | |
Fedor Fomin |
The Presburger Award for Young Scientists 2017 - Call for Nominations | |
Marta Kwiatkowska |
EATCS Distinguished Dissertation Award 2016 - Call for Nominations | |
Giuseppe Persiano |
EATCS Fellows 2017 - Call for Nominations | |
Paul Goldberg |
Zoltan Ésik (1951–2016) In Memoriam | |
Luca Aceto, Anna Ingólfsdóttir |
Solomon Marcus, 1925–2016 | |
Cristian S. Calude |
Boris (Boaz) Trakhtenbrot 1921–2016 | |
Nachum Dershowitz |
In Memoriam Boris Trakhtenbrot, 1921–2016 | |
Lawrence M. Fisher |
EATCS Columns
Chaining introduction with some computer science applications | |
Jelani Nelson, The Algorithmics Column by Gerhard J Woeginger |
The Weisfeiler-Lehman Procedure | |
Vikraman Arvind, The Computational Complexity Column by Vikraman Arvind |
Approximation bounds for centrality maximization problems | |
Gianlorenzo D’Angelo, The Distributed Computing Column by Stefan Schmid |
Which Tasks of a Job are Susceptible to Computerization? | |
Philipp Brandes, Roger Wattenhofer, The Distributed Computing Column by Stefan Schmid |
Demystifying coding for schools—what are we actually trying to teach? | |
Tim Bell, The Education Column by Juraj Hromkovic |
The 1966 International Congress of Mathematicians: A micro-memoir | |
Yuri Gurevich, The Logic in Computer Science Column by Yuri Gurevich |
News and Conference Reports
Report on The EATCS Council Meeting | |
Luca Aceto |
Report on The EATCS General Assembly | |
Luca Aceto |
Report on ICALP 2016 | |
Luca Aceto |
Report on ICTCS 2016 | |
Tiziana Calamoneri |
Report on 1st GSSI Summer Meeting on Algorithms | |
Michele Flammini, Giuseppe Persiano |
Report on UCNC 2016 | |
Susan Stepney |
Miscellaneous
Marriages are made in calculation | |
Ágnes Cseh |
Abstracts of PhD thesis
Space in weak propositional proof systems | |
Ilario Bonacina |
Contributions by EATCS Award Recipients
Abstracts of the EATCS Distinguished Dissertations 2015 | |
Luca Aceto |
The simple, little and slow things count: on parameterized counting complexity | |
Radu Curticapean |
Mapping the complexity of counting problems | |
Heng Guo |
Monoids as Storage Mechanisms | |
Georg Zetzsche |
Announcements
CRS 2017 - Call for Papers | |
Farid Ablayev |
ICALP 2017 - Call for Papers | |
Piotr Indyk, Anca Muscholl, Fabian Kuhn |
Book Introduction by the Authors
The Golden Ticket P, NP, and the Search for the Impossible | |
Lance Fortnow, Book Introduction by the Authors Invited by Kazuo Iwama |