No 142: February 2024
No 142: February 2024
Table of Contents
EATCS Matters
| Letter from the President | |
| Artur Czumaj |
| Letter from the Editor | |
| Stefan Schmid |
EATCS Columns
| Know the Person behind the Papers: Laura Kovács | |
| The Interview Column by Chen Avin and Stefan Schmid |
| Know the Person behind the Papers Today: Moshe Vardi | |
| The Interview Column by Chen Avin and Stefan Schmid |
| Teaching Formal Foundations of Computer Science with Iltis | |
| Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume, The Education Column by Juraj Hromkovic and Dennis Komm |
| Possibility Tracking: A Simple Technique for Machine-verifying Lock-free Data Structures | |
| Siddhartha Jayanti, The Distributed Computing Column by Seth Gilbert |
News and Conference Reports
| Report on AFL 2023 | |
| Bianca Truthe |
| Report on CIAA 2023 | |
| Bianca Truthe |
| Report on DCFS 2023 | |
| Bianca Truthe |
| Report on NCMA 2023 | |
| Bianca Truthe |