| 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 | ||||||||||||||||||||||