EATCS Bulletin Issue 149 is available online
The 149th 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: Nancy Lynch, The Interview Column by Chen Avin and Stefan Schmid
- Adding "Verified" Badges to Our Paper, One Lemma at a Time, Matthias Függer, Thomas Nowak, The Viewpoint Column by Anca Muscholl and Stefan Schmid
- Disordered Reflections, Michel Raynal, The Viewpoint Column by Anca Muscholl and Stefan Schmid
- Decentralized Thoughts: Blogging Consensus, Blockchains, and Cryptography, TCS on the Web by Stefan Neumann
- Assisted computations: Inner view, Yuri Gurevich, The Logic in Computer Science Column by Anuj Dawar
- "Good In Theory: How Do LLMs Perform In a Theory Course?", Moritz Stocker, Dennis Komm, The Education Column by Dennis Komm and Thomas Zeume
- Decision Problems for Global Protocol Specifications, Elaine Li, The Concurrency Column by Marino Miculan and Nobuko Yoshida
- Typing Scalas-Yoshida Benchmarks, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, The Concurrency Column by Marino Miculan and Nobuko Yoshida
- Conference report on STACS 2026, Conference Reports Column by Laurent Feuilloley, Antoine Amarilli, Nicolas Bousquet, Justine Cauvi, Ugo Giocanti
You can download a pdf with the printed version of the bulletin from http://www.eatcs.org/images/bulletin/beatcs149.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
|
