Sonntag, 24. September 2017
17:00 - 19:00 | Registrierung | ||
ab 19:00 | Gemeinsames Abendessen im Dorint Am Goethepark Weimar |
Montag, 25. September 2017
9:00 - 9:45 | Registrierung | ||
9:45 - 11:30 | Begrüßung und Willkommen | ||
|
|||
11:30 - 11:45 | Kaffeepause | ||
11:45 - 12:45 | Sitzung 1 (Sitzungsleitung: Rudolf Berghammer) | ||
SSA-Form, Sicherheit und Verifikation | |||
|
|||
12:45 - 14:30 | Mittagessen | ||
14:30 - 16:00 | Sitzung 2 (Sitzungsleitung: Christian Heinlein) | ||
Übersetzung, Grammatiken und Typen | |||
|
|||
16:00 - 16:30 | Kaffeepause | ||
16:30 - 18:00 | Sitzung 3 (Sitzungsleitung: Martin Plümicke) | ||
Sprachdesign und Spracherweiterung | |||
|
|||
ab 18:30 | Abendessen im Dorint Am Goethepark Weimar |
Dienstag, 26. September 2017
9:30 - 10:30 | Sitzung 4 (Sitzungsleitung: Anton Ertl) | ||
Sprachdesign, Lehre und Ausbildung | |||
|
|||
10:30 - 11:00 | Kaffeepause | ||
11:00 - 12:30 | Sitzung 5 (Sitzungsleitung: Michael Kruse) | ||
Parallele Programme und Parallelisierung | |||
|
|||
12:30 - 14:30 | Mittagessen | ||
14:30 - 16:00 | Sitzung 6 (Sitzungsleitung: Jens Knoop) | ||
Programmanalyse und -optimierung | |||
|
|||
16:00 - 16:30 | Kaffeepause | ||
ab 17:30 | Stadtrundgang und anschließendes Abendessen im Restaurant Jagemanns (Herderplatz 16) |
Mittwoch, 27. September 2017
9:00 - 10:30 | Sitzung 7 (Sitzungsleitung: Thomas Prinz) | ||
Constraint-Programmierung | |||
|
|||
10:30 - 11:00 | Kaffeepause | ||
11:00 - 12:00 | Sitzung 8 (Sitzungsleitung: Thomas Heinze) | ||
Softwaretechnik, Engineering | |||
|
|||
12:00 - 12:30 | Verabschiedung und Auf Wiedersehen auf der KPS 2019 ! | ||
ab 12:30 | Mittagessen | ||