No 105: October 2011
Table of Contents
EATCS Matters
| Letter from the President | |
| Burkhard Monien |
| Letter from the Bulletin Editor | |
| Maria Serna |
| Report from the EATCS General Assembly | |
| Burkhard Monien |
| The EATCS Award 2012 | |
| Eugenio Moggi |
| The Gödel Prize | |
| Mogens Nielsen |
| The Presburger Award 2012 | |
| Stefano Leonardi |
EATCS Columns
| Lower bounds based on the Exponential Time Hypothesis | |
| Daniel Lokshtanov, Dániel Marx, Saket Saurabh, The Complexity Column by V. Arvind |
| The Concurrency Column | |
| Luca Aceto |
| Interval Temporal Logics: a Journey | |
| Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco, The Concurrency Column by L. Aceto |
| Assertional and Behavioral Approaches to Concurrency | |
| Uri Abraham, he Concurrency Column by Luca Aceto |
| Programmer-Centric Memory Consistency Modeling | |
| Lisa Higham, Jalal Kawash, Abhijeet Pareek, The Distributed Computing Column by P. Fatourou |
| Foundations of Finite Symbolic Tree Transducers | |
| Margus Veanes, Nikolaj Bjørner, The Logic in Computer Science Column by Y. Gurevich |
Technical Contributions
| Addenda to the Survey of Layout Problems | |
| Jordi Petit |
EATCS News
| News from New Zealand | |
| Cristian S. Calude |
Miscellaneous
| Coaching on New Technologies: Programming Workshop Android Applications for Google Phones | |
| Maria J. Blesa, Amalia Duch, Joaquim Gabarro, Hugo Hernández, Maria Serna |
Reports from Conferences
| Report on ICALP 2011 | |
| Manfred Kudlek |
| Report on BCTCS 2011 | |
| Achim Jung, Paul Levy |
| Report on CPM 2011 | |
| Marco Elio Tabacchi |
| Report on DCM 2011 | |
| Manfred Kudlek |
| Report on DLT 2011 | |
| Manfred Kudlek |
| Report on IWOCA 2011 | |
| Bill Smyth |
| Report on NCMA 2011 | |
| Manfred Kudlek |
Abstracts of PhD thesis
| Inclusion of Pattern Languages and Related Problems | |
| Dominik D. Freydenberger |
Pictures from Conferences
| Pictures from CSR 2011 | |
| Manfred Kudlek |