|
|
Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
|
|
Seminar: Termersetzungssysteme - Aktuelle Themen und Erweiterungen (S2, WS 2006/07) |
|
Prof. Dr. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Swiderski
In diesem Seminar werden weiterführende Techniken und Ergebnisse aus dem Bereich der Termersetzungssysteme vorgestellt.
Kenntnisse über Termersetzungssysteme (z.B. Besuch der Vorlesung "Termersetzungssysteme" in diesem Semester, WS 2006/07). Darüber hinaus sollten Sie Kenntnisse in "Logikprogrammierung", "Automatisierter Programmverifikation" oder "Funktionaler Programmierung" aus früheren Semestern besitzen.
Das Seminar wird als Blockseminar am 12. 2. 2007 im B-IT in Bonn und am 13. 2. 2007 in Aachen veranstaltet. Es gelten folgende Fristen:
| Datum | Zeit | Thema | Betreuer | Referent |
|---|---|---|---|---|
| 12.02. | 11:00-11:40 | Stringersetzung | P. Schneider-Kamp | Markus Plum |
| 12.02. | 11:55-12:35 | Matrixordnungen | P. Schneider-Kamp | Paul Hänsch |
| 12.02. | 14:00-14:40 | Dependency Pairs | J. Giesl | Martin Liebenberg |
| 12.02. | 14:55-15:35 | Nicht-Terminierungsanalyse | R. Thiemann | Nils Junike |
| 12.02. | 15:50-16:30 | Higher-Order Terminierung | S. Swiderski | Martin Wermers |
| 13.02. | 09:30-10:10 | Terminierungsanalyse für Haskell | S. Swiderski | Rita Erfurt |
| 13.02. | 10:25-11:05 | Terminierungsanalyse für Prolog | P. Schneider-Kamp | Markus Look |
| 13.02. | 11:20-12:00 | Lebendigkeitsanalyse | J. Giesl | Lukas Spychalski |
| 13.02. | 12:15-12:55 | Kombination von Entscheidungsverfahren | S. Swiderski | Michael Parting |
| 13.02. | 14:00-14:40 | Gröbner-Basen | J. Giesl | Carsten Logen |
| 13.02. | 14:55-15:35 | Termersetzung modulo Gleichungen | R. Thiemann | Clemens Adolphs |
| 13.02. | 15:50-16:30 | Kontext-sensitive Termersetzung | S. Swiderski | Hanno Vieten |
| 13.02. | 16:45-17:25 | Bedingte Termersetzung | P. Schneider-Kamp | Carsten Otto |
Die Ausarbeitung sollte 12 Seiten umfassen und der Vortrag 40 Minuten dauern.
Theoretische Informatik, Informatik Vertiefung
Bitte wenden Sie sich an René Thiemann.
|
 |