Logik in der Informatik
Prof. Dr. Martin Grohe
Humboldt-Logo
Institut für Informatik

Mitarbeiterseminar Logik in der 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 2006 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:

 
Datum Thema Referent
21.4.06 Comparing the succinctness of various logics Nicole Schweikardt
(HU Berlin)
28.4.06 SAT solving on formulas of bounded tree-width Bettina Hepp
(HU Berlin)
12.5.06 On parameterized approximate counting Moritz Müller
(Freiburg)
26.5.06 A parameterized view on matroid optimization problems Dániel Marx
(HU Berlin)
23.6.06 Counting Small Things is Sometimes Hard Marc Thurley
(HU Berlin)
7.7.06 Tree decompositions for graphs and hypergraphs with directed edges Isolde Adler
(HU Berlin)
14.7.06 Parameterized Approximability of Directed-Feedback-Vertex-Set Magdalena Grüber
(HU Berlin)
Do, 20.7.06
15:15 Uhr
Graph decompositions for SAT problems: Taking polarities of literals
into account?!
Oliver Kullmann
(Swansea)


Letzte Änderung: 2006-07-14
André Hernich
Valid HTML 4.01!