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.
Registration
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.
Programme
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
- Christian Colombo: Status of the book (channelling Ezio and Ylies)
- Christian Colombo: Status of Summer School
- Giles Reger: CRV16; “Towards a Benchmark Repository for Runtime Monitoring” [rv_repository]
15:00-15:30 Coffee break
15:30-17:00 MC Meeting
17:00-17:10 Closing
What to do in Reykjavik