No 111: October 2013

No 111: October 2013

Table of Contents

EATCS Matters

Letter from the President PDF
Luca Aceto
Letter from the Bulletin Editor PDF
Kazuo Iwama
Report on the General Assembly 2013 PDF
Luca Aceto
The EATCS Award 2014 - Call for nominations PDF
Leslie Ann Goldberg
The Gödel Prize 2014 - Call for Nominations PDF
Giuseppe F. Italiano
The Presburger Award 2014 - Call for Nominations PDF
Antonin Kucera
Call for Nominations For EATCS - Fellows 2014 PDF
Anca Muscholl

EATCS Columns

The Alon-Roichman Theorem PDF
Vikraman Arvind, The Computational Complexity Column by V. Arvind
An Introductory Tutorial to Concurrency-Related Distributed Recursion PDF
Sergio Rajsbaum, Michel Raynal, The Distributed Computing Column by P. Fatourou
Recent Trends in Descriptional Complexity of Formal Languages PDF
Martin Kutrib, Giovanni Pighizzini, The Formal Language Theory Column by Giovanni Pighizzini
When is A=B? PDF
Anja Gruünheid, Donald Kossmann, Besmira Nushi, The Logic in Computer Science Column by Yuri Gurevich

Contributions by EATCS Award Recipients

A Few Lessons I’ve Learned PDF
Erik D. Demaine
Convergence Issues in Congestion Games PDF
Luca Moscardelli
Secure Computation Under Network and Physical Attacks PDF
Alessandra Scafuro
Expressive power of Constraint Handling Rules extensions and fragments PDF
Jacopo Mauro

News and Conference Reports

Report on ICALP 2013 PDF
Luca Aceto
Report from ICTCS 2013 PDF
Tiziana Calamoneri
Report on CALCO 2013 PDF
Alexandra Silva, Pawel Sobocinski
Report on Highlights 2013 PDF
Szymon Torunczyk
Inside the Simons Institute PDF
Dominik Scheder