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
Conference Program
Weekly Overview
|
Wed
10 |
Thu
11 |
Fri
12 |
Sat
13 |
Sun
14 |
Mon
15 |
Tue
16 |
Wed
17 |
Thu
18 |
|||||||||
|
|
STRESS | ISoLA | |||||||||||||||
|
|
SEW | Soft Skills | |||||||||||||||
|
|
FOSD1)
|
Reception1)
|
|
Banquet1)
|
FOSD1)
|
|
|||||||||||
1) in the evening