General Information

The 12th International Conference on Integrated Formal Methods and Workshops takes place on June 1-5, 2016,at Reykjavík University (RU), Menntavegi 1, 101 Reykjavik, Iceland.

Registration Desk

CP Reykjavik is in charge of the registration, accommodation bookings and social arrangements.

Opening hours:

  • Wednesday, 1 June (08:00-10:30),
  • Thursday, 2 June (08:30-10:30),
  • Saturday, 4 June (08:00-10:30)

Tel: Kristjana; +354 820-4339, Thórunn +354 696-4600

If there is no one at the registration desk, then please refer to the university reception in Sólin.

Conference rooms

Invited talks take place from 9:00 to 10:00 in M101. There are parallel sessions in the morning which take place in rooms M101 and V102. Afternoon sessions take place in M101.

Internet access

Use the internet access information provided in the program. Moreover, eduroam works at RU.


Please be present in the lecture hall at least 10 minutes prior to your session. It is important that sessions stay on schedule. It is vital that all speakers observe their time allotment.


All speakers are asked to contact their session chair before the beginning of the session. Technical helpIf you need any technical help in the lecture rooms call 6260 from the phone in the room (or +354 599 6260 from outside).


All participants are requested to wear their personal badge throughout the meeting. The badge is the entrance ticket to all sessions. Should you misplace your badge, a replacement can be obtained at the Registration desk.

Coffee breaks and lunches

Coffee, tea, refreshments will be served in Sólin (open area at the university) and all three lunches will be served in Café Nauthóll (2 minutes walk from the university).

Professional Congress Organizer – PCO

CP Reykjavík, Conference Management Services Ltd.Address: Suðurlandsbraut 6, 108 Reykjavík. Tel: +354 510 3900,

Local Transport

Reykjavik University is located next to Öskjuhlíð hill, one of Reykjavík's green areas shaped by the Ice Age. Bus line 5 stops in front of the university “Nauthóll - HR”, terminal station. You can enter line 5 at Hlemmur, one of Reykja-vik's central bus hubs, Snorrabraut, or BSÍ. The direction is “Nauthóll” and the final bus stop is Nauthóll - HR.Exit the bus at its final bus stop “Nauthóll - HR”.

You can buy single trip tickets on the bus for 420 ISK. You must pay the exact fare in cash. The driver will not change and will not accept credit cards. If you use the Straeto app, you can register your credit card and use it to pay on the bus. Additional fees may apply for a mobile phone data connection. Multi-day passes and a 20 ride ticket are available at select locations see: Ask at your hotel's reception if they offer bus tickets.

During the summer season, buses will run every 30 minutes during the day times. Observe that on Sundays the first bus to HR leaves Hlemmur at 10:16.For more information on local buses, check can use the trip planner to check the best route from your hotel to Reykjavik University.

Was the content helpful? Yes No