We have some fantastic invited speakers lined up for SMC-IT/SCC 2023! Including Dr. Laurie Leshin @LaurieofMars, Director of NASA JPL. Looking forward to an interesting and inspiring talk from Laurie this July 🌌. See smcit-scc.space/speakers.html#… for more. #space #software #missions

For quick access to all the proceedings from our previous workshops on Formal Methods for Autonomous Systems, you can check the page generated by the lovely people дблп - ☮ Stop the war! : dblp.dagstuhl.de/db/conf/fmas/i… #FMAS2023 #FMAS2022 #FMAS2021 #FMAS2020 #FMAS2019

PASSAC (the 1st Workshop on Patterns of Argumentation for Safety-Security Assurance Cases) The deadline is today! safecomp2023.cnrs.fr/?page_id=251

Funded PhD studentship on "Developing Reliable Software for Autonomous Robots" available with myself, Louise Dennis and Michael Fisher: Full details: lnkd.in/eAyw4cdU #phd #software #robots #verification #formalmethods

Looking forward to seeing everyone in Pasadena at IEEE SMC-IT/SCC 2025 Conference . Registration is open so please join us for an exciting few days talking about space systems! #space #systems #software #computing smcit-scc.space

If you're wondering what sort of work #FMAS2023 is interested in, you can take a look at our two invited talks from #FMAS2022 on the Formal Methods Europe Youtube channel: youtube.com/playlist?list=… Delivered by the wonderful Marija Slavkovik and Taylor T Johnson

How can we have confidence in our autonomous systems needed for working in space? Discuss at Space Trusted Autonomy Workshop smcit-scc.space/workshop-sta.h… with speakers from NASA The Aerospace Corporation Air Force Research Lab - AFRL and Caltech. Register smcit-scc.space/registration

ABZ 2023 has come to an incredible end! Huge appreciation to Dominique Méry for brilliantly organizing this unforgettable event. Can't wait to reunite in Bergamo for another remarkable year! 🙌🎉 #ABZ2023 #ABZ2024

Great week at #ABZ2023

5th workshop on Formal Methods for Autonomous Systems is looking for research papers about applying formal methods to almost any kind of autonomous system! Deadline: 17th Aug 2023 (AoE) Workshop: 15th & 16th Nov 2023 iFM Details: fmasworkshop.github.io/FMAS2023/ #FMAS2023 #iFM23

We’re welcoming Marie Farrell this week on Friday 4 August to give a talk on “Strong Software Reliability for Autonomous Space Robotics” as part of the Understandable Autonomous Systems seminar. 🤖🛰️🚀 gla.ac.uk/schools/comput…

Thanks Michele Sevegnani , I really enjoyed my visit 😊

#FMAS2023 will be co-located with #ifm23 We are interested in #FormalMethods applied to almost any kind of autonomous system! Extended Deadline: 31st of August 2023 (Anywhere on Earth) Details: fmasworkshop.github.io/FMAS2023/ #ifm2023

A fantastic close to Day One by Marie Farrell #FMAS2023

Our research paper was accepted for publication at NFM 2024! We worked on this together with bright summer intern Gricel Vazquez, and collaborators Marie Farrell, Tom Pressburger and Radu Calinescu.

Advances in Formal Methods for Autonomous Systems is a special issue with Science of Computer Programming, celebrating the first five years of #FMAS and showcasing advances of formal methods for autonomous systems. Deadline 7th of June 2024 Details: sciencedirect.com/journal/scienc…

Excited to host Dr. Prasun Desai as keynote speaker 🛰️ Deputy Associate Administrator of the Space Technology Mission Directorate at NASA Technology He supports overall strategic planning for all programs executed under STMD’s $1.2 billion budget #ieee #mission #Space #science

Our own co-organiser Marie Farrell here giving an invited talk at the #IVOIRE workshop ABZ Conference #ABZ2024

Oisin Sheridan and Conor Reynolds are talking about "FRETting and Formal Modelling: A Mechanical Lung Ventilator" at the #ABZ2024 case study track. #ABZ #FormalMethods #Bergamo #Conference #FRET #FRETish #EventB #Lung #Ventilator #Medical #Device #CaseStudy #Corona #Covid

Thanks for hosting us, Anastasia Mavridou ! It was such a productive visit :-)