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/

Eighth International Workshop on Formal Methods for Autonomous Systems

The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...

fmasworkshop.github.io

Slightly increase a band As much as Jake

Carlo A. Furia@bugcounting.net · 4mo ago

Slightly increase a band Ariana Venti

Slightly increase a band Ariana Venti

Joe Gibbs Politz@joepolitz.bsky.social · 4mo ago

Slightly increase a band Alkaline Milk Hotel

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/

ETAPS Joint Call for Papers

Copenhagen, Denmark, April 10–15, 2027

etaps.org

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

The State of Peer Review in Empirical Software Engineering

For our regular SEN-ESE column in the ACM SIGSOFT Software Engineering Notes (see https://dl.acm.org/doi/abs/10.1145/3772008.3772012), we would like to discuss insights into the current state of peer ...

forms.gle

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

Tony Hoare (1934-2026)

Turing Award winner and former Oxford professor  Tony Hoare passed away last Thursday at the age of 92. Hoare is famous for quicksort, ALGO...

blog.computationalcomplexity.org

👇

Shriram Krishnamurthi@shriram.bsky.social · 6mo ago

"[CG26]" is a noun, folks. Let's just get on with it. The more people complain about this the more and more inclined I am to just treat it as a noun in papers going forward. Requiring "Canonne and Grochow [CG26] show" as opposed to "[CG26] shows" is pointless pedantry. ↵

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...

Conference rankings and the FM symposium

This survey collects the opinions of members of the formal methods community about conference rankings, and the ICORE rankings in particular. It has been organized by the board of Formal Methods Europ...

forms.gle

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...

FM 2027: Call for Organizers · Formal Methods Europe

FME is now inviting proposals to host the 28th edition of the International Symposium on Formal Methods in autumn 2027. Since FM 2026 will take place in Asia, FM 2027 should preferably be held in…

fmeurope.org

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

FM 2026: Call for Papers · Formal Methods Europe

FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on,…

fmeurope.org

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

FM 2026

FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

conf.researchr.org

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:

FM 2026 - FM 2026

FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

conf.researchr.org

🚨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/

Seventh International Workshop on Formal Methods for Autonomous Systems

fmasworkshop.github.io

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

Seventh International Workshop on Formal Methods for Autonomous Systems

buff.ly

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

Seventh International Workshop on Formal Methods for Autonomous Systems

buff.ly

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

USI at the Osaka Expo, thanks to CodeLounge

The World Expo is taking place in Osaka from 13 April to 13 October. Switzerland has a pavilion featuring a narrative installation blending art and science, created by CodeLounge, part of the Software...

usi.ch

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