FME Teaching Committee's next tutorial "Teaching the theory and practice of proof assistants with Lean" 26th of Aug 2022 (Tomorrow!) @ 3pm CEST Speaker: Dr Robert Lewis (robertylewis.com) from Brown University, USA Zoom details & future tutorials: fme-teaching.github.io/2021/08/24/tut…

The next FME Formal Methods Europe business meeting will be taking place on-line on the 12th December at 15:00-17:00 CET (14:00-16:00 GMT). Further details available at fmeurope.org/2022/11/27/74t… #formalmethods

A reminder that FME's Formal Methods Europe business meeting will be taking place later today at 15:00-17:00 CET (14:00-16:00 GMT).

Next business meeting of Formal Methods Europe is taking place tomorrow in Lübeck, Germany, Tuesday 7th of March (12:50 CET, GMT+1) during Formal Methods 2024 FM'2023. Also possible to join via Zoom! #formalmethods

Formal Methods Teaching tutorials: Prof Laura Kovács, Vienna University of Technology, Austria, will lecture on her experiences teaching formal methods on Friday, June 16, at 3 pm CEST. The lecture is entitled "Teaching Formal Reasoning at TU Wien". fme-teaching.github.io/2021/08/24/tut…

Next Formal Methods Europe AGM will be taking place on Thursday, the 15th of June 2023 14:00-16:00 CEST over Zoom. Further details at fmeurope.org/2023/06/01/fme… #formalmethods

Thinking about a PhD in Autonomous Robotic Systems for Laboratory Experiments (YorRobots ALBERT CDT) University of York? Find out about projects & supervisors on Monday! Book your place now bit.ly/Albert-CDT UoY Computer Science UoY School of Physics, Engineering and Technology Chemistry at York Department of Sociology York Psychology York Law School

There are, of course, also PhD projects to exploit #Verification using #FormalMethods in this context. #Robotics #RAS Formal Methods Europe A and V Network UK-RAS Network UKRI TAS Hub

Deadline extended! Join ALBERT - a multidisciplinary CDT in Autonomous Robotic Systems. Visit the web pages: bit.ly/ALBERT_CDT. Watch presentations about the projects: bit.ly/ALBERT_Seminar. Closes 31 Jan 2024. #phdopportunities #robotics #universityofyork

Next business meeting Formal Methods Europe is taking place on the 1st of February at King's College London. Prof. Mohammad Mousavi will give a talk on 'Model learning for evolving systems'. If you intend to attend in person you need to register by Jan 17. Virtual attendance by Zoom also possible.

Final call - apply now! Fully funded PhDs with ALBERT - the CDT for Autonomous Robotic Systems for Laboratory Experiments. Go to bit.ly/ALBERT_CDT. #phdopportunities #phdinrobotics #robotics #autonomousrobotics #uniofyork #universityofyork

Today (1st of Feb'24) Mohammad Mousavi from the Trustworthy Autonomous Systems Verification Node UKRI TAS Verif. Node is giving a talk on 'Model learning for evolving systems'. Time 17:00 GMT Details and Zoom link: fmeurope.org/2024/01/16/75t… #formalMethods #autonomy

Research Associate job at the University of York (UK) Fixed term for  22 months Salary: £36,024 Deadline: 5th of March 2024 #FormalMethodsJobs B J Hill UoY Computer Science Pedro linkedin.com/posts/universi…

Interested in robotics and autonomous systems? Apply for a PhD UoY Computer Science and RACE UK Atomic Energy Authority on autonomous robots for gloveboxes findaphd.com/phds/project/a… #formalmethods #testing #simulation.

A recent document from the White House Office of the National Cyber Director (ONCD) reports on the role of Formal Methods in cybersecurity. The report might be of interest to many Formal Methods people! whitehouse.gov/wp-content/upl…

A reminder that the FME Annual General Meeting is today (26th of June 2024) and members of FME can attend using Zoom. The meeting is today between 14:00 and 16:00 (CEST) Details: fmeurope.org/2024/06/19/fme…