Daniel Kroening sharing his (and his employer’s) opinions on where we are in our journey from static analysers and LLMs and where/why we still want checkers (not: verifiers). #fm2026

Save the date: #FMAS2026 will take place on 17–18 November 2026 in Southampton, UK, co-located with ICFEM 2026. We welcome work on formal methods for autonomous systems. Website: fmasworkshop.github.io/FMAS2026/

Slightly increase a band As much as Jake

Slightly increase a band Ariana Venti

The ETAPS 2027 Joint Call for Papers is out! Check the deadlines, especially the first ESOP submission deadline set to May 28, 2026! etaps.org/2027/cfp/

The State of Peer Review in Empirical Software Engineering If you review papers in software engineering, answer this survey at forms.gle/S8qVvF4TLTKa...

Do you want to be my new colleague in Stuttgart? We opened a tenured professor position for researchers in Programming Languages. So, if you are working in this field, please consider applying. If you are not in this field, please repost and boost. 📣 www.f05.uni-stuttgart.de/en/faculty/n...

blog.computationalcomplexity.org/2026/03/tony... it was going to happen, death comes for us all. but man. what a legend

👇

Together with @mrjimmyblack.com (and Claude) we developed a tool that helps detecting hallucinated references in academic papers! This evolved from a simple python script into a full system written in Rust to quickly go through thousands of citations. Check it out! github.com/gianlucasb/h...

@formalmtds.bsky.social We are collecting the opinion of the formal methods community about the role of conference rankings (in particular for the FM symposium). If you're part of the formal methods community, we'd love to hear your opinion (it only takes 5 minutes) forms.gle/NwqWVx7R8mtA...

We are organizing the third edition of the "Fuzzing and Software Security Summer School 2026", at NUS on 26th–29th May 2026. We have a stellar set of speakers and will also have a Hackathon. Please share, and/or consider joining! fuzzingsummerschool.github.io/index.html

another robot highlight for 2025: man wearing humanoid mocap suit kicks himself in the balls

