AWS
Sessions
- Session (Oct 09 08:50-09:00) Opening FM 2019
- Session 1 (Oct 09 09:00-10:00) Keynote 1
- Session 2A (Oct 09 10:30-12:30) Verification
- Session 3 (Oct 09 14:00-15:00) Lucas Award
- Session 4B (Oct 09 15:30-16:00) Journal First Presentation 1
- Session 5 (Oct 09 16:00-17:00) Model Checking Circus
- Session 6 (Oct 09 17:00-18:00) FME Business Meeting
- Session 7 (Oct 10 09:00-10:00) Keynote 2
- Session 8A (Oct 10 10:30-12:30) Model Checking
- Session 9 (Oct 10 14:00-15:00) FME Fellowship Award Ceremony
- Session (Oct 10 15:00-15:10) Introducing FM 2021
- Session 10 (Oct 11 09:00-10:00) Keynote 3
- Session 11A (Oct 11 10:30-12:30) Analysis Techniques 2
- Session 12B (Oct 11 14:00-14:30) Journal First Presentation 2
- Session 13 (Oct 11 14:30-15:30) Modelling Languages
- Session 14B (Oct 11 16:00-16:30) Journal First Presentation 3
- Session 15 (Oct 11 16:30-17:30) Refactoring and Reprogramming