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

You can download a pdf with the printed version of the bulletin from http://www.eatcs.org/images/bulletin/beatcs142.pdf

We would also like to remind you that as an EATCS member, you have access to the members area which contains news and related articles. Young researchers can find announcements of open positions, news and related articles.

To find out the latest information on EATCS news, activities, conferences, and much more, find us via social media:

facebook page: https://www.facebook.com/eatcs
X: http://twitter.com/eatcs_secretary
Linkedin EATCS group: http://www.linkedin.com/groups?gid=3412855
EATCS - Young researchers Linkedin group: http://www.linkedin.com/groups?gid=3520564