Aud 1
Sessions
- Session 1C (Dec 02 09:00-12:30) FMFun Workshop
- Session 2C (Dec 02 14:00-17:00) FMFun Workshop
- Session 3C (Dec 03 09:00-12:30) FMFun Workshop
- Session 4C (Dec 03 14:00-17:00) FMFun Workshop
- Session (Dec 04 08:50-09:00) Opening iFM 2019
- Session 5 (Dec 04 09:00-10:00) Keynote 1
- Session 6A (Dec 04 10:30-12:30) Distributed Systems
- Session 7 (Dec 04 14:00-15:30) Verification Tools & Methods
- Session 8 (Dec 04 16:00-17:30) Safety Critical Systems
- Session 9 (Dec 05 09:00-10:00) Keynote 2
- Session 10A (Dec 05 10:30-12:30) Evolving & Dynamic Systems
- Session 11 (Dec 05 14:00-15:30) Saturation & Satisfiability
- Session 12 (Dec 05 16:00-17:30) Product Lines
- Session 13 (Dec 06 09:00-10:00) Keynote 3
- Session 14A (Dec 06 10:30-12:00) Refinement-Based Methods