Agenda of the Renewal Kick-Off Workshop of DFG SPP1593
| Thursday, January 14 | ||
|---|---|---|
| 10:30-11:00 | Arrival and Coffee | |
| 11:00-11:20 | R. Reussner: Opening and Retrospective | |
| 11:20-11:50 | Coordination Panel: Timeline, Projects, Case Studies, Book | |
| 11:50-12:10 | CURES Plans | Chair: M. Goedicke |
| 12:10-12:30 | iObserve-2 Plans | |
| 12:30-13:00 | DECLARE Intro + Idea + Plans (new) | |
| 13:00-14:00 | Lunch | |
| 14:00-14:30 | B. Vogel-Heuser/R. Reussner: Extended Vision for Case Studies (including DoMain project) | |
| 14:30-15:30 | Case Study Breakouts: CoCoME || xPPU |
|
| 15:30-16:00 | Coffee | |
| 16:00-16:20 | ENSURE II Plans | Chair: W. Hasselbring |
| 16:20-16:45 | IMoTEP 2 Idea + Plans (restructured) | |
| 16:45-17:10 | IMPROVE-APS Idea + Plans (restructured) | |
| 17:10-17:30 | DAPS2 Plans | |
| 18:30-21:00 | Workshop Dinner | |
| Friday, January 15 | ||
|---|---|---|
| 08:30-08:50 | LinkedFYPA²C Plans | Chair: R. Reussner |
| 08:50-09:10 | MOCA 2 Plans | |
| 09:10-09:30 | MoDEMMiCAS Plans | |
| 09:30-10:00 | B. Paech: Empirical Work in 2nd Funding Period | |
| 10:00-10:20 | Coffee | |
| 10:20-11:20 | Breakout: Formal Modeling and Verification | |
| 11:20-11:40 | Pythia Plans | Chair: B. Vogel-Heuser |
| 11:40-12:00 | SecVolution@Run-time Plans | |
| 12:00-13:00 | Breakout: Model Differences - Modelling and Evaluation | |
| 13:00-13:15 | Coordination Panel: Closing | |
| 13:15-14:00 | Fingerfood Buffet and Departure | |
| Legend | |
|---|---|
| Introducing/concluding talk with discussion | |
| Project talk with discussion (20/25/30 for extended/restructured/new projects) | |
| Breakout (moderated discussion) | |
| Break |
Last modification: Jan. 14, 2016