| 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 |
|
| 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 |
|