No 114: October 2014
Table of Contents
EATCS Matters
| Letter from the President | |
| Luca Aceto |
| Letter from the Bulletin Editor | |
| Kazuo Iwama |
| The EATCS Award 2015 - Call for Nominations | |
| Vladimiro Sassone |
| The Presburger Award 2015 - Call for Nominations | |
| Peter Widmayer |
| EATCS Fellows 2015 - Call for Nominations | |
| Dorothea Wagner |
| EATCS Distinguished Dissertation Award 2014 - Call for Nominations | |
| Giuseppe Persiano |
| Obituary Robert McNaughton 1924 – 2014 | |
| John Corcoran, Paliath Narendran, Wolfgang Thomas |
EATCS Columns
| Multivariate Algorithmics for NP-Hard String Problems | |
| Laurent Bulteau, Falk Hüffner, Christian Komusiewicz, Rolf Niedermeier, The Algorithmics Column by Gerhard J Woeginger |
| Recent Progress on Arithmetic Circuit Lower Bounds | |
| Ramprasad Saptharishi, The Computational Complexity Column by Vikraman Arvind |
| Causal-Consistent Reversibility | |
| Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi, The Concurrency Column by Nobuko Yoshida |
| 6th Workshop on Theory of Transactional Memory | |
| Maria Couceiro, Vincent Gramoli, Paolo Romano, The Distributed Computing Column by Panagiota Fatourou |
| Analog and Hybrid Computation: Dynamical Systems and Programming Languages | |
| 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 | |
| Luca Aceto |
| Data Streams and Applications in Computer Science | |
| David P. Woodruff |
| Algorithms for Biological Graphs: Analysis and Enumeration | |
| Andrea Marino |
News and Conference Reports
| News from New Zealand | |
| News from New Zealand by C. S. Calude |
| Report from the Italian Chapter | |
| Tiziana Calamoneri |
| Report from the Japanese Chapter | |
| Ryuhei Uehara |
| Report on ICALP 2014 | |
| Luca Aceto |
| Report on OPCT 2014 | |
| Marco Bernardo, Daniel Gebler, Michele Loreti |
| Report on Two events at ICE-TCS, Reykjavik University | |
| Luca Aceto, Magnús M. Halldórsson, Anna Ingólfsdóttir |
| Report on UCNC 2014 | |
| Hava Siegelmann, Rudolf Freund |
Book Introduction by the Authors
| BOOK ANNOUNCEMENT: Modeling and Analysis of Communicating Systems | |
| Jan Friso Groote, Mohammad Reza Mousavi, Invited by Luca Aceto |