The Formal Methods in Artificial Intelligence and Software Engineering (FMAS) workshop for 2026 has announced its invited speakers. Professor Nils Jansen from Ruhr-University Bochum and Radboud University Nijmegen, and Dr. Elizabeth Polgreen from the University of Edinburgh will be featured. Further details regarding their specific talks are expected to be released soon. AI
RANK_REASON This is an announcement of speakers for a workshop, not a core AI release or significant industry event.
Read on Mastodon — sigmoid.social →
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →