Runtime Verification 2026

Speaker

Tobias Wagenpfeil

Talks at this conference:
 Wed, 14:30 FairMon: A Tool for Monitoring and Visualizing Algorithmic Fairness ! Live

 Overview

Sponsored by:

Formal Methods Europe