ECOOP '26 @ecoop-conference.bsky.social ECOOP is Europe’s longest-standing annual Programming Languages conference!
The 2026 edition is hosted at Vrije Universiteit Brussel, Brussels, Belgium from June 29th to July 3rd. See you there!
#ECOOP #ECOOP26
https://2026.ecoop.org
npapoylias @npapoylias.bsky.social Programming Languages & Tools, AI, Simulation, Reflection, Debugging.
Director of Research 🚀 Bringing the Future Back !
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Formal Methods Europe @formalmtds.bsky.social Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Handshake (HNS) @handshake.bsky.social The Open Source Rootzone
Protocol: handshake.org
Guides & Docs: https://hsd-dev.org
Telegram: t.me/handshake_hns
Developer's Telegram: t.me/hns_tech
Repo: github.com/handshake-org
#HNS #Handshake #FOSS
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability. 
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.