FMIS 2019
8th Formal Methods for Interactive Systems workshop
co-located with Formal Methods 2019
7 October 2019
Porto, Portugal
Previous Editions
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)