4-5 June 2016: Reykjavik

This meeting takes place at Reykjavík University. Reykjavík University is located in Menntavegur 1, south of the domestic airport, next to Öskjuhlíð hill and Nauthóll’s Ylströnd, 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 Reykjavik’s central bus hubs, Snorrabraut, or BSÍ. The direction is “Nauthóll” and the final bus stop is 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: www.straeto.is/english/buy-tickets . Ask at your hotel’s reception if they offer bus tickets.

This meeting is co-located with iFM 2016. The event will be held in conjunction with the PrePost workshop at iFM 2016.

June is high tourist season and it may be hard to find accommodation in Reykjavik. I advise to look for accommodation as soon as possible. Options can be explored at the iFM 2016 Travel information page. Options for coming to Iceland are described on the iFM Travel Information page.

This time, please register by accepting the invitation only. We will organize coffee breaks, light lunch, and a networking dinner on June 4. Details on the programme will be published.


We open registration on June 4 at 8:30. Please come to the iFM workshop registration desk to sign up for the COST action attendance.


The Saturday programme will be held in conjunction with PrePost. COST action members get free admission to PrePost, coffee breaks, and lunch breaks.

The Management Committee meeting will take place on Sunday, in the same location. Details will be published soon.

Saturday, 4 June

08:30 Registration, Reykjavik University, Sólin.

09:00-10:00 Tony Hoare: Unifying Models and Laws for Concurrency and Distribution in Object-Oriented Programs. Room V102

10:00-10:30 Coffee break

10:30-12:00 Joint programme with PrePost

12:00-13:30 Lunch at Nauthóll

13:30-15:10 Joint programme with PrePost

15:10-15:30 Coffee break

15:30-16:30 Joint programme with PrePost

18:30 Dinner (Kolabrautin, 4th floor of the Harpa concert hall)

Sunday, 5 June

09:00-10:00 Session (“Best of iFM”)

  • Hosein Nazarpour: “Monitoring multi-threaded component-based systems”
  • Ian Cassar and Adrian Francalanza:
    “On Implementing a Monitor-Oriented Programming Framework for Actor Systems” (slides)

10:00-10:30 Coffee break

10:30-12:00 Session

  • Ferruccio Damiani and Michael Lienhardt: “On Type Checking Delta-Oriented Product Lines” (slides, iFM)
  • Marcel Kyas: “Can we monitor the IoT?”
  • Gerardo Schneider: “Enforcement of privacy policies in OSNs”

12:00-13:30 Lunch at Nauthóll

13:30-15:00 Session

15:00-15:30 Coffee break

15:30-17:00 MC Meeting

17:00-17:10 Closing

What to do in Reykjavik

See suggested activities