EATCS Bulletin Issue 142 is available online

The 142nd issue of the EATCS Bulletin, is now available online at http://bulletin.eatcs.org/index.php/beatcs/index featuring

• Know the Person behind the Papers Today: 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
• Report on AFL 2023 by Bianca Truthe
• Report on CIAA 2023 by Bianca Truthe 
• Report on DCFS 2023 by Bianca Truthe 
• Report on NCMA 2023 by Bianca Truthe 

EATCS Fellows class of 2024 named

The EATCS Fellows Selection Committee has examined the nominations we received for 2024 and has unanimously agreed that the following two colleagues be named as EATCS Fellows 2024:

• Yossi Azar (Blavatnik School of Computer Science, Tel-Aviv University, Israel; https://www.cs.tau.ac.il/~azar/) for "many seminal contributions to the study of online and approximation algorithms, and for his long-standing service to the community."
• Friedhelm Meyer auf der Heide (Heinz Nixdorf Institute and Department of Computer Science, Paderborn University, Germany; https://www.uni-paderborn.de/person/15523) for "influential contributions to algorithmic and complexity-theoretic problems in parallel computing, communication and data management in networks, network dynamics, algorithms in computer graphics, and probabilistic analysis."

GandALF 23

The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) will be held in Udine (Italy) on September 18-20, 2023.

Nerode Prize 2024 - Call for Nominations

The EATCS-IPEC Nerode Prize for outstanding papers in the area of multivariate algorithmics is presented annually, with the presentation taking place at IPEC (International Symposium on Parameterized and Exact Computation). The Prize is named in honor of Anil Nerode in recognition of his major contributions to mathematical logic, theory of automata, computability, and complexity theory.

IPEC 2024 will take place as part of ALGO 2024 on 4–6 September 2024 at Royal Holloway, United Kingdom.

The prize was awarded for the first time in 2013.

22nd LA/EATCS-Japan Presentation Award

The 22nd LA/EATCS-Japan Workshop on Theoretical Computer Science was held on February 19 - February 21, 2024, and Mr. Nobutaka Shimizu (Tokyo Institute of Technology), Title: Analysis of Voting Process from Martingale Concentration, was selected for the 22nd LA/EATCS-Japan Presentation Award

http://www.dais.is.tohoku.ac.jp/eatcs_japan/

Results of EATCS Council Elections 2023

155 EATCS members voted and the EATCS Council approved the outcome of the election. The new elected members of the EATCS council are (in alphabetical order):

• Antoine Amarilli (France)
• Ivona Bezakova (USA)
• Anne Driemel (Germany)
• Inge Li Goertz (Denmark)
• Anca Muscholl (France)
• Charles Paperman (French)
• Szymon Torunczyk (Poland)
• Bianca Truthe (Germany)

We welcome all new members of the Council, who have been elected with the term until summer 2027.