|
|
Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
|
Seminar: |
|
Prof. Dr. Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Carsten Fuhs, Carsten Otto, Thomas Ströder
In diesem Seminar werden weiterführende Techniken und Ergebnisse aus dem Bereich der Termersetzungssysteme vorgestellt.
Kenntnisse über Termersetzungssysteme (z.B. Besuch der Vorlesung "Termersetzungssysteme" in diesem Semester, SS 2011).
Es gelten die folgenden strikten Fristen:
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!
| Datum | Zeit | Thema | Betreuer | Referent(in) |
|---|---|---|---|---|
| 22.07. | 10:15 | Dependency Pairs | M. Brockschmidt | Andrej Dyck |
| 22.07. | 11:00 | SAT for Recursive Path Orders | C. Fuhs | Fabian Kürten |
| 22.07. | 12:45 | String Rewriting and Matchbounds | C. Otto | Piotr Krantz |
| 22.07. | 13:30 | Context-Sensitive and Outermost Rewriting | J. Giesl | Christoph Hommelsheim |
| 25.07. | 10:15 | Rewriting Logic | T. Ströder | Michael Krein |
| 25.07. | 11:00 | Termination Analysis for Haskell | T. Ströder | Richard Musiol |
| 25.07. | 12:45 | Completion | C. Fuhs | Florian Klingner |
| 25.07. | 13:30 | Gröbner Bases | J. Giesl | Tim 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.
Theoretische Informatik, Informatik Vertiefung
Bitte wenden Sie sich an Carsten Fuhs.
| Disclaimer | Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
|