The K Framework seminar is a joint LOS-Runtime Verification (RV) seminar.
Organizers: Laurențiu Leuștean and Traian Şerbănuţă

The K Framework seminar presents and discusses topics related to the design, specification, and verification of systems, with a focus on the K Framework ecosystem.

The seminars take place at the RV Bucharest headquarters (Popa Tatu 18).

To receive announcements about the seminar, please send an email to