Pre-recorded videos of presentations may now be uploaded here. These will be used in case the live talk gets disrupted due to a network issue.
OVERALL PROGRAM of the FM'21 CONGRESS

FM | appFM | CBMC | Event-B DSL | FMI | FMTea | I-Day | Momba

FM'21 Program
EVENT Beijing, UTC +8:00 Amsterdam, UTC +1:00 San Francisco, UTC -8:00
Main Conference FM (Nov 22-26) Details Details Details
Workshop appFM (Nov 23) Details Details Details
FMTea (Nov 21) Details Details Details
Tutorial CBMC (Canceled)
Event-B DSL (Nov 21) Details Details Details
FMI (Nov 20) Details Details Details
Momba (Nov 20) Details Details Details
I-Day (Nov 23) Details Details Details
Doctoral Symposium (Nov 20) Details Details Details
Co-located Event SETTA 2021 (Nov 25-27) Details Details Details
MEMOCODE 2021(Nov 20-22) Details Details Details
VECoS 2021 (Nov 22-23) Details Details Details