Prof. Nils Jansen to keynote FMAS2026 conference

By PulseAugur Editorial · [1 sources] · 2026-07-06 11:50

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]

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →

How we ranked this

Signal score: 0 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; Announcement of a speaker for a research conference. [lever_c_demoted from research: ic=1 ai=0.4]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: other; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: Standard; On-topic for AI-industry coverage; kept in the public index.
Story freshness: 53 days old; Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

Full methodology in our editorial standards.