skip to main content
menu
iFM 2017 - University of Torino
HOME
PROGRAM
PAPERS AWARDS
PICTURES
DATES
(EXTENDED)
CALL FOR PAPERS
CALL FOR WORKSHOPS
COMMITTEES
INVITED SPEAKERS
CONTACTS
FMICS-AVOCS 2017
WORKSHOPS
PHD SYMPOSIUM
DIME TUTORIAL
TLT
[separate registration]
VENUE
ACCOMMODATION
TRAVEL
REGISTRATION
Bicerin and more
13th International Conference on integrated Formal Methods (iFM 2017)
University of Torino historical building
Via Verdi 8, Torino
First floor
Via Verdi 9
Via Verdi 8, ground floor
Via Verdi 8, first floor