Informatik SS 2024 − Schwerpunkt CPS
1. Studienwoche: 15. - 19.04.2024
  Mo, 15.04.24 Di, 16.04.24 Mi, 17.04.24 Do, 18.04.24 Fr, 19.04.24 
8:00           8:00 
 
 
 
 
 
 
 
 
 
 
 
9:00           9:00 
 
 
 
 
 
 
 
 
 
 
 
10:00      10:00 - 12:00 Uhr
V
Isabelle/HOL:programming, verified!
Prof. Dr. Armin Biere, Dr. Mathias Fleury
Geb. 051: SR 00-034
16
Mi, 17.04.24
   10:00 - 12:00 Uhr
Ü
Einführung in die Kryptographie
Prof. Dr. Christian Schindelhauer
Geb. 051: SR 00-034
16
Do, 18.04.24
   10:00 
 
 
 
 
 
 
 
 
 
 
 
11:00            11:00 
 
 
 
 
 
 
 
 
 
 
 
12:00    12:00 - 14:00 Uhr
V
Einführung in die Kryptographie
Prof. Dr. Christian Schindelhauer
Geb. 101: HS 00-036
16
Di, 16.04.24
     12:00 - 14:00 Uhr
Ü
Einführung in die Kryptographie
Prof. Dr. Christian Schindelhauer
Geb. 101: HS 00-036
16
Do, 18.04.24
12:00 - 14:00 Uhr
Ü
Isabelle/HOL:programming, verified!
Prof. Dr. Armin Biere, Dr. Mathias Fleury
Geb. 101: SR 01-009/13
16
Do, 18.04.24
   12:00 - 14:00 Uhr
Ü
Concurrency
Prof. Dr. Peter Thiemann
Geb. 106: 106 04 007 (VC)
16
Fr, 19.04.24
 12:00 
 
 
 
 
 
 
 
 
 
 
 
13:00             13:00 
 
 
 
 
 
 
 
 
 
 
 
14:00    14:00 - 16:00 Uhr
V
Compilerbau
Prof. Dr. Peter Thiemann
Geb. 051: SR 00-006
16
Di, 16.04.24
   14:00 - 16:00 Uhr
V
Cyber-Physical Systems - Program Verification
Dr. Matthias Heizmann
Geb. 101: HS 00-026
16
Mi, 17.04.24
      14:00 - 15:00 Uhr
V
Compilerbau
Prof. Dr. Peter Thiemann
Geb. 051: SR 00-006
16
Fr, 19.04.24
 14:00 
 
 
 
 
 
 
 
 
 
 
 
15:00             15:00 - 16:00 Uhr
Ü
Compilerbau
Prof. Dr. Peter Thiemann
Geb. 051: SR 00-006
16
Fr, 19.04.24
 15:00 
 
 
 
 
 
 
 
 
 
 
 
16:00  16:00 - 18:00 Uhr
V
Cyber-Physical Systems - Program Verification
Dr. Matthias Heizmann
Geb. 101: SR 01-009/13
16
Mo, 15.04.24
     16:00 - 18:00 Uhr
V
Concurrency
Prof. Dr. Peter Thiemann
Geb. 051: SR 00-031
16
Mi, 17.04.24
      16:00 
 
 
 
 
 
 
 
 
 
 
 
17:00             17:00 
 
 
 
 
 
 
 
 
 
 
 
18:00           18:00 
 
 
 
 
 
 
 
 
 
 
 
19:00           19:00 
 
 
 
 
 
 
 
 
 
 
 
20:00           20:00 
 
 
 
 
 
 
 
 
 
 
 
21:00           21:00 
 
 
 
 
 
 
 
 
 
 
 
            
Erstellt mit sked campus ~~~ Stundenplan ~~~ 15.04.2024, 0:00 Uhr bis 19.04.2024, 24:00 Uhr ~~~ Stand: 09.04.2024, 10:08 Uhr