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 |
|
|||
| 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 | |