No 107: June 2012

No 107: June 2012

Table of Contents

EATCS Matters

Letter from the President PDF
Burkhard Monien
Letter from the Bulletin Editor PDF
Maria Serna
The EATCS Award 2012 PDF
EATCS Award Committee
The Gödel Prize 2012 PDF
Gödel Prize Committee
The Presburguer Award 2012 PDF
Presburguer Award Committee

EATCS Columns

Around and Beyond the Isomorphism Problem for Interval Graphs PDF
Johannes Köbler, Sebastian Kuhnert, Oleg Verbitsky, The Computational Complexity Column, by V. Arvind
Programming with SpecTM PDF
Tim Harris, Aleksandar Dragojevic, The Distributed Computing Column, by P. Fatourou
Classes of Algorithms: Formalization and Comparison PDF
Serge Grigorieff, Pierre Valarcher, The Logic in Computer Science Column, by Y. Gurevich

Technical Contributions

Shuffling and Unshuffling PDF
Dane Henshall, Narad Rampersad, Jeffrey Shallit
Report on BCTCS 2012 PDF
Ian Pratt-Hartmann

EATCS News

Report from the Japanese Chapter PDF
Ryuhei Uehara
News from Latin America PDF
Alfredo Viola
News from New Zealand PDF
Cristian Calude

Abstracts of PhD thesis

The Complexity of Angel-Daemons and Game Isomorphism PDF
Alina García-Chacón