No 103: February 2011
Table of Contents
EATCS Matters
| Letter from the President | |
| Burkhard Monien |
| Letter from the Bulletin Editor | |
| Maria Serna |
EATCS Columns
| On the Notion of Bit Complexity | |
| Claus Diem, The Computational Complexity Column, by J. Torán |
| Sessions, from Types to Programming Languages | |
| Vasco T. Vasconcelos, The Concurrency Column, by L. Aceto |
| Failure Detectors to Solve Asynchronous k-Set Agreement: a Glimpse of Recent Results | |
| Michel Raynal, The Distributed Computing Column, by P. Fatourou |
| Anatomy and Empirical Evaluation of Modern SAT Solvers | |
| Karem A. Sakallah, Joao Marques-Silva, The Logic in Computer Science Column, by Y. Gurevich |
EATCS News
| The Japanese Chapter | |
| Ryuhei Uehara |
| News from India | |
| Madhavand Mukund |
| News from New Zealand | |
| Cristian S. Calude |
The Puzzle Corner
| The Puzzle Corner | |
| Laurent Rosaz |
Reports from Conferences
| Report on CS&P 2010 | |
| Manfred Kudlek |
Announcements
| Call for papers ICALP 2011 | |
| n/a n/a |
| Call for papers DCFS 2011 | |
| n/a n/a |