Co-located Events at the ISoLA Week:
- STRESS 2012 - International School on Tool-based Rigorous Engineering of Software Systems
- RERS Greybox Challenge 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
- Approaches 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
- Linux Driver Verification
- 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
Conference Program
Complete Program
Complete programm (all days, all sessions, all time slots): ISoLA2012-program-0210.pdf
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 | |||||||||||||||
|
|
FRCSS 20121)
|
Reception1)
|
|
Banquet1)
|
FRCSS 20121)
|
|
|||||||||||
1) in the evening
ISoLA
Sunday 14. Oct.
| 16.00 | RERS Greybox Challenge | ||
| Offline Results | |||
| Online Problems | |||
| 18.30 | Registration & Receiption |
Monday 15. Oct.
| 8.45 | Opening ISoLA | ||
| 9.00 | EternalS | Runtime Verification | Linux Driver Verification |
| discussion | discussion | discussion | |
| 10.30 | coffee break | ||
| 11.00 | EternalS | Runtime Verification | Linux Driver Verification |
| discussion | discussion | discussion | |
| 12.30 | lunch | ||
| 15.00 | EternalS | Runtime Verification | Linux Driver Verification |
| discussion | discussion | discussion | |
| 16.30 | coffee break | ||
| 17.00 | Bioscientific Data Processing | Runtime Verification | IT Simply works (ITSy 2012) |
| discussion | discussion | discussion | |
| 18.30 | |||
Tuesday 16. Oct.
| 9.00 | Handling heterogeneity | Timing Constraints | Learning Techniques |
| discussion | discussion | discussion | |
| 10.30 | coffee break | ||
| 11.00 | Healthcare Systems | Timing Constraints | Learning Techniques |
| discussion | discussion | discussion | |
| 12.30 | lunch | ||
| 13.30 | Healthcare System | Timing Constraints | Bioscientific Data Processing |
| discussion | discussion | discussion | |
| 14.30 | |||
| 15.00 | Outing & Conference dinner | ||
Wednesday 17. Oct.
| 9.00 | Intelligent Transportation Systems | Mastering Change | Learning Tutorial |
| discussion | discussion | discussion | |
| 10.30 | coffee break | ||
| 11.00 | Intelligent Transportation Systems | Mastering Change | Learning Tutorial |
| discussion | discussion | discussion | |
| 12.30 | lunch | ||
| 15.00 | Intelligent Transportation Systems | Mastering Change | Learning Tutorial |
| discussion | discussion | discussion | |
| 16.30 | coffee break | ||
| 17.00 | Model-Based Testing | Mastering Change | Quantitative Methods |
| discussion | discussion | discussion | |
| 18.30 | |||
| 20.00 | Fish dinner (optional) | ||
Thursday 18. Oct.
| 9.00 | Model-Based Testing | Robotik Systems | Geoinformation Systems |
| discussion | discussion | discussion | |
| 10.30 | coffee break | ||
| 11.00 | RERS Greybox Challenge | Robotik Systems | Geoinformation Systems |
| discussion | discussion | discussion | |
| 13.00 | closing lunch |
||
| 16.00 | ISoLA Busines meeting with coffee and cake | ||