Logik in der Informatik
Prof. Dr. Martin Grohe

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 Wintersemesters 2005/06 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
Fr, 28.11.05      Transportation distances under transformations Panos Giannopoulos
(HU Berlin)
Fr, 4.11.05 Decomposition Methods without Decompositions in Constraint Satisfaction Hubie Chen
(HU Berlin)
Fr, 11.11.05 An efficient derandomisation for Color Coding Dzifa Ametowobla
(HU Berlin)
Mo, 21.11.05
14:15 Uhr
Complexity of DATALOG on dense linear orders Götz Schwandtner
(Johannes Gutenberg-Universität Mainz
und HU Berlin)
Fr, 2.12.05 DAG-Width and Parity Games Stephan Kreutzer
(HU Berlin)
Fr, 9.12.05 Bounded Parameterized Complexity Mark Weyer
(HU Berlin)
Fr, 16.12.05 Monotonicity and connectivity for width parameters Dimitrios M. Thilikos
(Universitat Politècnica de Catalunya)
Fr, 20.1.06
Raum 3.101
Improved Bound for the PPSZ/Schöning-Algorithm for 3-SAT Daniel Rolf
(HU Berlin)
Fr, 27.1.06 Reversal Complexity Revisited André Hernich
(HU Berlin)
Fr, 10.2.06 Orbitopes -- Breaking Symmetries in Integer Programs Volker Kaibel
(ZIB und TU Berlin)
Fr, 10.2.06
15:15 Uhr
On Parameterized Approximability Magdalena Grüber
(HU Berlin)
Fr, 17.2.06 Point set matching in high dimensions: How difficult is it? Panos Giannopoulos
(HU Berlin)
Last modified: Fri Feb 17 14:52:39 CET 2006
André Hernich