11:45 AM UTC

Intro

12:00 PM UTC

Dacian: Epic Fuzz Testing Workshop

1:00 PM UTC

Josselin: Contributing to Medusa

1:30 PM UTC

Alex: A glimpse into the future of Invariant Testing

2:00 PM UTC

Benjamin: Review of the UniV4 Invariant Testing Suite

2:45 PM UTC

Wrap-up