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

Seminar:
Termersetzungssysteme - Aktuelle Themen und Erweiterungen

(S2, SS 2011)

LuFG Informatik 2


Veranstalter

Prof. Dr. Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Carsten Fuhs, Carsten Otto, Thomas Ströder



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, SS 2011).



Termine

Es gelten die folgenden strikten Fristen:

Das Seminar wird als Blockseminar am Ende des Semesters veranstaltet.



Vorgaben

Die Ausarbeitung darf nicht mehr als 10 Seiten inklusive Titel und Literaturverzeichnis umfassen. Bei diesem Umfang sind weder ein Index noch ein Inhaltsverzeichnis erwünscht, allerdings sollte ein Literaturverzeichnis vorhanden sein. Die Ausarbeitung kann auf Englisch oder auf Deutsch verfasst werden. Sollte die Ausarbeitung mehr als fünf Rechtschreibfehler auf einer Seite oder mehr als zehn insgesamt enthalten, wird die Bearbeitung abgebrochen. Verwenden Sie daher sowohl für Ihre Ausarbeitung als auch für Ihre Folien eine automatische Rechtschreibprüfung!



Themen

DatumZeitThemaBetreuerReferent(in)
22.07.10:15Dependency PairsM. BrockschmidtAndrej Dyck
22.07.11:00SAT for Recursive Path OrdersC. FuhsFabian Kürten
22.07.12:45String Rewriting and MatchboundsC. OttoPiotr Krantz
22.07.13:30Context-Sensitive and Outermost RewritingJ. GieslChristoph Hommelsheim
25.07.10:15Rewriting LogicT. StröderMichael Krein
25.07.11:00Termination Analysis for HaskellT. StröderRichard Musiol
25.07.12:45CompletionC. FuhsFlorian Klingner
25.07.13:30Gröbner BasesJ. GieslTim Rohlfs

Das Seminar findet voraussichtlich im Seminarraum des Lehrstuhls für Informatik 2 (Gebäude E2, Raum 4201b) statt. Die Vortragsdauer beträgt 30 Minuten, und als Vortragssprache sind Englisch oder Deutsch möglich. Alle Zeiten sind vorläufig.

Zuordnung

Theoretische Informatik, Informatik Vertiefung



Rückfragen

Bitte wenden Sie sich an Carsten Fuhs.


Disclaimer  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH