|
Logik in der Informatik
Prof. Dr. Martin Grohe |
 Institut für Informatik |
Dieses Seminar wird von Mitgliedern der Arbeitsgruppen Logik in der Informatik als Forum der Diskussion und des Austauschs genutzt. Studierende und Gäste sind herzlich eingeladen. Das Seminar findet üblicherweise Freitags von 11-13 Uhr im Raum 4.410 des Johann von Neumann Hauses (Rudower Chaussee 25) statt.
|
Fri, 27.06.2008
11 - 13
|
Berit Grußien A Quadratic Running Time Algorithm for Majority Constraints |
|
Wed, 11.06.2008
11 - 13
|
Dániel Marx, Budapest University of Technology and Economics Movement Problems |
|
Fri, 06.06.2008
11 - 13
|
Kord Eickmeyer Algorithmische Rekonstruktion phylogenetischer Bäume |
|
Fri, 16.05.2008
11 - 13
|
Isolde Adler Compactness of tree-width and other hypergraph invariants |
|
Wed, 07.05.2008
11 - 12
|
Tomer Kotek, Technion, Israel Connection matrices of numeric graph invariants |
|
Fri, 25.04.2008
11 - 13
|
Holger Dell Algebraic Reductions (in the Coloured Tutte Polynomial) |
|
Fri, 18.04.2008
11 - 13
|
Johannes Fichte SAT Solving auf Formeln beschränkter Baumweite |
| |