SAT Solving in der Praxis
- Typ: Vorlesung / Übung (VÜ)
- Lehrstuhl: KIT-Fakultäten - KIT-Fakultät für Informatik - Institut für Theoretische Informatik - ITI Sinz
- Semester: SS 2018
-
Ort:
Geb. 50.34, Raum -120
-
Zeit:
Di 17.04.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Do 19.04.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Di 24.04.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Do 26.04.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Do 03.05.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Di 08.05.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Di 15.05.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Do 17.05.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Di 22.05.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Do 24.05.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Di 29.05.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Di 05.06.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Do 07.06.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Di 12.06.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Do 14.06.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Di 19.06.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Do 21.06.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Di 26.06.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Do 28.06.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Di 03.07.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Do 05.07.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Di 10.07.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Do 12.07.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Di 17.07.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Do 19.07.2018
14:00 - 15:30, wöchentlich
50.34 Raum -120
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
-
Dozent:
Dr. Tomas Balyo
Prof. Dr. Carsten Sinz - SWS: 3
- LVNr.: 2400085
Links
| Vortragssprache | Englisch |