Associated Events at the ISoLA Week:
- "International School on Tool-based Rigorous Engineering of Software Systems -STRESS 2014"
- Challenge on Rigorous Examination of Reactive Systems
- Doctoral Symposium with Poster Session and Postconference Proceedings in Springer's CCIS
- Tutorial: Automata Learning in Practice
- Industrial Day
Tracks
- Statistical Model Checking, Past Present and Future
- Formal Methods and Analysis in Software Product Line Engineering
- Risk-Based Testing
- Scientific Workflows
- Medical Cyber Physical Systems
- Evaluation and Reproducibility of Program Analysis
- Automata Learning
- Rigorous Engineering of Autonomic Ensembles
- Engineering Virtualized Services
- Security and Dependability for Resource Constrained Embedded Systems
- Semantic heterogeneity in the formal development of complex systems
- Evolving Critical Systems
- Model-based Code-Generators and Compilers
- 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
Book your accommodation at the Special Conference rates through the online registration page www.easyconferences.org.
Click here to view the Hotels location map
Corfu Imperial, Grecotel Exclusive Resort-5* VENUE
- Single room: € 98.00
- Double room: € 124.00
- Half-Double room: € 62.00
Grecotel Eva Palace - 5*
- Single room: € 65.00
- Double room: € 86.00
- Half-Double room: € 43.00
The above accommodation prices are inclusive of Bed & Breakfast, all taxes and VAT.
Please note that for a Half-double room you need to find on your own the other person with whom the room will be shared and use the shared code provided through the registration page www.easyconferences.org.