Seminar: Dependency Quantified Boolean Formulas - Summer Term 2015

time / place

lecture

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.