Lehr- und Forschungsgebiet Informatik II  Fachgruppe Informatik RWTH

Seminar:
Termersetzungssysteme - Aktuelle Themen und Erweiterungen

(S2, SS 2002)

LuFG Informatik II


Veranstalter

Prof. Dr. Jürgen Giesl, Darius Dlugosz, René Thiemann, Benedikt Bollig



Anmeldung

Interessenten melden sich bitte bei Prof. Dr. Jürgen Giesl ( giesl@informatik.rwth-aachen.de, Tel: 80-21230).



Voraussetzungen

Kenntnisse über Termersetzungssysteme (z.B. Besuch der Vorlesung "Termersetzungssysteme" in diesem Semester).



Literatur

Wird bei der Vorbesprechung bekanntgegeben und verteilt.


Inhalt

In diesem Seminar werden weiterführende Techniken und Ergebnisse aus dem Bereich der Termersetzungssysteme vorgestellt, wie beispielsweise



Zuordnung

Theoretische Informatik, Informatik Vertiefung



Termine
Donnerstag, 18.07.
Nr.UhrzeitThemaReferentBetreuer
110:00 - 11:00TermgraphersetzungChristian HangRené Thiemann
211:15 - 12:15Dependency PairsArndt BaarsRené Thiemann
312:30 - 13:30ModularitätMartin MertensProf. Jürgen Giesl
Pause
414:15 - 15:15Kontext-Sensitive TermersetzungDenis KuphalProf. Jürgen Giesl
515:30 - 16:30Bedingte TermersetzungssystemeMarcel Schmidt BorredaDarius Dlugosz
616:45 - 17:45Higher-Order RewritingMartin NiedernolteRené Thiemann
Freitag, 19.07.
709:30 - 10:30Termersetzung modulo GleichheitenChristian LappeProf. Jürgen Giesl
810:45 - 11:45GleichheitsunifikationGökhan KarakasRené Thiemann
912:00 - 13:00BaumautomatenMarkus JogminBenedikt Bollig
Pause
1014:00 - 15:00Entscheidungsverfahren mittels KongruenzabschlussJan EllenbeckDarius Dlugosz
1115:15 - 16:15Gröbner-BasenSarej MostaphaProf. Jürgen Giesl
1216:30 - 17:30Rewriting Logic und rewrite-basierte ProgrammiersprachenRamin Rezai RadRené Thiemann
1317:45 - 18:45Test Set InductionStephan FalkeDarius Dlugosz

Last modified: Fri Feb 21 14:41:13 CET 2003 / Darius Dlugosz / Lehr- und Forschungsgebiet Informatik II
RWTH Aachen