FMIS 2019: 8TH FORMAL METHODS FOR INTERACTIVE SYSTEMS WORKSHOP
S. João

Sessions

  • Session 2 (Oct 07 10:30-12:30) Paper presentations
  • Session 3 (Oct 07 14:00-15:00) FMIS Keynote (Michael D. Harrison, Newcastle)
  • Session 4 (Oct 07 15:30-17:00) Paper presentations
  • Session 5 (Oct 07 17:00-17:30) Plenary discussion and closing