SAT Solving in der Praxis
- Type: Vorlesung / Übung (VÜ)
- Chair: KIT-Fakultäten - KIT-Fakultät für Informatik - Institut für Theoretische Informatik - ITI Sinz
- Semester: SS 2017
-
Time:
Mo 24.04.2017
14:00 - 15:30, wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (2. Obergeschoss)
Do 27.04.2017
14:00 - 15:30
Mo 08.05.2017
14:00 - 15:30, wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (2. Obergeschoss)
Do 11.05.2017
14:00 - 15:30
Mo 15.05.2017
14:00 - 15:30, wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (2. Obergeschoss)
Mo 22.05.2017
14:00 - 15:30, wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (2. Obergeschoss)
Mo 29.05.2017
14:00 - 15:30, wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (2. Obergeschoss)
Do 08.06.2017
14:00 - 15:30
Mo 12.06.2017
14:00 - 15:30, wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (2. Obergeschoss)
Mo 19.06.2017
14:00 - 15:30, wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (2. Obergeschoss)
Do 22.06.2017
14:00 - 15:30
Mo 26.06.2017
14:00 - 15:30, wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (2. Obergeschoss)
Mo 03.07.2017
14:00 - 15:30, wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (2. Obergeschoss)
Do 06.07.2017
14:00 - 15:30
Mo 10.07.2017
14:00 - 15:30, wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (2. Obergeschoss)
Mo 17.07.2017
14:00 - 15:30, wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (2. Obergeschoss)
Do 20.07.2017
14:00 - 15:30
Mo 24.07.2017
14:00 - 15:30, wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (2. Obergeschoss)
-
Lecturer:
Dr. Tomas Balyo
Prof. Dr. Carsten Sinz - SWS: 3
- Lv-No.: 2400085
Links
| Vortragssprache | Englisch |