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

Seminar:
Termersetzungssysteme - Aktuelle Themen und Erweiterungen

(S2, WS 2006/07)

LuFG Informatik II


Veranstalter

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



Inhalt

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

Voraussetzungen

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.



Termine

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:



Themen

DatumZeitThemaBetreuerReferent
12.02.11:00-11:40StringersetzungP. Schneider-KampMarkus Plum
12.02.11:55-12:35MatrixordnungenP. Schneider-KampPaul Hänsch
12.02.14:00-14:40Dependency PairsJ. GieslMartin Liebenberg
12.02.14:55-15:35Nicht-TerminierungsanalyseR. ThiemannNils Junike
12.02.15:50-16:30Higher-Order TerminierungS. SwiderskiMartin Wermers
13.02.09:30-10:10Terminierungsanalyse für HaskellS. SwiderskiRita Erfurt
13.02.10:25-11:05Terminierungsanalyse für PrologP. Schneider-KampMarkus Look
13.02.11:20-12:00LebendigkeitsanalyseJ. GieslLukas Spychalski
13.02.12:15-12:55Kombination von EntscheidungsverfahrenS. SwiderskiMichael Parting
13.02.14:00-14:40Gröbner-BasenJ. GieslCarsten Logen
13.02.14:55-15:35Termersetzung modulo GleichungenR. ThiemannClemens Adolphs
13.02.15:50-16:30Kontext-sensitive TermersetzungS. SwiderskiHanno Vieten
13.02.16:45-17:25Bedingte TermersetzungP. Schneider-KampCarsten Otto


Sonstiges

Die Ausarbeitung sollte 12 Seiten umfassen und der Vortrag 40 Minuten dauern.





Zuordnung

Theoretische Informatik, Informatik Vertiefung



Rückfragen

Bitte wenden Sie sich an René Thiemann.


Last modified: Fri Dec 15 10:08:41 CEST 2006
RWTH Aachen