| Wednesday, October 5 | Thursday, October 6 | Friday, October 7 | Saturday, October 8 | Sunday, October 9 | |
|---|---|---|---|---|---|
| 09:00 | Simplicity-Driven Development of Domain-Tailored Modeling Environments | Towards a Holistic Security Concept | Verification Techniques for Hybrid Systems | On the Power of Statistical Model Checking | |
| 10:30 | Coffee Break | Coffee Break | Coffee Break | Coffee Break | |
| 11:00 | Simplicity-Driven Development of Domain-Tailored Modeling Environments | Towards a Holistic Security Concept | Verification Techniques for Hybrid Systems | On the Power of Statistical Model Checking | |
| 12:30 | Lunch Break | Lunch Break | Lunch Break | Lunch Break | Lunch Break |
| 14:30 | Stefan Naujokat, Johannes Neubauer, Bernhard Steffen Simplicity-Driven Development of Domain-Tailored Modeling Environments |
Tiziana Margaria, Anna-Lena Lamprecht, Antonio Varriale |
|||
| 16:00 | Coffee Break | Coffee Break | Coffee Break | Coffee Break | |
| 16:30 - 18:00 | Soft Skills: Getting to Yes | Soft Skills: Getting to Yes | Soft Skills: Getting to Yes |