14 of 14 courses
| Statistische Klassifikation und Maschinelles Lernen | Statistische Klassifikation und Maschinelles Lernen | Vorlesung | 0 | ×11Di 10:30-12:00I (1010|101)×12Mi 10:30-12:00PPS H2 (2315|001) |
| Statistische Klassifikation und Maschinelles Lernen | Übung | 0 | ×11Do 08:30-10:00I (1010|101) | |
| Advanced Machine Learning | Advanced Machine Learning | Vorlesung | 6 | |
| Computer Vision | Computer Vision | Vorlesung/Übung | 6 | ×11Mo 10:30-12:00AH IV (2354|030)×11Mo 14:30-16:00AH IV (2354|030)×10Do 14:30-16:00AH IV (2354|030) |
| Semantik und Verifikation von Software | Semantik und Verifikation von Software | Vorlesung | 6 | ×8Mo 12:30-14:00AH III (2350|314.1)×9Di 12:30-14:00AH VI (2356|051)×1Di 13:00-14:00AH VI (2356|051) |
| Semantik und Verifikation von Software | Übung | 0 | ×10Mi 10:30-12:00AH I (2350|028) | |
| Model Checking | Introduction to Model Checking | Vorlesung | 6 | ×1Mo 12:00-14:005055 (2356|055)×10Mo 16:30-18:00AH II (2350|111)×12Di 18:30-20:00AH III (2350|314.1)×1Do 09:50-15:005052 (2356|052) |
| Introduction to Model Checking | Übung | 0 | ×13Fr 12:30-14:00AH II (2350|111) | |
| Formale Systeme, Automaten, Prozesse | Formale Systeme, Automaten, Prozesse | Vorlesung | 6 | ×12Di 14:30-16:00AachenMünchener Halle (Aula) (1010|131)×1Di 14:30-16:00TEMP1 (1515|001)×12Fr 08:30-10:00H02 (1385|102) |
| Formale Systeme, Automaten, Prozesse - Tutorium | Tutorium | 0 | ×11Gruppe 01Do 08:30-10:00R 220 (1080|220)×13Gruppe 02Fr 10:30-12:00SG 23 (1810|023)×11Gruppe 03Do 08:30-10:00SFo 2 (1821|002)×11Gruppe 04Do 08:30-10:005052 (2356|052)×13Gruppe 05Fr 14:30-16:005054 (2356|054)×11Gruppe 06Do 08:30-10:005055 (2356|055)×11Gruppe 07Do 08:30-10:00001 (1830|001)×13Gruppe 08Fr 14:30-16:00S14 (1385|214)×13Gruppe 09Fr 14:30-16:00S09 (1385|209)×13Gruppe 10Fr 10:30-12:005052 (2356|052)×12Gruppe 11Fr 10:30-12:005056 (2356|056)×1Gruppe 11Fr 10:30-12:00SG 203 (1810|203)×13Gruppe 12Fr 10:30-12:005054 (2356|054)×13Gruppe 13Fr 10:30-12:00S13 (1385|213)×13Gruppe 14Fr 10:30-12:00S16 (1385|216)×13Gruppe 15Fr 10:30-12:00SFo 3 (1821|003)×13Gruppe 16Fr 10:30-12:00S14 (1385|214)×13Gruppe 17Fr 14:30-16:00S10 (1385|210)×13Gruppe 18Fr 14:30-16:00S13 (1385|213)×13Gruppe 19Fr 10:30-12:00SFo 1 (1821|001)×11Gruppe 20Do 08:30-10:00SFo 9 (1821|009)×13Gruppe 21Fr 14:30-16:00S15 (1385|215)×13Gruppe 22Fr 14:30-16:00S07 (1385|207)×13Gruppe 23Fr 14:30-16:00S16 (1385|216)×13Gruppe 24Fr 14:30-16:005055 (2356|055)×13Gruppe 25Fr 14:30-16:00S05 (1385|205)×11Gruppe 27Mo 08:30-10:005055 (2356|055)×11Gruppe 28Mo 08:30-10:00SG 513 (1810|513)×11Gruppe 29Mo 08:30-10:00SG 512 (1810|512)×11Gruppe 30Mo 08:30-10:00SG 413 (1810|413)×11Gruppe 31Do 08:30-10:00Fk 9 (1541|209)×13Gruppe 32Fr 14:30-16:00Fk 9 (1541|209)×1TutorienbesprechungMo 12:30-14:00Seminarraum i1, Raum 4017 (2353|017)×1TutorienbesprechungDi 11:30-13:00Seminarraum i1, Raum 4017 (2353|017) | |
| Formale Systeme, Automaten, Prozesse (Globalübung) | Übung | 0 | ×11FoSAP-TeamMi 16:30-18:00Grüner Hörsaal AM (Gr) (1420|001) | |
| Quantum Computing | Quanten-Computing | Vorlesung | ×11Mo 14:30-16:00AH I (2350|028)×1Mi 10:00-12:00AH II (2350|111)×1Do 14:00-16:00AH III (2350|314.1) | |
| Reinforcement Learning and Learning-based Control | Reinforcement Learning and Learning-based Control | Vorlesung | ×13Mi 16:30-18:00H05 (1385|105) | |
| Reinforcement Learning and Learning-based Control | Übung | ×14Di 08:30-10:00H05 (1385|105) |