FME is inviting proposals to host the 28th International Symposium on Formal Methods in Autumn 2027 (#FM2027), preferably in Europe Dates * Optional 01 Dec 2025: Expression of Interest * 15 Jan 2026: Proposals * 15 Feb 2026: Notification Details: www.fmeurope.org/2025/09/14/f...

General chair @caterinaurban.bsky.social opening #ifm25 at Inria Paris with PC chairs Ferruccio Damiani and Marie Farrell. 1/2

Reminder of the preferred approach when sharing arXiv preprint links

📣 We are #hiring a tenure-track Assistant #Professor in Theoretical Data Science and Machine Learning - find out more and #apply now! 👉https://content.usi.ch/sites/default/files/storage/attachments/inf/inf-assistant-professor-dsml-2025.pdf #TheoreticalDataScience #MachineLearning #Switzerland

🚀 The 14th FormaliSE conference is coming to #ICSE2026! A unique venue at the intersection of #FormalMethods & #SoftwareEngineering — from requirements to verification, safety, AI, and real-world applications. 🔗 Join the community: bit.ly/4nqwiCL #FormaliSE2026

Formal Methods Europe @formalmtds.bsky.social is looking for proposals to host the Formal Method symposium in autumn 2027 (or later years). You're welcome to get in touch with FME's board if you have any questions. Proposal are due by 15 January 2026. www.fmeurope.org/2025/09/14/f...

New Post: Call for Papers for #FM2026 FME's 27th International Symposium on Formal Methods, this year in Tokyo. Papers due on 2nd of Dec 2025 (AoE) with special tracks on Tests & Proofs and Tutorials, plus Industry Day and the Doctoral Symposium. www.fmeurope.org/2025/04/10/f... #FormalMethods

This year, the Formal Methods Symposium will be in Tokyo, 20th to 22nd of May 2026. FM2026 is interested in work that develops and applies #FormalMethods in a wide range of domains. Abstracts: 25th Nov, 2025 (AoE) Papers: 2nd Dec 2025 (AoE) Details: conf.researchr.org/home/fm-2026 #FM2026

Registration for #iFM2025 and its affiliated events is now open! ifm2025.ens.psl.eu/registration/

🚀 #SIESTA2025 is live! The 5th International Software Engineering Summer School has kicked off! Over three days, top researchers will cover topics like ML4SE, Test Case Generation, Empirical Studies, Impostor Syndrome, and LLM! More info: siesta.si.usi.ch/2025

At the upcoming IEEE 2025 Conference on Games 🎮, @andreamocci.bsky.social will present our joint work: "What makes a level hard in Mario Maker 2?" Definitely an unusual topic for a publication of mine! This short 🧵 explains what's that about. cog2025.inesc-id.pt/accepted-pap... #cog25 1/6

The 27th Symposium on Formal Methods CfP If your work develops or applies #FormalMethods then #FM2026 is probably interested! Dates (AoE) * Papers 2nd Dec 2025 * Conference 20th–22nd May 2026 Gold open access proceedings Details:

🚨Deadline Extension The deadline for #FMAS2025 is now the 28th of August (Anywhere on Earth) Workshop: 17th - 19th Nov 2025 Send us papers applying #FormalMethods to almost any kind of #Autonomous System More details: fmasworkshop.github.io/FMAS2025/

Do you work with automated, semi-autonomous, or fully autonomous systems? Then submit your paper to our workshop! We are co-located with iFM 2025. Deadline: 22nd Aug 2025 (Anywhere on Earth) Notification: 6th Oct 2025 Workshop: 17th-19th of Nov 2025 (#iFM2025) Details: buff.ly/VZaDX0m #FMAS2025

Do you work with automated, semi-autonomous, or fully autonomous systems? Then submit your paper to our workshop! We are co-located with iFM 2025. Deadline: 22nd Aug 2025 (Anywhere on Earth) Notification: 6th Oct 2025 Workshop: 17th-19th of Nov 2025 (#iFM2025) Details: buff.ly/VZaDX0m #FMAS2025

USI at #ExpoOsaka2025, thanks to CodeLounge. Check out the installation implemented by CodeLounge from our @si.usi.ch, @inf.usi.ch at the Swiss Pavilion! @robertominelli.com, @andreamocci.bsky.social 👉 www.usi.ch/en/feeds/31719

Are you looking for the best summer school in Software Engineering? Join us in Lugano this summer for #SIESTA2025 🏝️ 📝 Sign up today at siesta.si.usi.ch/2025/ @icseconf.bsky.social #ICSE2025 #ICPC2025 #MSR2025

FMAS is back for 2025! We are interested in work that applies Formal Methods to almost any kind of autonomous system Deadline: 22nd Aug 2025 (Anywhere on Earth) Notification: 6th Oct 2025 Workshop: 17th-19th of Nov 2025 (@iFMconf) Details: fmasworkshop.github.io/FMAS2025/ #FMAS2025

Two updates: 1) early registration for physical attendees has been extended to April 1 and late registration to April 18, and 2) travel grant information is available on the VerifyThis website (verifythis.ethz.ch), apply by April 8. Hope to see you there!

Our department in lovely Freiburg has an opening for a Full Professorship (W3) on Software Engineering (succession of Andreas Podelski) with a more technical and formal focus uni-freiburg.de/en/job/00004...

Has anyone backed up the arxiv to @ipfs.tech ?

📣 We are #hiring a tenure-track Assistant #Professor in Information and Computer #Security - find out more and #apply now! 👉 recruitment.usi.ch/positiondeta...

🚀 We’re gearing up for #SIESTA2025, the coolest summer school in #SoftwareEngineering that will take place in Lugano 🇨🇭 on Aug 27–29, 2025! We'll cover a broad range of topics, with a special focus on #AI for Software Engineering (#AI4SE). Stay tuned! 🔥 siesta.si.usi.ch/2025/

So impressed by the JOSS publication model. The whole process is run on GitHub! Reviews are submitted as issues! github.com/openjournals... Who needs big publishers. If there were a way to introduce anonymity into the reviewing process (surely possible), this is the way forward imho.

VerifyThis is a series of program verification competitions bringing together those interested in formal verification. The 2025 edition will be held as a hybrid workshop with ETAPS. Early registration for physical attendees is open until Feb. 28. For more information see verifythis.ethz.ch. 1/2

Interested in software engineering education? Consider submitting your work to the LEARNER 2025 workshop, co-located with EASE in Instanbul this June! conf.researchr.org/home/ease-20...

Taylor-Joy is when one gets excited about a linear approximation.

The Swiss Verification Day is in full swing at USI on Lugano. #svd2025

Siesta 2025 is coming: 5th Software Engineering Summer School, August 27-29, Lugano, Switzerland. Stay tuned! siesta.si.usi.ch/2025/

Software Engineering researcher? We're hiring at the Assistant Professor level. Come join one of the largest and best SE groups in the world, in a fantastic research and teaching environment: web103.reachmee.com/ext/I005/103...

If there's one lesson to be learned from the DeepSeek story, when it comes to hardware vs algorithms, always bet on the algorithms.

We will hold the Fuzzing and Software Security Summer School 2025 in Singapore from May 26 to 30. Please consider registering or sharing the info with anyone you think would be interested. Registration will be open until 16 Feb. fuzzing.comp.nus.edu.sg @abhikrc.bsky.social @umathur.bsky.social

Thomas Wies (NYU) and I are organizing the 2025 edition of the VerifyThis competition and we are currently looking for interesting academic or industry verification problems. The deadline for submission is Feb. 7. See the call for problems for more information: www.pm.inf.ethz.ch/research/ver....

Get your ECOOP papers ready for the new year! ECOOP'25, held in Bergen, Norway, solicits practical and theoretical investigations of programming languages, systems and environments. Round 1 submissions are due January 6 AoE: 2025.ecoop.org/track/ecoop-...

EUGAIN is organizing the memorial for Barbora (Bara) Buhnova, an amazing software engineering researcher and person, a role model to many. Everyone is invited to join us in honouring Bara’s short but remarkable life on 19 Dec, 14:00-15:00 CET via Teams meeting. eugain.eu/news/remembe...

"Simpsons Roasting on an Open Fire” aired 35 years ago, today.

In 2025 (less than 30 days away), PayPal will start selling your transaction history for targeted advertising. I very highly recommend logging into your account and going to Settings > Data & Privacy > Personalized Shopping. If you're reading this, turn that off RIGHT NOW before you forget.