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-25) TBA TBA TBA
FMTea (Nov 21) Details Details Details
Tutorial CBMC (Nov 20) Details Details Details
Event-B DSL (Nov 21) Details Details Details
FMI (Nov 20) Details Details Details
Momba (Nov 20) Details Details Details
I-Day (TBA) TBA TBA TBA
Doctoral Symposium (TBA) TBA TBA TBA
Co-located Event SETTA 2021 (TBA) TBA TBA TBA
MEMOCODE 2021 (TBA) TBA TBA TBA
VECoS 2021 (TBA) TBA TBA TBA