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