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