Co-located Events at the ISoLA Week:

• STRESS 2012 - International School on Tool-based Rigorous Engineering of Software Systems
• RERS 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
• Technologies 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

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