Co-located Events at the ISoLA Week:
- RERS - Challenge on practical automata learning
- IT Simply Works – Editorial Meeting (ITSy)
- Graduate/Postgraduate Course on "Soft Skills for IT Professionals in Science and Engineering"
Tracks
- Emerging services and technologies for a converging Telecommunications / Web world in smart environments of the Internet of Things
- Learning Techniques for Software Verification and Validation
- Modeling and Formalizing Industrial Software for Verification, Validation and Certification
- Formal Methods in Model-Driven Development for.Service-Oriented and Cloud Computing
- Tools in Scientific Workflow Composition
- New challenges in the development of critical embedded systems - an "aeromotive" perspective
- Model-based testing for security
- Leveraging formal methods through collaboration
- Web Science
- Formal languages and methods for designing and verifying complex engineering systems
- Software Aspects of Robotic Systems
- Resource and Timing Analysis
- Quantitative Verification in Practice
- Worst Case Traversal Time (WCTT)
- Model Transformation and Analysis for Industrial Scale Validation
- Certification of Software-Driven Medical Devices
- CONNECT: Status and Plan
- EternalS: Mission and Roadmap
Symposium Chair
Tiziana MARGARIA
(Univ. Potsdam, D)
margaria[at]cs.uni-potsdam.de
Program Chair
Bernhard STEFFEN
(TU Dortmund, D)
steffen[at]cs.uni-dortmund.de
General Information
Venue
Travelling to ISoLA
About Crete
About Kato Gouves
Weather
Other Information
Venue
The ISoLA 2010 symposium will take place in Amirandes Resort – 5* , Crete. Participants may take advantage of the special rates the conference has secured for accommodation in the hotel. On-line reservation is available through the conference registration page www.easyconferences.org.
View location map here
Travelling to ISoLA
Heraklion International Airport, "Nikos Kazantzakis" is the primary airport on the island of Crete, Greece. It is located about 5km from the main city of Heraklion. It is the country's second busiest airport after Athens International Airport, serving Heraklion, Aghios Nikolaos, Malia, Hersonissos, Stalida, elounda and other resorts. It is served by all the major airlines (Lufthansa, BA, KLM, Air France) and from all the major European hubs on a daily basis. Low-cost airlines like EasyJet and Germanwings connect it on a frequent basis to many additional locations in Europe. Hersonissos is located about 20 kilometres from Heraklion Airport. Transfers to the conference site will be arranged from/to it. Your flight number will be requested in the registration form. Transfers will be by either bus, minibus or taxi.
View location map here
About Crete
You find here and here information on the central sites (like the Knossos Palace), mythology and history, main towns and villages, but also weather, banks, transportation, entertainment, food and drinks.
Weather
The weather in Crete is characterized by mild, rainy winters and hot, dry summers. The climate of Crete is a temperate Mediterranean climate In October it is mostly sunny, very few windy days but some rain will fall, especially in the west part of Crete. The weather is very good for outdoor activities. Warm clothes are rarely necessary.
The average weather around the conference dates:
Month | October |
Mean max. temperature (°C (F)) | 23,4 (78,8) |
Mean min. temperature (°C (F)) | 16,5 (60.8) |
Mean num. of raindays | 1 |
Mean daily sunshine duration hours | 6,24’ |
Average sea temperature (°C) | 22 |
Other Information
Currency
The unit of currency is the Euro.
Currency
exchange calculator
Visas
Greece is part of the European Union and adheres to the Schengen Treaty. Please visit the site of the Greek Ministry of Foreign Affairs to find out whether a visa is required for your country, and how to obtain it. Letters of invitations for the registered participants can be issued by the conference General Chair.
Voltage
Electricity in Greece is 220V.