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:
- The Larnaca International Airport, which is located about 67 km (41.7 miles) from Limassol. For more information, maps and flight schedules please visit the Cyprus Airports Official Website (Larnaca).
- The Paphos International Airport, which is located about 62 km (38.7 miles) from Limassol. For more information, maps and flight schedules please visit the Cyprus Airports Official Website (Paphos).
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 |