|
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 Wintersemesters 2006/07 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:
| 20.10.2006 |
Sebastian Ordyniak Gerichtete Graphen: Zerlegungen und Algorithmen |
|
Mi, 25.10.2006 11:15 Uhr |
Kord Eickmeyer (Kawasaki) Grenzwerte stochastischer Prozesse in der Analyse zufälliger Bäume |
| 3.11.2006 |
Dániel Marx Approximating Circular Arc Coloring is Hard |
| 10.11.2006 |
Sebastian Ordyniak Games: a graphical user interface for mathematical graphs and algorithms |
| 17.11.2006 |
Nicole Schweikardt Expressive power of numerical predicates (Teil 1) |
| 1.12.2006 |
Nicole Schweikardt Expressive power of numerical predicates (Teil 2) |
| 15.12.2006 |
Martin Grohe Ein FPT-Algorithmus zum Zerlegen von Graphen mit verbotenen Minoren (Teil 2) |
| 19.1.2007 |
Götz Schwandtner The complexity of datalog on linear orders |
| 26.1.2007 |
André Hernich Data Exchange under the Closed World Assumption with Constraints on Target Databases |
| 2.2.2007 |
Manuel Bodirsky Connections between the existential pebble game, finite variable logics, Datalog, and hypertree duality for infinite structures |
| 16.2.07 |
Panos Giannopoulos Parameterized complexity results for covering point sets in high dimensions |