13th International Conference on integrated Formal Methods (iFM 2017)

VENUE

The iFM 2017 conference will be held in the Cavallerizza Reale located in Via Verdi 9, Torino, within "center" area ("center - Porta Nuova railway station" it is also at walking distance).

Lunches, coffee breaks and some of the satellite events will be held in the University of Torino historical building located in Via Verdi 8, Torino.

The suggested accommodations are at a walking distance from conference venue. For information on bus and tram see the Torino public transportation company (GTT) web site (when travelling by public transport beware of pickpockets).