No 110: June 2013

No 110: June 2013

Table of Contents

EATCS Matters

Letter from the President PDF
Luca Aceto
Letter from the Bulletin Editor PDF
Maria Serna
The EATCS Award 2013 PDF
EATCS Award Committee
The Gödel Prize 2013 PDF
The Gödel Prize Committee
The Presburger Award 2013 PDF
The Presburger Award Committee

EATCS Columns

Computing with Advice: when Knowledge Helps PDF
Stefan Dobrev, Rastislav Kralovic, Richard Kralovic, The Distributed Computing Column, by P. Fatourou
From Reversible Logic Gates to Universal Quantum Bases PDF
Alex Bocharov, Krysta M. Svore, The Logic in Computer Science Column, by Y. Gurevich

Technical Contributions

The H-index can be Easily Manipulated PDF
Bart de Keijzer, Krzysztof R. Apt


The Japanese Chapter PDF
Ryuhei Uehara
News from New Zealand PDF
Cristian S. Calude

Reports from Conferences

Report on StringMasters 2013 PDF
Zsuzsanna Liptak

Abstracts of PhD thesis

Invariant-Free Deduction Systems for Temporal Logic PDF
Jose Gaintzarain
On the Complexity of Resolution-based Proof Systems PDF
Sergi Oliva