Bulletin of EATCS


No 120: October 2016

No 120: October 2016

Table of Contents

EATCS Matters

Letter from the President PDF
Paul Spirakis
Letter from the Bulletin Editor PDF
Kazuo Iwama
Interview with Paul Spirakis President of the EATCS PDF
Luca Aceto
The EATCS Award 2017 - Call for Nominations PDF
Fedor Fomin
The Presburger Award for Young Scientists 2017 - Call for Nominations PDF
Marta Kwiatkowska
EATCS Distinguished Dissertation Award 2016 - Call for Nominations PDF
Giuseppe Persiano
EATCS Fellows 2017 - Call for Nominations PDF
Paul Goldberg
Zoltan Ésik (1951–2016) In Memoriam PDF
Luca Aceto, Anna Ingólfsdóttir
Solomon Marcus, 1925–2016 PDF
Cristian S. Calude
Boris (Boaz) Trakhtenbrot 1921–2016 PDF
Nachum Dershowitz
In Memoriam Boris Trakhtenbrot, 1921–2016 PDF
Lawrence M. Fisher

EATCS Columns

Chaining introduction with some computer science applications PDF
Jelani Nelson, The Algorithmics Column by Gerhard J Woeginger
The Weisfeiler-Lehman Procedure PDF
Vikraman Arvind, The Computational Complexity Column by Vikraman Arvind
Approximation bounds for centrality maximization problems PDF
Gianlorenzo D’Angelo, The Distributed Computing Column by Stefan Schmid
Which Tasks of a Job are Susceptible to Computerization? PDF
Philipp Brandes, Roger Wattenhofer, The Distributed Computing Column by Stefan Schmid
Demystifying coding for schools—what are we actually trying to teach? PDF
Tim Bell, The Education Column by Juraj Hromkovic
The 1966 International Congress of Mathematicians: A micro-memoir PDF
Yuri Gurevich, The Logic in Computer Science Column by Yuri Gurevich

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 2016 PDF
Luca Aceto
Report on ICTCS 2016 PDF
Tiziana Calamoneri
Report on 1st GSSI Summer Meeting on Algorithms PDF
Michele Flammini, Giuseppe Persiano
Report on UCNC 2016 PDF
Susan Stepney

Miscellaneous

Marriages are made in calculation PDF
Ágnes Cseh

Abstracts of PhD thesis

Space in weak propositional proof systems PDF
Ilario Bonacina

Contributions by EATCS Award Recipients

Abstracts of the EATCS Distinguished Dissertations 2015 PDF
Luca Aceto
The simple, little and slow things count: on parameterized counting complexity PDF
Radu Curticapean
Mapping the complexity of counting problems PDF
Heng Guo
Monoids as Storage Mechanisms PDF
Georg Zetzsche

Announcements

CRS 2017 - Call for Papers PDF
Farid Ablayev
ICALP 2017 - Call for Papers PDF
Piotr Indyk, Anca Muscholl, Fabian Kuhn

Book Introduction by the Authors

The Golden Ticket P, NP, and the Search for the Impossible PDF
Lance Fortnow, Book Introduction by the Authors Invited by Kazuo Iwama