⏳ FLoC 2026 Deadlines Coming! 📆 Jan 15+22 (LICS) 📆 Jan 23+30 (FSCD) 📆 Jan 24+31 (ICLP) 📆 Jan 28 (CAV) 📆 Jan 29 (CSF) 📆 Feb 6+13 (IJCAR) 📆 Feb 8+13 (KR) 📆 Feb 12+19 (ITP) 📆 Feb 20+27 (SAT) 📆 Feb 28+Mar 7 (CP) Learn more: www.floc26.org #FLoC2026 #LogicInCS

My colleague called LLMs “the modern horoscope”, and it’s now my favorite definition 😁

**Call for Scholarship Applications** Limited travel support available for students attending #FLoC26 Mentoring Workshop @floc2026.bsky.social. Deadline: 13 April, 2026 Apply at: forms.gle/89q9AaNfZV3f... Notification: 20 April, 2026 Help us spread the word! More details: tinyurl.com/floc26mw

Curious about #robots inspired by insects? 🤖 Later this season, I'll be chatting to Prof. Andrew Philippides from @sussex.ac.uk about what we can learn from ants and bees to improve robot navigation. Send me your questions for Andy in the comments below!

Wait, what?! Grammarly made an AI persona of me and all these other journalists?!!!!! Thank you @caseynewton.bsky.social for shaming them into at least offering a paltry optout— although obviously that is not enough. www.platformer.news/grammarly-ex...

Last chance to send me your questions for Simona! What would you love to know about ocean observation robots?

We have 'retired' the #FMAS Twitter account. So if you're seeing this, then you're still in the right place to keep up to date with all things FMAS! We also have a LinkedIn group (www.linkedin.com/groups/10019... ) if you're so inclined, but we're still working out what to do with it. #FMAS2026

I've discovered 255 Bluesky users from my social network using the Sky Follower Bridge, which has been really useful. Hopefully that is the most active people, now that we have 'retired' the #FMAS Twitter account. Sky Follower Bridge: share.sky-follower-bridge.dev?q=255 #skyfollowerbridge

i think enthusiastic LLM use is mostly a stack of cognitive biases, unacknowledged plagiarism, and unmet needs in a trenchcoat but also my main objections aren't about them being bad at tasks so i don't care if you think they've gotten better at it

It is kind of suspicious that the only people I see actively defending LLMs as morally neutral seem to have very specific career incentives to do so. Especially in the academy!

Out now! Morgan’s Formal Methods, Informally | An undergraduate textbook showing how to use formal methods informally, without formal logic, to write and maintain computer programs. Find out more: ☑️ https://cup.org/4rMx5A4

Formal Methods in Robot Policy Learning and Verification: A Survey on Current Techniques and Futu... Anastasios Manganaris, Vittorio Giammarino, Ahmed H Qureshi, Suresh Jagannathan Action editor: Oleg Arenz https://openreview.net/forum?id=DZkikdg5sl #policies #robot #policy

Got questions about #robots for ocean observation? 🤖 Later this season, I'll be chatting to Dr. Simona Aracri from the National Research Council of Italy about innovative robot designs for oceanography and environmental monitoring. Send me your questions for Simona in the comments below!

Thanking Last Year’s Partners & Calling New Partners for 2026 🌟

#FM2026 will also host the FM Doctoral Symposium, for PhD students to present and discuss their work on #Formal Methods, meet other PhD students, get early feedback, and talk with senior academics about research and career strategy. Details at:

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

New Book Review: Patrizio Pelliccione reviews Andrzej Wasowski and Thorsten Berger's book "Domain-Specific Languages – Effective Modeling, Automation, and Reuse" www.fmeurope.org/2025/11/26/b... #FormalMethods

New Book Review Thao Dang reviews Chuchu Fan''s book "Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications" www.fmeurope.org/2025/11/26/b... #FormalMethods

And with that amazing session, it's time for us to bid farewell! 🙁 #FMAS2025 comes to an end! Thank you to all the participants, attendees, the program committee, and the chairs for making this event a success! -- Organizing Committee

The paper of this session, "The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification", is an #iFM paper and is being presented by @determineddust.bsky.social

