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
Accommodation
Special conference rates - bookable through the online conference registration system (www.easyconferences.org).
Note:
- All the accommodation prices are inclusive of Bed & Breakfast, all taxes and VAT.
- For a half double room you need to find on your own the other person and use the share code provided through the registration page.
Amirandes Resort
Amirandes Resort – 5* (VENUE HOTEL)
| Room Type |
Price in EURO
|
| Single |
105
|
| Double |
130
|
| Half-Double |
65
|
View location map here
Akin to the design of Minoan Palaces, in a location offering superb sea views and sunsets, with a state- of- the -art cuisine, excellent spa facilities, enviable yet luxurious guest rooms and in- room facilities, the full of romanticism range of restaurants, deservingly can render this multi-awarded hotel exclusive resort - which has much more to benefit from - compared to the special conference rates as heaven on earth.
For a thorough description of the resort, click here. As for the resort’s website click here.
