Formal Methods in AI Rigorous foundations for trustworthy intelligent systems

News

Group updates, announcements, and milestones from our group.

A placeholder banner for the example news item
RLMLConference 15 Jan 2025

Example news item 2

A tiny example entry to confirm the News page rendering.

Read more
A placeholder banner for the example news item
RLMLConference 15 Jan 2025

Example news item

A tiny example entry to confirm the News page rendering.

Read more
© 2025-2026 Formal Methods in AI