No 102: October 2010
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 2011 | |
| Call for Nominations |
| The Gödel Prize 2011 | |
| Call for Nominations |
| The Presburger Award 2011 | |
| Call for Nominations |
| Obituary: Carl Adam Petri (1926-2010) | |
| Rüdiger Valk |
EATCS Columns
| Complexity of non-monotonic logics | |
| Michael Thomas, Heribert Vollmer, The Computational Complexity Column, by J. Torán |
| The Distributed Computing Column | |
| Panagiota Fatourou |
| Reconfiguring Replicated Atomic Storage: A Tutorial | |
| Marcos K. Aguilera, Idit Keidar, Dahlia Malkhi, Jean-Philippe Martin, Alexander Shraer, he Distributed Computing Column, by P. Fatourou |
| Remarks: The Origin of Quorum Systems | |
| Marko Vukolić, he Distributed Computing Column, by P. Fatourou |
| Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach | |
| Hartmut Ehrig, Ulrike Golas, Frank Hermann, The Formal Specification Column, by H. Ehrig |
| Hilbertian Deductive Systems, Infon Logic, and Datalog | |
| Andreas Blass, Yuri Gurevich, The Logic in Computer Science Column, by Y. Gurevich |
Technical Contributions
| Ground Term Rewriting | |
| Sandor Vagvolgyi |
EATCS News
| News from India | |
| Madhavan Mukund |
| News from Latin America | |
| Alfredo Viola |
| News from New Zealand | |
| Cristian S. Calude |
Reports from Conferences
| Report on ICALP 2010 | |
| Manfred Kudlek |
| Report on BCTCS 2010 | |
| Julian Bradfield, Mary Cryan |
| Report on CSR 2010 | |
| E.A Hirsh |
| Report on DLT 2010 | |
| Manfred Kudlek |
| Report on IWOCA 2010 | |
| Bill Smyth |
| Report on NCMA 2010 | |
| Manfred Kudlek |
| Report on WG 2010 | |
| Fedor Fomin |
Announcements
| Call for Papers special issue on Frontier between Decidability and Undecidability and Related Problems | |
| n/a n/a |
| Call for papers TAMC 2011 | |
| n/a n/a |
Abstracts of PhD thesis
| Conjunctive Grammars and equations over Sets of Natural Numbers | |
| Artur Jez |
Pictures from Conferences
| Pictures from CSR 2010 | |
| E.A. Hirsh |