|
|
Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
|
Seminar: |
|
Prof. Dr. Jürgen Giesl, Cornelius Aschermann, Florian Frohn, Jera Hensel, Thomas Ströder
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.
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.).
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!
| 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 |
Theoretische Informatik, Theoretische Grundlagen von SSE
Bitte wenden Sie sich an Thomas Ströder.
| Disclaimer | Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
|