FMIS 2018

7th International Workshop on Formal Methods for Interactive Systems

(Affiliated Workshop of STAF 2018)

25 June 2018 Toulouse (France)

Location

The workshop will take place in INP-ENSEEIHT premises (Building-B, Room - B105), in the center of Toulouse, within easy reach through public transportation.

École nationale supérieure d'électronique, électrotechnique, informatique, hydraulique et télécommunications
2 Rue Charles Camichel
31000 Toulouse

 

Online user: 1 RSS Feed