Happy to announce that DARE 2024 has obtained support from ACM Europe and emergenCITY, and we have additional spots for the summer school free of charge. We have extended the deadline to apply until 25 June 2024. See all details at: dare-summer.github.io

On my way to PLDI - see you in Copenhagen!

Our presentations at PLDI. Come talk to us!

Great work and great community! Looking forward to an EGraphs workshop again PLDI

CrowdStrike is actively working with customers impacted by a defect found in a single content update for Windows hosts. Mac and Linux hosts are not impacted. This is not a security incident or cyberattack. The issue has been identified, isolated and a fix has been deployed. We

About 50 members of the ICSE 2025 Shadow PC have attended the training provided by Matt Dwyer on "Writing Paper Reviews (That You Would Be Happy to Receive)". In the next few days the Shadow PC members will start applying Matt's advices while writing their reviews...

Opening ECOOP’24 Conference with Jonathan Aldrich Davide Ancona, and Werner M. Dietl Looking forward to a great program! 2024.ecoop.org

ECOOP 2024 is in full swing in Vienna. Check out the awesome set of papers selected by the amazing 2024 PC, co-chaired with Guido Salvaneschi ! Published Diamond Open Access: drops.dagstuhl.de/entities/docum…

Do you work with Ansible? We want to hear from you! 🎯 This study is led by a joint team from Carnegie Mellon University and Instituto Superior Técnico Plus, if you agree to an interview, you'll be entered into a $100 raffle! 💸 Click here to participate: cmu.ca1.qualtrics.com/jfe/form/SV_5a…

ETH CS Department (ETH Zurich) is hiring a tenure-track assistant professor in Theory B: Logic, SMT/SAT, decision procedures, theorem proving, semantics, type systems, etc.; please apply by 15 January 2025! More info at: ethz.ch/en/the-eth-zur…

#prog25 is now inviting workshop proposals. Submit your workshop ideas at the latest by December 1, 2024! Events are accepted on a rolling basis, so please submit your event ideas early. 2025.programming-conference.org/track/prog25-w…

Congrats to Team Italy for the second place in the European Cyber Security Challenge!

Tomorrow Tuesday we will have Haoyi Li speaking at EPFL on "What the com-lihaoyi ecosystem needs from Scala". It's at 12.00 in room BC 420. Open for all.

On my way to POPL 2026 POPL #POPL2025 conf.researchr.org/home/POPL-2025

Very cool logo, very cool city, and together with Thomas Zimmermann we’ll be working hard to put together a cool technical program. Submission deadline is approaching … don‘t miss it! Looking forward to meet many cool people in Rio in 2026 😎

*dis*/equality graphs at POPL :) Congrats! George Zakhour Jahrim Gabriele Cesario and Pascal!