Professor Nils Jansen has been announced as the first invited speaker for the FMAS2026 conference. He holds the Chair of Artificial Intelligence and Formal Methods at Ruhr-University Bochum and is also an Associate Professor at Radboud University Nijmegen. Further details regarding his specific talk will be released at a later date. AI
IMPACT This announcement highlights the participation of a key academic figure in the field of AI and formal methods at an upcoming conference.
RANK_REASON Announcement of a speaker for a research conference. [lever_c_demoted from research: ic=1 ai=0.4]
Read on Mastodon — fosstodon.org →
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →
