No 102: October 2010

No 102: October 2010

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 2011 PDF
Call for Nominations
The Gödel Prize 2011 PDF
Call for Nominations
The Presburger Award 2011 PDF
Call for Nominations
Obituary: Carl Adam Petri (1926-2010) PDF
Rüdiger Valk

EATCS Columns

Complexity of non-monotonic logics PDF
Michael Thomas, Heribert Vollmer, he Computational Complexity Column, by J. Torán
The Distributed Computing Column PDF
Panagiota Fatourou
Reconfiguring Replicated Atomic Storage: A Tutorial PDF
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 PDF
Marko Vukolić, he Distributed Computing Column, by P. Fatourou
Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach PDF
Hartmut Ehrig, Ulrike Golas, Frank Hermann, The Formal Specification Column, by H. Ehrig
Hilbertian Deductive Systems, Infon Logic, and Datalog PDF
Andreas Blass, Yuri Gurevich, The Logic in Computer Science Column, by Y. Gurevich

Technical Contributions

Ground Term Rewriting PDF
Sandor Vagvolgyi

EATCS News

News from India PDF
Madhavan Mukund
News from Latin America PDF
Alfredo Viola
News from New Zealand PDF
Cristian S. Calude

Reports from Conferences

Report on ICALP 2010 PDF
Manfred Kudlek
Report on BCTCS 2010 PDF
Julian Bradfield, Mary Cryan
Report on CSR 2010 PDF
E.A Hirsh
Report on DLT 2010 PDF
Manfred Kudlek
Report on IWOCA 2010 PDF
Bill Smyth
Report on NCMA 2010 PDF
Manfred Kudlek
Report on WG 2010 PDF
Fedor Fomin

Announcements

Call for Papers special issue on Frontier between Decidability and Undecidability and Related Problems PDF
n/a n/a
Call for papers TAMC 2011 PDF
n/a n/a

Abstracts of PhD thesis

Conjunctive Grammars and equations over Sets of Natural Numbers PDF
Artur Jez

Pictures from Conferences

Pictures from CSR 2010 PDF
E.A. Hirsh