METIS Spring School

Lecturers :

Karima Echihabi – CC UM6P – Morocco
Title: Vector Search: Fundamentals and Applications.
Constantin Enea
Constantin Enea – LIX – France
Title: Model Checking Distributed Systems using TraceForge
Hossein HAERI | Professor (Associate) | BSc, MPhil, Dr. rer. nat. in Computer Science | University of Bergen, Bergen | UiB | Department of Informatics | Research profile
Hossein Haeri – Bergen Univ – Belgium
Rupak Majundar – Max Planck – Germany
Title: Model Checking Distributed Systems using TraceForge
Guevara Noubir – Northeastern University – USA
prof_pic.jpg
Michael Schwarz, National University of Singapore.
Title: Thread-Modular Abstract Interpretation with Goblint


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)