|
Logik in der Informatik
Prof. Dr. Martin Grohe |
 Institut für Informatik |
Dieses Seminar wird von Mitgliedern der Arbeitsgruppe 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.
|
Freitag, 27.06.2008
11 - 13
|
Berit Grußien
A Quadratic Running Time Algorithm for Majority Constraints
|
|
Mittwoch, 11.06.2008
11 - 13
|
Dániel Marx, Budapest University of Technology and Economics
Movement Problems
|
|
Freitag, 06.06.2008
11 - 13
|
Kord Eickmeyer
Algorithmische Rekonstruktion phylogenetischer Bäume
|
|
Freitag, 16.05.2008
11 - 13
|
Isolde Adler
Compactness of tree-width and other hypergraph invariants
|
|
Mittwoch, 07.05.2008
11 - 13
|
Tomer Kotek, Technion, Israel
Connection matrices of numeric graph invariants
|
|
Freitag, 25.04.2008
11 - 13
|
Holger Dell
Algebraic Reductions (in the Coloured Tutte Polynomial)
|
|
Freitag, 18.04.2008
11 - 13
|
Johannes Fichte
SAT Solving auf Formeln beschränkter Baumweite
|
| Zeigt alle Veranstaltungen im Zeitraum 2008-04-01 - 2008-09-30 |
Abbonieren:
/
.ics
|