Mahdi Etumi presents their paper (the best #FMAS2025 paper!) titled "Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions".

The first paper of #iFM, "Formal Modelling of Trust in Autonomous Delivery Vehicles" is being presented now by Manar Altamimi.

We will be back after coffee for the final session of #FMAS2025! This session will be chaired by our PC Chair, Maike Schwammberger, and it contains two #iFM papers and the best paper from #FMAS2025.

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

Did you ever wish to explore the use of Integrated Formal Methods for the Verification of Cyber-Physical and Autonomous Systems? Prof. Paula Herber is giving the keynote talk on this right now! #FMAS2025 #iFM If you can't attend the talk, it'll be recorded and uploaded online.

#iFM2025 kicks off with a bang! General chair, Caterina Urban, and PC Chairs Ferruccio Damiani and Marie Ferrell, welcoming guests!

The last day of #FMAS2025 is about to start! It's a joint session with iFM. Prof. Paula Herber is going to kick off iFM with her keynote talk about "Integrated Formal Methods for the Verification of Cyber-Physical and Autonomous Systems".

A very lively and enriching discussion session finally comes to an end, as well as day 2 of #FMAS2025! See you guys at the dinner!

#FMAS2025 Discussion sessions are underway! Topics: - Pros and Cons of AI-use in Scientific Publishing Processes - Challenges and solutions of FMAS - Ethical guidelines for AI usage

Aaaand the winner is... "Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions" by Mahdi Etumi, Hazel Taylor, and Marie Farrell Mahdi will present the paper tomorrow during the joint session with iFM.

Continuing the tradition (started last year), our PC Chair, Maike Schwammberger, introduces the best paper award.. Can you guys guess who it is??

Is one coffee ever enough? We'll be back at 15:30 (CET) and continue with our breakout session!

The last paper for the session (and the day), "Context-aware, Ante-hoc Explanations of Driving Behaviour" is presented by Dominik Grundt.

Mehrnoush Hajnorouzi presenting their work on "Model Learning for Adjusting the Level of Automation in HCPS".

The next session, with two full paper presentations, on Formally Modelling of Human Factors, is starting soon! Session chair: Mario Gleirscher.

The proceedings for the Seventh International Workshop on Formal Methods for Autonomous Systems have been published through EPTCS, so if you want to read the papers from #FMAS2025 you can find them all at: dx.doi.org/10.4204/EPTC... #FormalMethods #AutonomousSystems #Autonomy #AcademicSky

We'll be back after lunch at 13:30 (CET).

The last paper for this session, "Analyzing many simulations of hybrid programs in Lince", is being presented by José Proença.

Angelo Ferrando is presenting his vision paper titled "Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems".

First paper presentation for the day titled "Achieving Safe Control Online through Integration of Harmonic Control Lyapunov–Barrier Functions with Unsafe Object-Centric Action Policies" is being presented by Marlow Fawn.

Session 3, chaired by Silvia Lizeth Tapia Tarifa, is about to start soon and will focus on Formal Verification of Cyber-Physical Systems. This session has one full paper presentation and two short paper presentations.

After that enlightening talk by Prof. Dr. André Platzer, we're off to put some coffee in our system and reflect! If you missed the invited talk, don't worry; it'll be uploaded to YouTube at a later point in time. We'll be back at 10:30 (CET).

The keynote talk by Prof. Dr. André Platzer has started! Title: Logic of Autonomous Dynamical Systems If you are unable to attend, the talk will be recorded and uploaded to YouTube later.

A beautiful morning in Paris! Registrations are still underway. Collect your badges and come to see our keynote speaker, Prof. Dr. André Platzer, speak!

And with that, we wrap up day 1 of #FMAS2025! Thank you everyone for joining us today. Tomorrow at 9:00 AM (CET), Prof. Dr. André Platzer will present a keynote on "Logic of Autonomous Dynamical Systems," exploring the logical specification and verification of Cyber-Physical Systems.

The final talk for the day, titled "Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains", will be presented by Diana Benjumea Hernandez. Diana talks about the Safe-ROS architecture that helps develop reliable and verifiable autonomous robots.

First paper of this session: "Mutation Testing for Industrial Robotic Systems" being presented by Sylvain Hallé. He talks about exploring the adaptation of mutation testing to IRS by defining domain-specific mutation operators.

The proceedings for the Seventh International Workshop on Formal Methods for Autonomous Systems have been published through EPTCS, so if you want to read the papers from #FMAS2025 you can find them all at: dx.doi.org/10.4204/EPTC... #FormalMethods #AutonomousSystems #Autonomy #AcademicSky