No 110: June 2013
Table of Contents
EATCS Matters
| Letter from the President | |
| Luca Aceto |
| Letter from the Bulletin Editor | |
| Maria Serna |
| The EATCS Award 2013 | |
| EATCS Award Committee |
| The Gödel Prize 2013 | |
| The Gödel Prize Committee |
| The Presburger Award 2013 | |
| The Presburger Award Committee |
EATCS Columns
| Computing with Advice: when Knowledge Helps | |
| Stefan Dobrev, Rastislav Kralovic, Richard Kralovic, The Distributed Computing Column, by P. Fatourou |
| From Reversible Logic Gates to Universal Quantum Bases | |
| Alex Bocharov, Krysta M. Svore, The Logic in Computer Science Column, by Y. Gurevich |
Technical Contributions
| The H-index can be Easily Manipulated | |
| Bart de Keijzer, Krzysztof R. Apt |
EATCS News
| The Japanese Chapter | |
| Ryuhei Uehara |
| News from New Zealand | |
| Cristian S. Calude |
Reports from Conferences
| Report on StringMasters 2013 | |
| Zsuzsanna Liptak |
Abstracts of PhD thesis
| Invariant-Free Deduction Systems for Temporal Logic | |
| Jose Gaintzarain |
| On the Complexity of Resolution-based Proof Systems | |
| Sergi Oliva |