Final COST Action Meeting, 8-9. November 2018


Meeting Minute
The Meeting Minutes of the Final Action Meeting are available here.

The Final Action Meeting will be co-located with ISoLA and RV Conference on November 8-9 in Limassol, Cyprus at The Royal Apollonia Beach Hotel.

Registration
Registrations will be done online through Easyconferences.org. The whole process is very easy to use, it is totally secure and can be completed in a few minutes. Please note that participants may not only register for the conference through www.easyconferences.org, but they can also book their accommodation, airport transfers, car hire, etc. All additional services are offered at specially conference negotiated rates.

Please complete the registration also even if you already have your accomodation.

For registration please follow the link: http://www.isola-conference.org/isola2018/registration.html.

Venue
Royal Apollonia Beach Hotel
The Royal Apollonia Beach Hotel is a 5-star hotel situated in the heart of Limassol, on a sandy beach, surrounded by extensive gardens and framed against the glittering Mediterranean Sea. The Hotel is 77 km away from Larnaca International Airport and 5 km from the town centre and a few minutes away from shops, bars, restaurants, nightclubs and places of archaeological interest.

This newly renovated hotel offers the luxury and hospitality needed for any occasion, be it holidays or business, beginning from 4 restaurants including the Akakiko Japanese and Cos’altro Italian, a poolside bar, the cosy yet cosmopolitan Aphrodite Lounge and Terrace bar to the luxurious refurbished rooms, swimming pools and spa

The Royal Apollonia features 204 completely refurbished bedrooms including 13 suites of varying sizes. All rooms at the Royal Apollonia Beach hotel have modern furnishings and large floor-to-ceiling windows. They are decorated in bright colors and require Air-conditioning/ heating, Private bath, Private balcony, Telephone, Internet access, Mini-bar, Hair dryer, Tea & coffee making facilities, Safety deposit box (extra charge), Room service (24-hour), Radio, Satellite TV, Non-smoking rooms.

Conference Facilities
With state of the art Technology the Conference facilities of Royal Apollonia can guarantee a successful conference.Food & BeveragesWithin the Hotel there are 4 food and 2 beverage outlets listed below:

  • Dionyssos restaurant: the ‘Dionysos’ is the main restaurant in the hotel, offering panoramic views of the sparkling Mediterranean, serving breakfast and dinner daily. The ‘Dionysos’ offers a rich and sumptuous buffet breakfast including traditional local produce.
  • Akakiko Japanese: Renowned a la carte Japanese restaurant, serves lunch and dinner.
  • Cos’altro Italian: An authentic Italian restaurant with Italian dishes such as Pizza, Pasta, Risotto, an enticing array of salads and a broad selection of main courses. This Italian restaurant is open in the evening.
  • Thalassaki Tavern: Listen to the sounds of the sea at the open air tavern, serving gourmet meals.
  • Aphrodite Lounge & Terrace: It is open from the early hours serving coffee till the very late hours serving exotic cocktails, rare whiskies and coffee.
  • Ocean Blue Bar: Half of the bar is actually within the large island shaped swimming pool. The Ocean Blue serves drinks and snacks throughout the day

General Facilities
The sport entertainments in Royal Apollonia are endless. Two tennis courts, a swimming pool, a special gym, outdoor Jacuzzi as well as Spa facilities are at your service. Among sports facilities the hotel also features a squash court, a leisure club, a games room, varied Entertainment/Animation program, Jacuzzi and an indoor swimming pool.

Distances

  • From the Hotel to City centre: 9 km, 10 minutes
  • From the Hotel to Larnaca International Airport: 58 km, 40 minutes
  • From the Hotel to Paphos International Airport: 58 km, 40 minutes
  • From the Hotel to General Hospital: 17.3 km, 17 minutes
  • From the Hotel to Cyprus Museum: 8.1 km, 11 minutes
  • Transportation: City Bus Stop at hotel entrance/ Taxi stop within hotel premises

Travel Information
Cyprus has two International Airports:

Airport Transfers
Private Taxi Transfers
Arrange for transfers by taxi through the conference coordinator, EasyConferences. These transfers are bookable online through www.easyconferences.org. These transfers can be private (max 3 persons) or shared, are inclusive of meet and assist, and the service is quaranteed.

Note: There will be a person waiting for you after Customs Formalities with a sign stating the conference name. You simply need to tell your name to the taxi driver, so that he can escort you to your taxi for you trip to your hotel.

Public Transportation
Please note that Cyprus has a comprehensive public bus network, with extensive inner-city routes and also major city and airport connections. You can find more information at Cyprusbybus.com.

Larnaca Airport to Limassol
Step 1: From Larnaca Airport use the Limassol Airport Express coaches (50 minutes shuttle service) in order to reach Limassol city (last bus stop “Saint George Havouzas” – shuttle bus stop). Please visit their webpage for more information and timetable: www.limassolairportexpress.eu.
Step 2: Afterwards, you can use Limassol public buses ‘EMEL’ to find a route to your accommodation hotel. Please visit their webpage www.limassolbuses.com for routes and timetables. Alternatively, you can get a taxi to drop you off to your hotel.

Paphos Airport to Limassol
Option 1:
Step 1: Once you arrive at Paphos Airport, you can take the direct service to Limassol (Ag. Georgios Havouzas bus stop); handled by Limassol Airport Express coaches (45 minutes shuttle service). You may visit www.limassolairportexpress.eu to check the timetable that matches your flight.
Step 2: Afterwards, you can use Limassol public buses ‘EMEL’ to find a route to your accommodation hotel. Please visit their webpage www.limassolbuses.com for routes and timetables. Alternatively, you can get a taxi to drop you off to your hotel.

Option 2:
Step 1: Once you arrive at Paphos Airport, you can use the public bus route 613 to reach Pervola-Karavela Station. Please visit ‘OSYPA Buses’ website atwww.pafosbuses.com to find map and timetable.
Step 2: From Pervola-Karavela Station use the Public Bus Company ‘Intercity Buses’: www.intercity-buses.com to get to Limassol City (New Port Station).
Step 3: At the New Port Station in Limassol you can hop on ‘EMEL Buses’ to reach your hotel. Please visit ‘EMEL Buses’ routes and timetable at:www.limassolbuses.com. Alternatively, you can get a taxi to drop you off to your hotel.

Programme

2018-11-08 (Hotel Miramara) 2018-11-09 (Hotel Appolonia)
09:00 Borzoo Bonakdarpour
Crash-Resilient Decentralized Synchronous Runtime Verification
WG3 – Joint with ABVOV
09:30 Bernhard Steffen
Reflections on what makes tool competitions work
10:00 Dejan Nickovic
Localizing Faults in Simulink/Stateflow Models with STL
10:30 Coffee break Coffee break
11:00 Leonardo Mariani
Automated Failure Analysis in Absence of Specifications
WG3 – Joint with ABVOV
11:30 Martin Leucker
On infrastructure for the RV community
Giles Reger
Categorising RV tools
12:00 Wolfgang Ahrendt
Who is to Blame? – Runtime Verification of Distributed Objects with Active Monitors
12:30 Lunch break Lunch break
13:00
13:30
14:00 Final Meeting WG 4 – Joint with Industrial Day
14:30
15:00
15:30 Coffee break Coffee break
16:00 MC Meeting WG 4 – Joint with Industrial Day
16:30
17:00