| Letter from the President |
PDF
|
|
Burkhard Monien |
3-5 |
| Letter from the Bulletin Editor |
PDF
|
|
Maria Serna |
6-6 |
| In Memoriam Sheng Yu (1950-2012) |
PDF
|
|
Arto Salomaa |
7-10 |
| Ironic Complicity: Satisfiability Algorithms and Circuit Lower Bounds |
PDF
|
|
Rahul Santhanam, The Computational Complexity Column by A. Arvind |
31-52 |
| Understanding Non-Uniform Failure Models |
PDF
|
|
Petr Kuznetsov, The Distributed Combuting Column by P. Fatourou |
53-77 |
| Type Inference in Mathematics |
PDF
|
|
Jeremy Avigad, The Logic in Computer Science Column by Y. Gurevich |
78-98 |
