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
Paper Submission
Submission Instructions
Contributions should be in LNCS style (available here ), max. 15 pages.