This page in English  Lehr- und Forschungsgebiet Informatik II  Fachgruppe Informatik RWTH

Seminar:
Termersetzungssysteme - Aktuelle Themen und Erweiterungen

(S2, SS 2004)

LuFG Informatik II


Veranstalter

Prof. Dr. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp



Voraussetzungen

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.



Termine

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



Inhalt

ZeitThemaReferentBetreuer
Mo., 09:30 - 10:30Dependency PairsJacob PalczynskiPeter Schneider-Kamp
Mo., 10:45 - 11:45ModularitätDaniel MerschenJürgen Giesl
Mo., 12:45 - 13:45Rewriting Logic and rewrite-basierte ProgrammiersprachenStefan SpiekerPeter Schneider-Kamp
Mo., 14:00 - 15:00Probabilistische TermersetzungDennis MeichsnerPeter Schneider-Kamp
Mo., 15:15 - 16:15Baumautomaten und ReduktionsstrategienStefan DörhöferJürgen Giesl
Mo., 16:30 - 17:30Liveness in RewritingSebastian BrandtJürgen Giesl
Di., 10:00 - 11:00Bedingte TermersetzungssystemeBenjamin von EickenPeter Schneider-Kamp
Di., 11:15 - 12:15StringersetzungssystemeAlexander MichailidisPeter Schneider-Kamp
Di., 13:15 - 14:15Term Rewriting InductionMatthias RaffelsieperPeter Schneider-Kamp
Di., 14:30 - 15:30Entscheidungsverfahren mittels KongruenzabschlussCarsten FuhsRené Thiemann
Di., 15:45 - 16:45Gröbner-BasenTobias BuhrJürgen Giesl
Mi., 10:00 - 11:00TermgraphersetzungChristian SteinRené Thiemann
Mi., 11:15 - 12:15Gleichheits-UnifikationSebastian StaackRené Thiemann
Mi., 13:15 - 14:15Termersetzung modulo GleichheitenMarco LangeRené Thiemann
Mi., 14:30 - 15:30Kontext-Sensitive TermersetzungAlexander StrauchJürgen Giesl
Mi., 15:45 - 16:45Higher-Order RewritingMichael LambertzRené Thiemann


Sonstiges

Die Ausarbeitung sollte circa 15 Seiten umfassen und der Vortrag etwa 50 Minuten dauern.



Zuordnung

Theoretische Informatik, Informatik Vertiefung



Rückfragen

Bitte wenden Sie sich an René Thiemann ( thiemann@informatik.rwth-aachen.de, Tel: 80-21241).


Last modified: Wed May 12 14:29:41 CEST 2004
RWTH Aachen