No 114: October 2014

No 114: October 2014

Table of Contents

EATCS Matters

Letter from the President PDF
Luca Aceto
Letter from the Bulletin Editor PDF
Kazuo Iwama
The EATCS Award 2015 - Call for Nominations PDF
Vladimiro Sassone
The Presburger Award 2015 - Call for Nominations PDF
Peter Widmayer
EATCS Fellows 2015 - Call for Nominations PDF
Dorothea Wagner
EATCS Distinguished Dissertation Award 2014 - Call for Nominations PDF
Giuseppe Persiano
Obituary Robert McNaughton 1924 – 2014 PDF
John Corcoran, Paliath Narendran, Wolfgang Thomas

EATCS Columns

Multivariate Algorithmics for NP-Hard String Problems PDF
Laurent Bulteau, Falk Hüffner, Christian Komusiewicz, Rolf Niedermeier, The Algorithmics Column by Gerhard J Woeginger
Recent Progress on Arithmetic Circuit Lower Bounds PDF
Ramprasad Saptharishi, The Computational Complexity Column by Vikraman Arvind
Causal-Consistent Reversibility PDF
Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi, The Concurrency Column by Nobuko Yoshida
6th Workshop on Theory of Transactional Memory PDF
Maria Couceiro, Vincent Gramoli, Paolo Romano, The Distributed Computing Column by Panagiota Fatourou
Analog and Hybrid Computation: Dynamical Systems and Programming Languages PDF
André Platzer, The Logic in Computer Science Column by Yuri Gurevich

Contributions by EATCS Award Recipients

Foreword to the contributions by two EATCS award-recipients PDF
Luca Aceto
Data Streams and Applications in Computer Science PDF
David P. Woodruff
Algorithms for Biological Graphs: Analysis and Enumeration PDF
Andrea Marino

News and Conference Reports

News from New Zealand PDF
News from New Zealand by C. S. Calude
Report from the Italian Chapter PDF
Tiziana Calamoneri
Report from the Japanese Chapter PDF
Ryuhei Uehara
Report on ICALP 2014 PDF
Luca Aceto
Report on OPCT 2014 PDF
Marco Bernardo, Daniel Gebler, Michele Loreti
Report on Two events at ICE-TCS, Reykjavik University PDF
Luca Aceto, Magnús M. Halldórsson, Anna Ingólfsdóttir
Report on UCNC 2014 PDF
Hava Siegelmann, Rudolf Freund

Book Introduction by the Authors

BOOK ANNOUNCEMENT: Modeling and Analysis of Communicating Systems PDF
Jan Friso Groote, Mohammad Reza Mousavi, Invited by Luca Aceto