No 103: February 2011

No 103: February 2011

Table of Contents

EATCS Matters

Letter from the President PDF
Burkhard Monien
Letter from the Bulletin Editor PDF
Maria Serna

EATCS Columns

On the Notion of Bit Complexity PDF
Claus Diem, The Computational Complexity Column, by J. TorĂ¡n
Sessions, from Types to Programming Languages PDF
Vasco T. Vasconcelos, The Concurrency Column, by L. Aceto
Failure Detectors to Solve Asynchronous k-Set Agreement: a Glimpse of Recent Results PDF
Michel Raynal, The Distributed Computing Column, by P. Fatourou
Anatomy and Empirical Evaluation of Modern SAT Solvers PDF
Karem A. Sakallah, Joao Marques-Silva, The Logic in Computer Science Column, by Y. Gurevich


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

The Puzzle Corner

The Puzzle Corner PDF
Laurent Rosaz

Reports from Conferences

Report on CS&P 2010 PDF
Manfred Kudlek


Call for papers ICALP 2011 PDF
n/a n/a
Call for papers DCFS 2011 PDF
n/a n/a