EATCS Bulletin Issue 145 is available online

The 145th 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: Antoine Amarilli - The Interview Column by Chen Avin and Stefan Schmid
• Behind the Scenes of TCS+: Talks, Research, and Community Efforts - TCS on the Web by Stefan Neumann
• Data Compression Meets Automata Theory - Nicola Cotumaccio, The Algorithmics Column by Ioana O. Bercea and Thomas Erlebach
• On the limits of distributed quantum computing - Francesco d’Amore, The Distributed Computing Column by Seth Gilbert
• Range Avoidance and the Complexity of Explicit Constructions - Oliver Korten, The Computational Complexity Column by Michal Koucky
• Logic for Systems: A Gradual Introduction to Formal Methods - Shriram Krishnamurthi, Tim Nelson, The Education Column by Dennis Komm and Thomas Zeume

You can download a pdf with the printed version of the bulletin from http://www.eatcs.org/images/bulletin/beatcs145.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