Table of Contents
EATCS Matters
| Letter from the President | |
| Burkhard Monien |
| Letter from the Bulletin Editor | |
| Maria Serna |
| In Memoriam Sheng Yu (1950-2012) | |
| Arto Salomaa |
EATCS Columns
| Ironic Complicity: Satisfiability Algorithms and Circuit Lower Bounds | |
| Rahul Santhanam, he Computational Complexity Column by A. Arvind |
| Understanding Non-Uniform Failure Models | |
| Petr Kuznetsov, The Distributed Computing Column by P. Fatourou |
| Type Inference in Mathematics | |
| Jeremy Avigad, The Logic in Computer Science Column by Y. Gurevich |
EATCS News
| News from Latin America | |
| Alfredo Viola |
| News from New Zealand | |
| Cristian S. Calude |
Reports from Conferences
| Report on AFL 2011 | |
| Manfred Kudlek |
| Report on CS&P 2011 | |
| Manfred Kudlek |
| Report on DISCO 2011 | |
| Andrés Moreira |