Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter
Materialien
Vorlesungsmaterial


Seminar: Dependency Quantified Boolean Formulas - Sommersemester 2015

Zeit / Ort


Vorlesung Die Vorbesprechung findet am Do 23.04.2015 um 11 Uhr im Raum 051.00.026 statt.

Der erste Seminarblock findet am Di 02.06.2015 um 13 Uhr im Raum 051.00.026 statt. 

Der zweite Seminarblock findet am Do 16.07.2015 von 13 bis 15:30 Uhr und am Fr 17.07.2015 von 10 bis 12:00 Uhr im Raum 051.00.026 statt.