Co-located Events at the ISoLA Week:
- STRESS 2012 - International School on Tool-based Rigorous Engineering of Software Systems
- RERS Greybox Challenge 2012 - 2nd Challenge on Regular Extrapolation of Reactive Systems
- SEW 2012 - 35th IEEE Software Engineering Workshop
- Graduate/Postgraduate Course on "Soft Skills for IT Professionals in Science and Engineering"
- FRCSS 2012 - 2nd Future Research Challenges for Software and Services
Tracks
- Bioscientific Data Processing and Modeling
- Learning Techniques for Software Verification and Validation
- Model-Based Testing and Model Inference
- Quantitative Modelling and Analysis
- Software Aspects of Robotic Systems
- Runtime Verification: the application perspective
- Approaches for Mastering Change
- Timing Constraints: Theory Meets Practice
- Adaptable and Evolving Software for Eternal Systems
- LearnLib Tutorial: From finite automata to register interface programs
- The ITSy Day 2012
- Process-oriented geoinformation systems and applications
- Handling heterogeneity in formal developments of hardware and software systems
- Formal Methods for Intelligent Transportation Systems
- Linux Driver Verification
- Processes and data integration in the networked healthcare
Symposium Chair
Bernhard Steffen
(TU Dortmund, D)
steffen[at]cs.uni-dortmund.de
Program Chair
Tiziana Margaria
(Univ. Potsdam, D)
margaria[at]cs.uni-potsdam.de
Accommodation
Special conference rates - bookable through the online conference registration system (www.easyconferences.org(1)).
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 |
110
|
Double |
136
|
Half-Double |
68
|
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.
Astir Beach Hotel
Astir Beach Hotel – 4*Room Type |
Price in EURO
|
Single |
48
|
Double |
60
|
Half-Double |
30
|
Price is inclusive of returntransfers to and from thevenue hotel (Amirandes) in the morning and evening.
website of the hotel
(1) Contact:
Easy Conferences | |
Email: | info@easyconferences.org |
Phone: | +357-22-591900 |
Fax: | +357-22-591700 |