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

Seminar:
Termersetzungssysteme - Aktuelle Themen und Erweiterungen

(S2, WS 2015/16)

LuFG Informatik 2


Veranstalter

Prof. Dr. Jürgen Giesl, Cornelius Aschermann, Florian Frohn, Jera Hensel, Thomas Ströder



Inhalt

In diesem Seminar werden weiterführende Techniken und Ergebnisse aus dem Bereich der Termersetzungssysteme vorgestellt. Insbesondere beschäftigen wir uns auch mit Verfahren und Tools zur Programmanalyse und -verifikation, die auf Termersetzung beruhen.


Voraussetzungen

Kenntnisse über Termersetzungssysteme. Diese können z.B. durch den Besuch der Vorlesung "Termersetzungssysteme" in diesem Semester (WS 2015/16) erworben werden.

Darüber hinaus sind Kenntnisse in Programmverifikation oder deklarativen Programmiersprachen von Vorteil (wie z.B. in den Vorlesungen "Funktionale Programmierung", "Logikprogrammierung", etc.).



Termine



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 Rechtschreib- oder Grammatikfehler 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!

Der Vortrag soll eine Dauer von 25 Minuten haben. Alle Vorträge finden am Ende des Semesters im Rahmen eines Blockseminars statt (die genauen Verteilung wird noch bekannt gegeben). Auch für Vortragsfolien sollten Sie eine automatische Rechtschreibprüfung verwenden!



Ablaufplan

Datum Uhrzeit Vortrag Thema Betreuung
02.02.2016 09:00 Hong An Nguyen The Dependency Pair Framework J. Hensel
02.02.2016 09:45 Felix Bier Finding Polynomial Reduction Orders using SAT C. Aschermann
02.02.2016 10:30 Jan Wilhelm Böker Upper Runtime Complexity Bounds F. Frohn
02.02.2016 11:15 Florian Kasper Gröbner Bases J. Giesl
02.02.2016 14:00 Johannes Neuhaus Rewriting Logic, Model Checking, and Narrowing C. Aschermann
02.02.2016 14:45 Jan-Marcel Dietrich Integer Rewriting J. Hensel
02.02.2016 15:30 Lennart Bader Graph Rewriting C. Aschermann
03.02.2016 09:00 Albert Wachtel Lower Runtime Complexity Bounds F. Frohn
03.02.2016 09:45 Karsten Ansteeg Transformational Analysis of Logic Programs T. Ströder
03.02.2016 10:30 Maximilian Doré Termination Analysis of Java Programs J. Giesl
03.02.2016 11:15 LuFG I2 Automated Program Analysis with AProVE J. Giesl


Zuordnung

Theoretische Informatik, Theoretische Grundlagen von SSE



Rückfragen

Bitte wenden Sie sich an Thomas Ströder.


Disclaimer  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH