| Mo, 05.05.25 | Di, 06.05.25 | Mi, 07.05.25 | Do, 08.05.25 | Fr, 09.05.25 | |||||||||||||||||||
| 8:00 | 8:00 | ||||||||||||||||||||||
| 9:00 | 9:00 | ||||||||||||||||||||||
| 10:00 | 10:00 - 12:00 Uhr V Isabelle/HOL:programming, verified! Dr. Mathias Fleury Geb. 051: SR 00-034 19 Mi, 07.05.25 | 10:00 - 12:00 Uhr Ü Interactive Proof Systems and Cryptographic Protocols Prof. Dr. Christian Schindelhauer Geb. 101: SR 01-016/18 19 Do, 08.05.25 | 10:00 | ||||||||||||||||||||
| 11:00 | 11:00 | ||||||||||||||||||||||
| 12:00 | 12:00 - 14:00 Uhr V Interactive Proof Systems and Cryptographic Protocols Prof. Dr. Christian Schindelhauer Geb. 101: SR 01-016/18 19 Di, 06.05.25 | 12:00 - 14:00 Uhr Ü Isabelle/HOL:programming, verified! Dr. Mathias Fleury Geb. 051: SR 00-034 19 Do, 08.05.25 | 12:00 | ||||||||||||||||||||
| 13:00 | 13:00 | ||||||||||||||||||||||
| 14:00 | 14:00 - 16:00 Uhr V Compilerbau Prof. Dr. Peter Thiemann Geb. 106: 106 04 007 (VC) 19 Di, 06.05.25 | 14:00 - 16:00 Uhr V Grundlagen von Programmiersprachen Prof. Dr. Peter Thiemann Geb. 051: SR 00-006 19 Mi, 07.05.25 | 14:00 - 16:00 Uhr Ü Compilerbau Geb. 106: 106 04 007 (VC) 19 Fr, 09.05.25 | 14:00 - 16:00 Uhr Ü Grundlagen von Programmiersprachen Prof. Dr. Peter Thiemann Geb. 106: 106 00 007 19 Fr, 09.05.25 | 14:00 | ||||||||||||||||||
| 15:00 | 15:00 | ||||||||||||||||||||||
| 16:00 | 16:00 | ||||||||||||||||||||||
| 17:00 | 17:00 | ||||||||||||||||||||||
| 18:00 | 18:00 | ||||||||||||||||||||||
| 19:00 | 19:00 | ||||||||||||||||||||||
| 20:00 | 20:00 | ||||||||||||||||||||||
| 21:00 | 21:00 | ||||||||||||||||||||||