FMIS 2019

8th Formal Methods for Interactive Systems workshop

co-located with Formal Methods 2019

7 October 2019

Porto, Portugal

Previous Editions

  • FMIS 2006 (co-located with ICFEM 2006, Macau)
  • FMIS 2007 (co-located with HCI 2007, Lancaster)
  • FMIS 2009 (co-located with FM 2009, Eindhoven)
  • FMIS 2011 (co-located with FM 2011, Limerick)
  • FMIS 2013 (co-located with EICS 2013, London)
  • FMIS 2017 (co-located with APSEC 2017, Nanjing)
  • FMIS 2018 (co-located with STAF 2018, Toulouse)