Checkout ERCIM News 139 which is focused on Software Security and features a description of our work on polyglot code analysis for Infrastructure as Code!

🚀 Our ICSE paper "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification" is now live on arXiv! 🤖📜 This is a collaboration involving researchers from UC San Diego INESC-ID Instituto Superior Técnico Imperial College London University of Massachusetts 📄 Read here: arxiv.org/abs/2412.14063

New study: An analysis of 400 occupations found that taxi and ambulance drivers had the lowest proportion of deaths from Alzheimer’s—raising the possibility that constant stimulation of the hippocampus, used for navigational and spatial processing, might be protective

Dear PC chairs: Please take a deserved break and enjoy some holidays (even if you don't celebrate Xmas like me). Sending out massive rejection emails on Christmas is such a bad idea! Do we really want students to be sad on Xmas and to work on rejected papers? Merry Christmas !

Coq is moving to its new name Rocq rocq-prover.org ! This is the best theorem prover regarding the formal verification of programs, to ensure critical implementations have no bugs. We will make more educational videos regarding its use in 2025!

Every framework begins as a liberation and ends as a tyranny.

The programmer's tragedy: to seek perfection in a world that demands delivery.

Today's suggested image by Grok was this. Mount Fuji is the most magical place I’ve seen this year. There’s something so special about it that you can’t help but want to keep gazing at its beauty.

Are you a new faculty member in SE? The New Faculty Symposium (NFS) at ICSE offers valuable insights and practical advice for the challenges you will encounter. ICSE attendees are welcome to join. 🗓️ Apr 29 / 📍 Room 201 / 🔗 conf.researchr.org/track/icse-202… #icse2025

"If you have a buggy program, you can fix it or call it AI" --- David Parnas, #ICSE2025 #ICSE

Congrats to all the LASER lab award winners at ICSE 2025!

Throughout the week so far at #icse2025, we’ve seen new ideas take shape and future projects begin ... all thanks to the power of connection. Looking forward to what comes from all the great conversations!

1/ I am saddened to report (from today's print version of Le Monde) the passing away of the great French computer scientist Jean-Raymond Abrial. He is a pioneer in formal methods and their applications, particularly through three major innovations: the "Data Semantics" model,

I’m excited to share that I’ve received an Amazon Research Award on Automated Reasoning! 🥳 The award will support my research on automated program repair for Infrastructure as Code. For more details, see my webpage: joaoff.com

Phil Wadler is currently presenting "Lambda, the Ultimate Teaching Assistant (Agda version)" at the FME Teaching Committee Tutorial Series Formal Methods Europe Zoom link: aboakademi.zoom.us/j/64254430116

Now for our latest books give-away: 38 Classics books to be raffled off for free. Just RT this message, follow us, and we will make the draw on Monday 9 June. 1st name gets 20 books, 2nd 12, 3rd 6. Open to all, good luck! (Will post details and photos of each book this evening.)