No 105: October 2011

No 105: October 2011

Table of Contents

EATCS Matters

Letter from the President PDF
Burkhard Monien
Letter from the Bulletin Editor PDF
Maria Serna
Report from the EATCS General Assembly PDF
Burkhard Monien
The EATCS Award 2012 PDF
Eugenio Moggi
The Gödel Prize PDF
Mogens Nielsen
The Presburger Award 2012 PDF
Stefano Leonardi

EATCS Columns

Lower bounds based on the Exponential Time Hypothesis PDF
Daniel Lokshtanov, Dániel Marx, Saket Saurabh, The Complexity Column by V. Arvind
The Concurrency Column PDF
Luca Aceto
Interval Temporal Logics: a Journey PDF
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco, The Concurrency Column by L. Aceto
Assertional and Behavioral Approaches to Concurrency PDF
Uri Abraham, he Concurrency Column by Luca Aceto
Programmer-Centric Memory Consistency Modeling PDF
Lisa Higham, Jalal Kawash, Abhijeet Pareek, The Distributed Computing Column by P. Fatourou
Foundations of Finite Symbolic Tree Transducers PDF
Margus Veanes, Nikolaj Bjørner, The Logic in Computer Science Column by Y. Gurevich

Technical Contributions

Addenda to the Survey of Layout Problems PDF
Jordi Petit


News from New Zealand PDF
Cristian S. Calude


Coaching on New Technologies: Programming Workshop Android Applications for Google Phones PDF
Maria J. Blesa, Amalia Duch, Joaquim Gabarro, Hugo Hernández, Maria Serna

Reports from Conferences

Report on ICALP 2011 PDF
Manfred Kudlek
Report on BCTCS 2011 PDF
Achim Jung, Paul Levy
Report on CPM 2011 PDF
Marco Elio Tabacchi
Report on DCM 2011 PDF
Manfred Kudlek
Report on DLT 2011 PDF
Manfred Kudlek
Report on IWOCA 2011 PDF
Bill Smyth
Report on NCMA 2011 PDF
Manfred Kudlek

Abstracts of PhD thesis

Inclusion of Pattern Languages and Related Problems PDF
Dominik D. Freydenberger

Pictures from Conferences

Pictures from CSR 2011 PDF
Manfred Kudlek