|
Logik in der Informatik
Prof. Dr. Martin Grohe |
 Institut für Informatik |
Dieses Seminar wird von Mitgliedern der Arbeitsgruppen Logik in der Informatik, Logik und diskrete Systeme und Logik und Datenbanktheorie als Forum der Diskussion und des Austauschs genutzt. Studierende und Gäste sind herzlich eingeladen. Das Seminar findet während des Sommersemesters 2007 Freitags von 11-13 Uhr im Raum 4.410 des Johann von Neumann Hauses (Rudower Chaussee 25) statt.
Folgende Termine und Vorträge sind bisher vorgesehen:
| 27.4.2007 |
Nicole Schweikardt Model theory makes formulas large |
|
4.5.2007 11:30 Uhr |
Marc Thurley Quadratische Formen über endlichen Körpern |
| 11.5.2007 |
Paul Bonsma Finding Paths between Graph Colorings: PSPACE-completeness and Superpolynomial Distances |
| 1.6.2007 |
André Hernich CWA-Solutions for Data Exchange Settings with Target Dependencies |
| 8.6.2007 |
Kord Eickmeyer Gröbnerbasen und Polynomgleichungssysteme |
| 22.6.2007 |
Sebastian Ordyniak Räuber-und-Gendarmen-Spiele auf gerichteten Graphen (verschoben auf den 18.7.2007) |
| 29.6.2007 |
Magdalena Grüber Parameterized Approximability of the Disjoint Cycle Problem |
| 6.7.2007 |
Götz Schwandtner Datalog auf unendlichen Strukturen |
|
Mittwoch 18.7.2007 11:00 Uhr |
Sebastian Ordyniak Räuber-und-Gendarmen-Spiele auf gerichteten Graphen |
| 20.7.2007 |
Isolde Adler Computing excluded minors |