|
|
Lehr- und Forschungsgebiet Informatik II | Fachgruppe Informatik |
|
|
Seminar: Termersetzungssysteme - Aktuelle Themen und Erweiterungen (S2, SS 2004) |
|
Prof. Dr. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp
Kenntnisse über Termersetzungssysteme (z.B. Besuch der Vorlesung "Termersetzungssysteme" in diesem Semester, SS 2004). Darüber hinaus sollten Sie Kenntnisse in "Logikprogrammierung", "Automatisierter Programmverifikation" oder "Funktionaler Programmierung" aus früheren Semestern besitzen.
Das Seminar wird als Blockseminar am 2. bis 4. August 2004 im Seminarraum des Lehrstuhls (Raum 4201b) veranstaltet. Es gelten folgende Fristen:
| 14.5.: | Literatur abholen |
| 18.6.: | Konzeption absprechen |
| 16.7.: | Erste Version der vollständigen Ausarbeitung abgeben |
| Zeit | Thema | Referent | Betreuer |
|---|---|---|---|
| Mo., 09:30 - 10:30 | Dependency Pairs | Jacob Palczynski | Peter Schneider-Kamp |
| Mo., 10:45 - 11:45 | Modularität | Daniel Merschen | Jürgen Giesl |
| Mo., 12:45 - 13:45 | Rewriting Logic and rewrite-basierte Programmiersprachen | Stefan Spieker | Peter Schneider-Kamp |
| Mo., 14:00 - 15:00 | Probabilistische Termersetzung | Dennis Meichsner | Peter Schneider-Kamp |
| Mo., 15:15 - 16:15 | Baumautomaten und Reduktionsstrategien | Stefan Dörhöfer | Jürgen Giesl |
| Mo., 16:30 - 17:30 | Liveness in Rewriting | Sebastian Brandt | Jürgen Giesl |
| Di., 10:00 - 11:00 | Bedingte Termersetzungssysteme | Benjamin von Eicken | Peter Schneider-Kamp |
| Di., 11:15 - 12:15 | Stringersetzungssysteme | Alexander Michailidis | Peter Schneider-Kamp |
| Di., 13:15 - 14:15 | Term Rewriting Induction | Matthias Raffelsieper | Peter Schneider-Kamp |
| Di., 14:30 - 15:30 | Entscheidungsverfahren mittels Kongruenzabschluss | Carsten Fuhs | René Thiemann |
| Di., 15:45 - 16:45 | Gröbner-Basen | Tobias Buhr | Jürgen Giesl |
| Mi., 10:00 - 11:00 | Termgraphersetzung | Christian Stein | René Thiemann |
| Mi., 11:15 - 12:15 | Gleichheits-Unifikation | Sebastian Staack | René Thiemann |
| Mi., 13:15 - 14:15 | Termersetzung modulo Gleichheiten | Marco Lange | René Thiemann |
| Mi., 14:30 - 15:30 | Kontext-Sensitive Termersetzung | Alexander Strauch | Jürgen Giesl |
| Mi., 15:45 - 16:45 | Higher-Order Rewriting | Michael Lambertz | René Thiemann |
Die Ausarbeitung sollte circa 15 Seiten umfassen und der Vortrag etwa 50 Minuten dauern.
Theoretische Informatik, Informatik Vertiefung
Bitte wenden Sie sich an René Thiemann ( thiemann@informatik.rwth-aachen.de, Tel: 80-21241).
|
 |