| Mo, 13.10.25 | Di, 14.10.25 | Mi, 15.10.25 | Do, 16.10.25 | Fr, 17.10.25 | ||||||||||||||||||||||
| 8:00 | 8:00 - 10:00 Uhr V Automated Reasoning Dr. Mathias Fleury Geb. 051: SR 00-034, Geb. 106: 106 00 007 42 Mi, 15.10.25 | 8:00 | ||||||||||||||||||||||||
| 9:00 | 9:00 | |||||||||||||||||||||||||
| 10:00 | 10:00 - 12:00 Uhr Ü Concurrency Theory Prof. Dr. Peter Thiemann Geb. 106: 106 04 007 42 Mo, 13.10.25 | 10:00 - 12:00 Uhr V Das fehlende Semester -- Linux, Tools, und vieles mehr Prof. Dr. Armin Biere, Dr. Mathias Fleury Geb. 051: HS 03-026 42 Mi, 15.10.25 | 10:00 | |||||||||||||||||||||||
| 11:00 | 11:00 | |||||||||||||||||||||||||
| 12:00 | 12:00 - 14:00 Uhr V Hardware Security and trust Prof. Dr. Christoph Scholl Geb. 101: SR 00-010/14 42 Mi, 15.10.25 | 12:00 - 14:00 Uhr Ü Das fehlende Semester -- Linux, Tools, und vieles mehr Prof. Dr. Armin Biere, Dr. Mathias Fleury Geb. 051: HS 03-026 42 Do, 16.10.25 | 12:00 | |||||||||||||||||||||||
| 13:00 | 13:00 | |||||||||||||||||||||||||
| 14:00 | 14:00 - 16:00 Uhr Ü Cyber-Physical Systems - Discrete Models Prof. Dr. Andreas Podelski Geb. 051: SR 00-006 42 Mo, 13.10.25 | 14:00 - 16:00 Uhr V Distributed Graph Algorithms Prof. Dr. Fabian Kuhn Geb. 101: SR 00-010/14 42 Mo, 13.10.25 | 14:00 - 16:00 Uhr V Concurrency Theory Prof. Dr. Peter Thiemann Geb. 106: 106 04 007 42 Di, 14.10.25 | 14:00 - 15:00 Uhr V Hardware Security and trust Prof. Dr. Christoph Scholl Geb. 101: SR 00-010/14 42 Di, 14.10.25 | 14:00 - 15:00 Uhr V Automated Reasoning Dr. Mathias Fleury Geb. 051: SR 00-034 42 Do, 16.10.25 | 14:00 - 16:00 Uhr Ü Debugging and Fuzzing Prof. Dr. Armin Biere Geb. 101: SR 00-010/14 42 Fr, 17.10.25 | 14:00 - 16:00 Uhr Ü Distributed Graph Algorithms Prof. Dr. Fabian Kuhn Geb. 101: SR 00-017/19 42 Fr, 17.10.25 | 14:00 | ||||||||||||||||||
| 15:00 | 15:00 - 16:00 Uhr Ü Hardware Security and trust Prof. Dr. Christoph Scholl Geb. 101: SR 00-010/14 42 Di, 14.10.25 | 15:00 - 16:00 Uhr Ü Automated Reasoning Dr. Mathias Fleury Geb. 051: SR 00-034 42 Do, 16.10.25 | 15:00 | |||||||||||||||||||||||
| 16:00 | 16:00 - 18:00 Uhr Ü Cyber-Physical Systems - Discrete Models Prof. Dr. Andreas Podelski Geb. 101: SR 00-010/14 42 Mo, 13.10.25 | 16:00 - 18:00 Uhr Ü Cyber-Physical Systems - Discrete Models Prof. Dr. Andreas Podelski Geb. 051: SR 00-006 42 Di, 14.10.25 | 16:00 - 18:00 Uhr V Debugging and Fuzzing Prof. Dr. Armin Biere Geb. 101: SR 00-010/14 42 Di, 14.10.25 | 16:00 - 18:00 Uhr V Cyber-Physical Systems - Discrete Models Prof. Dr. Andreas Podelski Geb. 101: HS 00-026 42 Mi, 15.10.25 | 16:00 - 17:00 Uhr V Verifikation Digitaler Schaltungen / Verificationof Digital Circuits Prof. Dr. Christoph Scholl, Apl-Prof. Dr. Ralf Wimmer Geb. 051: HS 03-026 42 Mi, 15.10.25 | 16:00 - 18:00 Uhr V Verifikation Digitaler Schaltungen / Verificationof Digital Circuits Prof. Dr. Christoph Scholl, Apl-Prof. Dr. Ralf Wimmer Geb. 051: HS 03-026 42 Do, 16.10.25 | 16:00 | |||||||||||||||||||
| 17:00 | 17:00 - 18:00 Uhr Ü Verifikation Digitaler Schaltungen / Verificationof Digital Circuits Prof. Dr. Christoph Scholl, Apl-Prof. Dr. Ralf Wimmer Geb. 051: HS 03-026 42 Mi, 15.10.25 | 17:00 | ||||||||||||||||||||||||
| 18:00 | 18:00 | |||||||||||||||||||||||||
| 19:00 | 19:00 | |||||||||||||||||||||||||
| 20:00 | 20:00 | |||||||||||||||||||||||||
| 21:00 | 21:00 | |||||||||||||||||||||||||