Bulletin of EATCS


No 124: February 2018

No 124: February 2018

Table of Contents

EATCS Matters

Letter from the President PDF
Paul Spirakis
Letter from the Bulletin Editor PDF
Kazuo Iwama
Alonzo Church Award 2018 - Call for Nominations PDF
Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon Plotkin, Natarajan Shankar
Obituary for Tom Head PDF
Natasha Jonoska, Gheorghe Paun, Grzegorz Rozenberg

EATCS Columns

Adding Concurrency to Smart Contracts PDF
Thomas Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen, The Distributed Computing Column by Stefan Schmid
The Big Ideas in Computer Science for K-12 Curricula PDF
Tim Bell, Paul Tymann, Amiram Yehudai, The Education Column by Juraj Hromkovic
Who needs category theory? PDF
Andreas Blass, Yuri Gurevich, The Logic in Computer Science Column by Yuri Gurevich

Technical Contributions

Five Proofs of Chernoff’s Bound with Applications PDF
Wolfgang Mulzer

Abstracts of PhD thesis

On the Computational Power of Simple Dynamics PDF
Emanuele Natale