iFM 2022

17th International Conference on integrated Formal Methods 7-10 June 2022, Lugano, Switzerland

CONTACT PHD SYMPOSIUM ARTIFACTS CALLS VENUE COMMITTEES KEYNOTES REGISTRATION PROGRAM DATES
unsplash-logoPic. by W. Hasselmann

Venue

iFM 2022 will take place in the East Campus of USI Università della Svizzera Italiana in beautiful Lugano, Switzerland.

The brand-new East Campus is a 20-minute walk from the center of Lugano, and about 1.7 km from Lugano’s train station.

The conference will use classrooms C1.04 and C1.03 on the first floor of the campus in sector C (on the north side). You will find signs that direct you there as you enter the campus’s large open courtyard.

The PhD symposium (7 June) will use classrooms D1.14 and D1.15 on the first floor of the campus in sector D (on the east side).

The IVOIRE workshop (7 June) will use classrooms D0.02 and D0.03 on the ground floor of the campus in sector D (on the east side).

Accommodation

There is no designated conference hotel, as most hotels are relatively small and scattered in different parts of the city. The following hotels are 5-15 minutes on foot from the conference venue:

Two of them (City and Zurigo) have special rates for the iFM conference, which you can get by using the promo codes listed above.

There are plenty of other accommodation options in the vicinity. Here are some resources to look for other places to stay:

Getting to Lugano

By plane

The two closest international airports are Milan Malpensa (90 minutes by train) and Zurich Airport (120 minutes by train). The small Lugano airport in Agno currently does not offer commercial flights.

Several companies offer taxi rides from Malpensa to Lugano. They are usually faster than the train, but also quite expensive (CHF 100-150 one-way).

By train

If you arrive in Zurich airport, you can get any of the frequent connections to Zurich’s main station (Zurich HB), and then get a train to Lugano from there. A train departs from Zurich HB to Lugano roughly every hour during the day; the trip lasts about two hours. See the website of the FFS for schedules and tickets.

The TILO regional trains’ S50 line connects Lugano directly to the Milan Malpensa airport (with stations in both terminals). A train departs from/to the airport roughly every hour during the day. The ticket is around CHF 25/EUR 21 one way (two-way tickets simply cost twice as much). Currently, you can buy these tickets online only on the Trenord website. Buying them directly at the station’s vending machines is the recommended option (no advance reservation is necessary).

Alternatively, from Milan’s main station (Stazione Centrale) you can reach Lugano in 60-70 minutes, with trains departing roughly every hour. There are also more sporadic connections from other stations in Milan. For schedules and tickets see Trenitalia’s website.

Around in Lugano

The central areas of Lugano are all easily accessible on foot. If you want to reach locations on the hills around the center, you may want to use the bus or the funicular from the center, as the paths are quite steep.

Every bus stop is equipped with a ticket vending machine. Tickets (Arcobaleno individual tickets) are by zone and duration: Lugano’s central areas (including the train station and the funicular that reaches it from the center) are within the same zone (to be sure, you can search for your destination on the machine). A short-journey ticket is valid for 30 minutes within the zone (starting from when you buy it); a regular ticket is valid for 1 hour; a day pass is valid for 24 hours.

The conference venue (USI Campus East) is about 1.8 km from Lugano’s train station. If you feel like it and have light luggage, the distance is OK to walk when you are going from the station to the conference venue, as it’s all downhill. In contrast, going back to the station from the conference venue is a more strenuous walk as it requires climbing up for about 1 km.

Bus lines #5 (direction Viganello) and #6 (direction Cornaredo) go directly from the station to the stop Campus Universitario, which is across the street from the USI Campus East. Get an Arcobaleno individual ticket (for 1 zone, CHF 2.30) at the ticket machine next to the bus stop just outside the station. To go back from the conference venue to the station, use the same bus lines in the opposite direction (line #5 direction Manno, line #6 direction Lugano Stazione).

As you exit the train station, there are always taxis available for passengers. The taxi ride to USI Campus East should cost 20-30 CHF depending on the time of the day (and hence the traffic).

Lugano

Lugano is the largest town in the Italian-speaking canton of Ticino bordering Italy. It lies on the northern side of Lake Lugano (also called Lake Ceresio), in a valley surrounded by steep hills and mountains that overlook the lake.

With a population of 64’000, Lugano is a major financial, banking, and business center. Right next to the lake and well connected to major cities in Switzerland and northern Italy, it is a livable city of parks, flowers, villas, and religious buildings with a Mediterranean flair.

See the following websites for suggestions of tourist sights and attractions in the Lugano region: