The Eighth International Workshop on Formal Methods for Autonomous Systems is a two-day peer-reviewed international workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to present recent work in the area, discuss key challenges, and stimulate collaboration between autonomous systems and formal methods researchers.
FMAS welcomes submissions that use formal methods to specify, model, or verify autonomous systems, in whole or in part. We are especially interested in work using integrated formal methods. Categories include Short Papers (Vision papers, Research previews) and Long Papers (Experience report papers, Regular papers).
International Conference on Science, Technology, Engineering and Management (ICSTEM - 2027) will be held on 07th-08th...
Hypertext 2026 explores 'hypertext as method' in an era where AI-generated content impacts storytelling, argumentation,...
The Interior Educators (IE) conference Vacantscapes: Unfolding Interiors, hosted by the School of Design at The Glasgow...
The 7th International Conference on Medical Imaging and Computer-Aided Diagnosis (MICAD 2026) aims to foster high-level...
