Program Metis 2026

Time Program
Monday – June 8, 2026
09:00 – 09:15 Opening
09:15 – 10:30 Karima Echihabi – CC UM6P – Morocco
Title: Vector Search: Fundamentals and Applications
10:30 – 11:00 Coffee Break
11:00 – 12:30 Karima Echihabi – CC UM6P – Morocco
Title: Vector Search: Fundamentals and Applications (continued)
12:30 – 14:00 Lunch
14:00 – 15:30 Hossein Haeri – University of Bergen – Norway
Title: Session 1: The ∆QSD Paradigm: Designing Systems with Predictable Performance at High Load
15:30 – 16:00 Coffee Break
16:00 – 17:30 Guevara Noubir – Northeastern University – USA
Title: To be announced
Tuesday – June 9, 2026
09:00 – 10:30 Rupak Majumdar – Max Planck – Germany
Title: Model Checking Distributed Systems using TraceForge
10:30 – 11:00 Coffee Break
11:00 – 12:30 Constantin Enea – LIX – France
Title: Model Checking Distributed Systems using TraceForge
12:30 – 14:00 Lunch
14:00 – 15:30 Hossein Haeri – University of Bergen – Norway
Title: Session 2: The ∆QSD Paradigm: Designing Systems with Predictable Performance at High Load
15:30 – 17:00 Michael Schwarz – National University of Singapore
Title: Thread-Modular Abstract Interpretation with Goblint
Closing

Dates

March 11, 2026

Abstract submission deadline

March 18, 2026

Paper submission deadline

April 22, 2026

Author notification

June 10-12, 2026

Netys Conference

Proceedings

Partners & Sponsors (TBA)