| Mo, 20.04.26 | Di, 21.04.26 | Mi, 22.04.26 | Do, 23.04.26 | Fr, 24.04.26 | |||||||||||||||||||||
| 8:00 | 8:00 | ||||||||||||||||||||||||
| 9:00 | 9:00 | ||||||||||||||||||||||||
| 10:00 | 10:00 - 12:00 Uhr Ü Grundlagen von Programmiersprachen Prof. Dr. Peter Thiemann Geb. 106: 106 04 007 17 Mo, 20.04.26 | 10:00 - 12:00 Uhr V Isabelle/HOL:programming, verified! Dr. Mathias Fleury Geb. 051: SR 00-031 17 Di, 21.04.26 | 10:00 | ||||||||||||||||||||||
| 11:00 | 11:00 | ||||||||||||||||||||||||
| 12:00 | 12:00 - 14:00 Uhr V Computer Arithmetic - Design and Verification Prof. Dr. Christoph Scholl Geb. 101: SR 01-016/18 17 Di, 21.04.26 | 12:00 - 14:00 Uhr Ü Isabelle/HOL:programming, verified! Dr. Mathias Fleury Geb. 051: SR 00-031 17 Do, 23.04.26 | 12:00 - 13:00 Uhr V Test and Reliability Apl-Prof. Dr. Ralf Wimmer Geb. 106: 106 04 007 17 Do, 23.04.26 | 12:00 | |||||||||||||||||||||
| 13:00 | 13:00 - 14:00 Uhr Ü Test and Reliability Apl-Prof. Dr. Ralf Wimmer Geb. 106: 106 04 007 17 Do, 23.04.26 | 13:00 | |||||||||||||||||||||||
| 14:00 | 14:00 - 15:00 Uhr V Computer Arithmetic - Design and Verification Prof. Dr. Christoph Scholl Geb. 051: HS 03-026 17 Mi, 22.04.26 | 14:00 - 16:00 Uhr V Grundlagen von Programmiersprachen Prof. Dr. Peter Thiemann Geb. 106: 106 04 007 17 Mi, 22.04.26 | 14:00 | ||||||||||||||||||||||
| 15:00 | 15:00 - 16:00 Uhr Ü Computer Arithmetic - Design and Verification Prof. Dr. Christoph Scholl Geb. 051: HS 03-026 17 Mi, 22.04.26 | 15:00 | |||||||||||||||||||||||
| 16:00 | 16:00 - 18:00 Uhr V Cyber-Physical Systems - Program Verification Prof. Dr. Andreas Podelski Geb. 101: SR 00-017/19 17 Mo, 20.04.26 | 16:00 - 18:00 Uhr V Test and Reliability Apl-Prof. Dr. Ralf Wimmer Geb. 051: HS 03-026 17 Mo, 20.04.26 | 16:00 - 18:00 Uhr V Cyber-Physical Systems - Program Verification Prof. Dr. Andreas Podelski Geb. 101: SR 00-017/19 17 Di, 21.04.26 | 16:00 | |||||||||||||||||||||
| 17:00 | 17:00 | ||||||||||||||||||||||||
| 18:00 | 18:00 | ||||||||||||||||||||||||
| 19:00 | 19:00 | ||||||||||||||||||||||||
| 20:00 | 20:00 | ||||||||||||||||||||||||
| 21:00 | 21:00 | ||||||||||||||||||||||||