| Datum |
Vortragender |
Titel des Vortrags |
Bemerkung |
| 7.5. |
Thilo Weigel |
Roboterfußball |
| 14.5. |
fällt aus |
|
| 21.5. |
Joerg Hoffmann |
Was macht den Unterschied zwischen HSP und FF? |
| 28.5. |
Michael Brenner |
Ein formales Modell für nebenläufige Planungsdomänen |
| 4.6. |
fällt aus (Pfingstmontag) |
|
| 11.6. |
|
|
| 18.6. |
Dr. Martin Strecker (TU München) |
Sprachformalisierung und -verifikation von Java in Isabelle |
| 25.6. |
Wolfgang Hatzack |
Operative Verkehrsplanung |
| 2.7. |
Dr. Jussi Rintanen |
Fortschritte in Evaluierung von quantifizierten Booleschen Formeln |
| 9.7. |
|
|
| 16.7. |
Prof. Dr. Bernhard Nebel |
Schreiben, Einreichen, Publizieren und Begutachten |
| 23.7. |
|
|
| 30.7. |
Malte Helmert |
PDDL 2.1 und PDDL+ |