No 108: October 2012
Table of Contents
EATCS Matters
| Letter from the President | |
| Luca Aceto |
| Letter from the Bulletin Editor | |
| Maria Serna |
| Report on the EATCS General Assembly 2012 | |
| Burkhard Monien |
| The EATCS Award 2013. Call for nominations | |
| Friedhelm Meyer auf der Heide |
| The Gödel Price 2013. Call for Nominations | |
| Sanjeev Arora |
| The Presburger Award 2013: Call for Nominations | |
| Monika Henzinger |
| In Memoriam Manfred Kudlek (1940-2012) | |
| Peter van Emde Boas |
EATCS Columns
| Complexity of Model Checking for Logics over Kripke models | |
| Arne Meier, Julian-Steffen Müller, Martin Mundhenk, Heribert Vollmer, The Computational Complexity Column by V. Arvind |
| Announcing the 2012 Edsger W. Dijkstra Prize in Distributed Computing | |
| The Edsger W. Dijkstra Prize in Distributed Computing 2012 Committee, The Distributed Computing Column P. Fatourou |
| Identifying Hostile Nodes in Networks Using Mobile Agents | |
| Euripides Markou, The Distributed Computing Column by P. Fatourou |
| Truth vs. Proof in Computational Complexity | |
| Boaz Barak, The Logic in Computer Science Column by Y. Gurevich |
Technical Contributions
| 40th Anniversary of EATCS | |
| Maurice Nivat |
| Thirty Years of Collaboration with Jan van Leeuwen: In Search of Understanding Computation | |
| Jiri Wiedermann |
EATCS News
| News from New Zealand | |
| Cristian S. Calude |
Reports from Conferences
| Report from IWOCA 2012 | |
| Bill Smyth |
| Report from DCFS 2012 | |
| Andreas Malcher |
Announcements
| Book: Graph Structure and Monadic Second-Order Logic. A Language-Theoretic Approach | |
| Bruno Courcelle, Joost Engelfriet |
Abstracts of PhD thesis
| Swarm Intelligence Techniques for Optimization and Management Tasks in Sensor Networks | |
| Hugo Hernández Pibernat |