IFM 2019: 15TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
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