[{"data":1,"prerenderedAt":1385},["ShallowReactive",2],{"$fa6p6kjiyyqn3":3,"$f3oha7j1epzet9":4,"$f38pu1jotcf1q8":341,"$f22t0p3o5eh6oq":1130},"2026-10-01T11:20:28.002Z",{"name":5,"iconName":6,"children":7},"Seminar","stp_5",{"1681846":8},{"name":9,"iconName":10,"children":11},"Seminar Informatik","stp_3",{"1681847":12},{"name":5,"iconName":13,"children":14},"stp_2",{"577240":15,"577690":26,"577952":31,"578003":36,"578143":52,"578203":57,"578318":62,"578319":67,"578933":72,"579022":77,"579061":82,"579109":87,"579147":92,"579260":102,"579338":107,"579413":112,"579451":117,"579494":122,"579610":127,"579626":137,"579676":151,"579713":156,"579788":161,"579861":166,"579874":176,"579887":185,"579974":194,"580021":199,"580022":204,"580130":208,"580144":213,"580176":218,"580248":223,"580356":228,"580424":233,"580523":238,"580782":243,"580783":248,"580801":253,"580904":258,"581048":263,"581165":268,"581345":273,"581348":280,"588172":285,"588175":296,"598799":304,"598966":309,"598969":314,"598970":319,"598972":324,"599926":329,"600252":336},{"courseType":5,"sws":16,"examMethod":17,"appointments":18,"exams":19,"name":20,"iconName":21,"children":22,"credits":23,"subjectType":24,"semesterRecommendation":25},"2","Immanenter Prüfungscharakter ",[],[],"Seminar: Current Topics of Immersive Visualization","stp_empty",{},4,"Wahlpflichtfach","2.",{"courseType":5,"sws":16,"examMethod":17,"appointments":27,"exams":28,"name":29,"iconName":21,"children":30,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Seminar: Internet Technology",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":32,"exams":33,"name":34,"iconName":21,"children":35,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Seminar: Aktuelle Themen im Bereich Hochleistungsrechnen (HPC)",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":37,"exams":49,"name":50,"iconName":21,"children":51,"credits":23,"subjectType":24,"semesterRecommendation":25},[38,45],{"weekday":39,"weekdaySort":40,"from":41,"to":42,"room":43,"count":44},"Mi.",3,"12:30","14:00","Dekanatssitzungszimmer  (2359|220)",1,{"weekday":46,"weekdaySort":23,"from":41,"to":42,"room":47,"count":48},"Do.","5052 (2356|052)",5,[],"Aktuelle Themen der Physikalisch-Basierten Animation",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":53,"exams":54,"name":55,"iconName":21,"children":56,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Current Topics in Computer Graphics and Geometry Processing",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":58,"exams":59,"name":60,"iconName":21,"children":61,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Seminar: Advanced Internet Technology",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":63,"exams":64,"name":65,"iconName":21,"children":66,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Selected Topics in Machine Learning and Human Language Technology (Master)",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":68,"exams":69,"name":70,"iconName":21,"children":71,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Selected Topics in Machine Learning and Human Language Technology (Bachelor)",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":73,"exams":74,"name":75,"iconName":21,"children":76,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Verifikationsverfahren",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":78,"exams":79,"name":80,"iconName":21,"children":81,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Neuroinspired Computing",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":83,"exams":84,"name":85,"iconName":21,"children":86,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Selected Topics in Process Mining",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":88,"exams":89,"name":90,"iconName":21,"children":91,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Ausgesuchte Themen zur Eingebetteten Software",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":93,"exams":99,"name":100,"iconName":21,"children":101,"credits":23,"subjectType":24,"semesterRecommendation":25},[94],{"weekday":46,"weekdaySort":23,"from":95,"to":96,"room":97,"count":98},"10:30","12:00","Extern",8,[],"Post-Desktop User Interfaces",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":103,"exams":104,"name":105,"iconName":21,"children":106,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Seminar Current Topics in Computer Vision and Machine Learning (Master seminar)",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":108,"exams":109,"name":110,"iconName":21,"children":111,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Knowledge Graphs Seminar",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":113,"exams":114,"name":115,"iconName":21,"children":116,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Algorithms",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":118,"exams":119,"name":120,"iconName":21,"children":121,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Selected Topics in Digital Learning",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":123,"exams":124,"name":125,"iconName":21,"children":126,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Current Topics in Systems",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":128,"exams":134,"name":135,"iconName":21,"children":136,"credits":23,"subjectType":24,"semesterRecommendation":25},[129],{"weekday":130,"weekdaySort":131,"from":132,"to":96,"room":97,"count":133},"Di.",2,"10:00",12,[],"Seminar: Large Language Models",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":138,"exams":148,"name":149,"iconName":21,"children":150,"credits":23,"subjectType":24,"semesterRecommendation":25},[139,144],{"weekday":39,"weekdaySort":40,"from":42,"to":140,"room":141,"count":142,"group":143},"15:30","423 (6074|423)",7,"Gruppe 1",{"weekday":39,"weekdaySort":40,"from":145,"to":146,"room":141,"count":142,"group":147},"16:00","17:30","Gruppe 2",[],"Learning-based Control",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":152,"exams":153,"name":154,"iconName":21,"children":155,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Seminar: Akutelle Themen der Virtuellen Realität",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":157,"exams":158,"name":159,"iconName":21,"children":160,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Topics in Network Science",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":162,"exams":163,"name":164,"iconName":21,"children":165,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Seminar Trends in Computer-Aided Verification",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":167,"exams":168,"name":174,"iconName":21,"children":175,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[169],{"date":170,"from":171,"to":172,"rooms":173,"info":172},"2027-02-05","00:00",null,[],"Seminar Current Topics in Computational Social Sciences (Applied Computational Social Sciences)",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":177,"exams":182,"name":183,"iconName":21,"children":184,"credits":23,"subjectType":24,"semesterRecommendation":25},[178],{"weekday":179,"weekdaySort":48,"from":180,"to":95,"room":181,"count":44},"Fr.","08:30","B037 (3011|037)",[],"Industrial Security",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":186,"exams":191,"name":192,"iconName":21,"children":193,"credits":23,"subjectType":24,"semesterRecommendation":25},[187],{"weekday":188,"weekdaySort":44,"from":145,"to":189,"room":97,"count":190},"Mo.","18:00",14,[],"Seminar: Advanced Topics in Cryptography",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":195,"exams":196,"name":197,"iconName":21,"children":198,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Evolutionary Computation",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":200,"exams":201,"name":202,"iconName":21,"children":203,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Formal Methods",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":205,"exams":206,"name":80,"iconName":21,"children":207,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],{},{"courseType":5,"sws":16,"examMethod":17,"appointments":209,"exams":210,"name":211,"iconName":21,"children":212,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Digitales Lernen am Beispiel Digitaler Gamebooks",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":214,"exams":215,"name":216,"iconName":21,"children":217,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Automated Artificial Intelligence",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":219,"exams":220,"name":221,"iconName":21,"children":222,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Seminars on Internet Technology and Advanced Internet Technology",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":224,"exams":225,"name":226,"iconName":21,"children":227,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Seminar Algorithmic Differentiation",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":229,"exams":230,"name":231,"iconName":21,"children":232,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Intelligent Data Management with Generative AI",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":234,"exams":235,"name":236,"iconName":21,"children":237,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Data Science in Medicine Seminar",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":239,"exams":240,"name":241,"iconName":21,"children":242,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Advanced Topics in Network Science",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":244,"exams":245,"name":246,"iconName":21,"children":247,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Enhanced Educational Technologies: AI, Learning Analytics, and Open Learning Technologies",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":249,"exams":250,"name":251,"iconName":21,"children":252,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Seminar on Logic",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":254,"exams":255,"name":256,"iconName":21,"children":257,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Introduction to Selected Topics in Process Mining",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":259,"exams":260,"name":261,"iconName":21,"children":262,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Object-Centric Process Mining",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":264,"exams":265,"name":266,"iconName":21,"children":267,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Introduction to Object-Centric Process Mining",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":269,"exams":270,"name":271,"iconName":21,"children":272,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Quantum programming languages",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":274,"exams":277,"name":278,"iconName":21,"children":279,"credits":23,"subjectType":24,"semesterRecommendation":25},[275],{"weekday":46,"weekdaySort":23,"from":42,"to":145,"room":276,"count":23},"6074|228",[],"Advanced Topics in Reinforcement Learning and Planning",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":281,"exams":282,"name":283,"iconName":21,"children":284,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Advanced Algorithms",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":286,"exams":293,"name":294,"iconName":21,"children":295,"credits":23,"subjectType":24,"semesterRecommendation":25},[287,289,291],{"weekday":188,"weekdaySort":44,"from":132,"to":288,"room":276,"count":44},"11:30",{"weekday":39,"weekdaySort":40,"from":290,"to":96,"room":276,"count":44},"11:00",{"weekday":39,"weekdaySort":40,"from":96,"to":292,"room":276,"count":131},"13:30",[],"Theory of Machine Learning on Graphs",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":297,"exams":301,"name":302,"iconName":21,"children":303,"credits":23,"subjectType":24,"semesterRecommendation":25},[298,299,300],{"weekday":39,"weekdaySort":40,"from":132,"to":290,"room":276,"count":44},{"weekday":39,"weekdaySort":40,"from":132,"to":288,"room":276,"count":131},{"weekday":179,"weekdaySort":48,"from":132,"to":288,"room":276,"count":44},[],"Maschinelles Lernen auf Graphen",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":305,"exams":306,"name":307,"iconName":21,"children":308,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Model-getriebenes Systems-Engineering mit MontiCore und SPES-Methodik",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":310,"exams":311,"name":312,"iconName":21,"children":313,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Public Key Cryptography",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":315,"exams":316,"name":317,"iconName":21,"children":318,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Process Mining with Frequencies (MA)",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":320,"exams":321,"name":322,"iconName":21,"children":323,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Process Mining with Frequencies (BA)",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":325,"exams":326,"name":327,"iconName":21,"children":328,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Artificial Intelligence in Music",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":330,"exams":333,"name":334,"iconName":21,"children":335,"credits":23,"subjectType":24,"semesterRecommendation":25},[331],{"weekday":46,"weekdaySort":23,"from":145,"to":146,"room":97,"count":332},13,[],"Seminar: Text Mining",{},{"courseType":5,"sws":16,"examMethod":17,"appointments":337,"exams":338,"name":339,"iconName":21,"children":340,"credits":23,"subjectType":24,"semesterRecommendation":25},[],[],"Real-Time Systems",{},{"studyNameInfo":342,"currics":351},{"curriculumVersionId":343,"name":344,"studyIdentifier":346,"displayedType":347,"curriculumVersionIdentification":349,"supported":350},2053,{"value":345},"Human-Centered Intelligent Systems","798",{"value":348},"Master 1 Fach","2025",true,{"1659490":352},{"name":345,"iconName":353,"children":354},"stp_0",{"1679018":355,"1679021":387,"1679023":406,"1724742":644,"1740744":655},{"name":356,"iconName":6,"children":357},"Pflichtbereich",{"1679028":358,"1679036":379},{"name":359,"iconName":10,"children":360},"Designing Interactive Systems I",{"1679029":361,"1679034":373},{"name":362,"iconName":363,"children":364},"Vorlesung Designing Interactive Systems I","stp_4",{"577593":365,"578886":370},{"name":359,"iconName":21,"children":366,"credits":367,"subjectType":368,"semesterRecommendation":369},{},6,"Pflichtfach","1.",{"name":371,"iconName":21,"children":372,"credits":367,"subjectType":368,"semesterRecommendation":369},"Designing Interactive Systems I (in Bonn)",{},{"name":374,"iconName":13,"children":375},"Prüfung Designing Interactive Systems I",{"581445":376},{"name":377,"iconName":21,"children":378,"credits":367,"subjectType":368,"semesterRecommendation":369},"Designing Interactive Systems",{},{"name":380,"iconName":10,"children":381},"Introduction to Learning Systems and Data Science",{"1679041":382},{"name":383,"iconName":363,"children":384},"Vorlesung Introduction to Learning Systems and Data Science",{"580239":385},{"name":380,"iconName":21,"children":386,"subjectType":368,"semesterRecommendation":369},{},{"name":388,"iconName":6,"children":389},"Use and Societal Impact",{"1911415":390},{"name":391,"iconName":10,"children":392},"Fundamentals of Business Process Management",{"1911416":393,"1911418":399},{"name":394,"iconName":363,"children":395},"Vorlesung Fundamentals of Business Process Management",{"580048":396},{"name":397,"iconName":21,"children":398,"subjectType":24,"semesterRecommendation":369},"Fundamentals of Business Process Management - Vorlesung",{},{"name":400,"iconName":13,"children":401},"Übung Fundamentals of Business Process Management",{"580049":402},{"name":403,"iconName":21,"children":404,"credits":405,"subjectType":24,"semesterRecommendation":369},"Fundamentals of Business Process Management - Übung",{},0,{"name":407,"iconName":6,"children":408},"Labs, Seminar and German Language Course",{"1679025":409,"1679026":532},{"name":410,"iconName":6,"children":411},"Labs",{"1681738":412,"1764617":519},{"name":413,"iconName":10,"children":414},"Praktikum",{"1681739":415,"1681753":423},{"name":413,"iconName":363,"children":416},{"579671":417,"579715":420},{"name":418,"iconName":21,"children":419,"subjectType":24,"semesterRecommendation":25},"Digitalisierung der Produktion",{},{"name":421,"iconName":21,"children":422,"subjectType":24,"semesterRecommendation":25},"Parallel Graph Algorithms",{},{"name":413,"iconName":13,"children":424},{"577501":425,"578599":428,"578914":431,"578917":434,"578970":437,"578976":440,"578977":443,"579150":446,"579163":449,"579208":452,"579550":455,"579671":458,"579715":460,"579896":462,"580146":465,"580360":468,"580515":471,"580784":474,"580802":477,"580880":480,"580920":483,"581021":486,"581023":489,"581110":492,"581200":495,"588173":498,"598800":501,"598802":504,"598947":507,"598965":510,"598968":513,"598973":516},{"name":426,"iconName":21,"children":427,"credits":142,"subjectType":24,"semesterRecommendation":25},"The Media Computing Project (Praktikum Hauptstudium)",{},{"name":429,"iconName":21,"children":430,"credits":142,"subjectType":24,"semesterRecommendation":25},"Geometry Processing and 3D Printing",{},{"name":432,"iconName":21,"children":433,"credits":142,"subjectType":24,"semesterRecommendation":25},"Projektmodul: OR-Praktikum",{},{"name":435,"iconName":21,"children":436,"credits":142,"subjectType":24,"semesterRecommendation":25},"Flüssigkeitssimulation in der Computergraphik",{},{"name":438,"iconName":21,"children":439,"credits":142,"subjectType":24,"semesterRecommendation":25},"Model-Driven Engineering of Digital Twins for a I4.0 Model Factory",{},{"name":441,"iconName":21,"children":442,"credits":142,"subjectType":24,"semesterRecommendation":25},"Unsupervised Process Mining",{},{"name":444,"iconName":21,"children":445,"credits":142,"subjectType":24,"semesterRecommendation":25},"Supervised Process Intelligence",{},{"name":447,"iconName":21,"children":448,"credits":142,"subjectType":24,"semesterRecommendation":25},"Automatisierung einer Destillationsanlage",{},{"name":450,"iconName":21,"children":451,"credits":142,"subjectType":24,"semesterRecommendation":25},"Algorithmic Battle International",{},{"name":453,"iconName":21,"children":454,"credits":142,"subjectType":24,"semesterRecommendation":25},"Mixed Reality Lab",{},{"name":456,"iconName":21,"children":457,"credits":142,"subjectType":24,"semesterRecommendation":25},"Data Ecosystems Lab",{},{"name":418,"iconName":21,"children":459,"credits":142,"subjectType":24,"semesterRecommendation":25},{},{"name":421,"iconName":21,"children":461,"credits":142,"subjectType":24,"semesterRecommendation":25},{},{"name":463,"iconName":21,"children":464,"credits":142,"subjectType":24,"semesterRecommendation":25},"Process Mining in Celonis",{},{"name":466,"iconName":21,"children":467,"credits":142,"subjectType":24,"semesterRecommendation":25},"Praktikum: Model Checking",{},{"name":469,"iconName":21,"children":470,"credits":142,"subjectType":24,"semesterRecommendation":25},"Data Visualisation and Analytics",{},{"name":472,"iconName":21,"children":473,"credits":142,"subjectType":24,"semesterRecommendation":25},"Knowledge Graph Lab",{},{"name":475,"iconName":21,"children":476,"credits":142,"subjectType":24,"semesterRecommendation":25},"Efficient Artificial Intelligence (AI) with Rust",{},{"name":478,"iconName":21,"children":479,"credits":142,"subjectType":24,"semesterRecommendation":25},"Programming quantum algorithms",{},{"name":481,"iconName":21,"children":482,"credits":142,"subjectType":24,"semesterRecommendation":25},"Empathic Computing Lab",{},{"name":484,"iconName":21,"children":485,"credits":142,"subjectType":24,"semesterRecommendation":25},"Network Analytics",{},{"name":487,"iconName":21,"children":488,"credits":142,"subjectType":24,"semesterRecommendation":25},"Advanced Simulation and Web Application of Renewable Energy",{},{"name":490,"iconName":21,"children":491,"credits":142,"subjectType":24,"semesterRecommendation":25},"Scientific Visualization",{},{"name":493,"iconName":21,"children":494,"credits":142,"subjectType":24,"semesterRecommendation":25},"Building Large Language Model Applications",{},{"name":496,"iconName":21,"children":497,"credits":142,"subjectType":24,"semesterRecommendation":25},"Unterstützung bei Personalausfällen im Krankenhaus",{},{"name":499,"iconName":21,"children":500,"credits":142,"subjectType":24,"semesterRecommendation":25},"Machine Learning for Combinatorial Optimization",{},{"name":502,"iconName":21,"children":503,"credits":142,"subjectType":24,"semesterRecommendation":25},"Model-Driven Engineering of Web Applications",{},{"name":505,"iconName":21,"children":506,"credits":142,"subjectType":24,"semesterRecommendation":25},"Agentic Software Engineering",{},{"name":508,"iconName":21,"children":509,"credits":142,"subjectType":24,"semesterRecommendation":25},"Smart & Sustainable IoT Experience",{},{"name":511,"iconName":21,"children":512,"credits":142,"subjectType":24,"semesterRecommendation":25},"Lab Course: Graph Learning",{},{"name":514,"iconName":21,"children":515,"credits":142,"subjectType":24,"semesterRecommendation":25},"Laboratory Deep Learning",{},{"name":517,"iconName":21,"children":518,"credits":142,"subjectType":24,"semesterRecommendation":25},"Theorem proving in Lean",{},{"name":413,"iconName":10,"children":520},{"1764618":521},{"name":413,"iconName":13,"children":522},{"578977":523,"599713":526,"599814":529},{"name":444,"iconName":21,"children":524,"credits":525,"subjectType":24,"semesterRecommendation":369},{},9,{"name":527,"iconName":21,"children":528,"credits":525,"subjectType":24,"semesterRecommendation":369},"Machine Learning on Encrypted Data",{},{"name":530,"iconName":21,"children":531,"credits":525,"subjectType":24,"semesterRecommendation":369},"Lab: Visualization and Medical Image Analysis",{},{"name":5,"iconName":6,"children":533},{"1681846":534},{"name":9,"iconName":10,"children":535},{"1681847":536},{"name":5,"iconName":13,"children":537},{"577240":538,"577690":540,"577952":542,"578003":544,"578143":546,"578203":548,"578318":550,"578319":552,"578933":554,"579022":556,"579061":558,"579109":560,"579147":562,"579260":564,"579338":566,"579413":568,"579451":570,"579494":572,"579610":574,"579626":576,"579676":578,"579713":580,"579788":582,"579861":584,"579874":586,"579887":588,"579974":590,"580021":592,"580022":594,"580130":596,"580144":598,"580176":600,"580248":602,"580356":604,"580424":606,"580523":608,"580782":610,"580783":612,"580801":614,"580904":616,"581048":618,"581165":620,"581345":622,"581348":624,"588172":626,"588175":628,"598799":630,"598966":632,"598969":634,"598970":636,"598972":638,"599926":640,"600252":642},{"name":20,"iconName":21,"children":539,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":29,"iconName":21,"children":541,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":34,"iconName":21,"children":543,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":50,"iconName":21,"children":545,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":55,"iconName":21,"children":547,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":60,"iconName":21,"children":549,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":65,"iconName":21,"children":551,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":70,"iconName":21,"children":553,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":75,"iconName":21,"children":555,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":80,"iconName":21,"children":557,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":85,"iconName":21,"children":559,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":90,"iconName":21,"children":561,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":100,"iconName":21,"children":563,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":105,"iconName":21,"children":565,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":110,"iconName":21,"children":567,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":115,"iconName":21,"children":569,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":120,"iconName":21,"children":571,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":125,"iconName":21,"children":573,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":135,"iconName":21,"children":575,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":149,"iconName":21,"children":577,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":154,"iconName":21,"children":579,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":159,"iconName":21,"children":581,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":164,"iconName":21,"children":583,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":174,"iconName":21,"children":585,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":183,"iconName":21,"children":587,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":192,"iconName":21,"children":589,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":197,"iconName":21,"children":591,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":202,"iconName":21,"children":593,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":80,"iconName":21,"children":595,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":211,"iconName":21,"children":597,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":216,"iconName":21,"children":599,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":221,"iconName":21,"children":601,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":226,"iconName":21,"children":603,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":231,"iconName":21,"children":605,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":236,"iconName":21,"children":607,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":241,"iconName":21,"children":609,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":246,"iconName":21,"children":611,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":251,"iconName":21,"children":613,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":256,"iconName":21,"children":615,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":261,"iconName":21,"children":617,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":266,"iconName":21,"children":619,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":271,"iconName":21,"children":621,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":278,"iconName":21,"children":623,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":283,"iconName":21,"children":625,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":294,"iconName":21,"children":627,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":302,"iconName":21,"children":629,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":307,"iconName":21,"children":631,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":312,"iconName":21,"children":633,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":317,"iconName":21,"children":635,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":322,"iconName":21,"children":637,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":327,"iconName":21,"children":639,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":334,"iconName":21,"children":641,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":339,"iconName":21,"children":643,"credits":23,"subjectType":24,"semesterRecommendation":25},{},{"name":645,"iconName":6,"children":646},"Modulbaustein Wissenschaftliche Integrität",{"1743430":647},{"name":645,"iconName":10,"children":648},{"1743431":649},{"name":645,"iconName":13,"children":650},{"580606":651},{"name":652,"iconName":21,"children":653,"credits":405,"semesterRecommendation":654},"Wissenschaftliche Integrität",{},"KA",{"name":656,"iconName":6,"children":657},"Wahlpflichtbereich ",{"1679019":658,"1679020":766,"1679022":854},{"name":659,"iconName":6,"children":660},"Artificial Intelligence and Machine Learning",{"1680942":661,"1680954":674,"1680989":682,"1681024":690,"1740975":698,"1740996":713,"1741011":727,"1833850":740,"1887156":753},{"name":662,"iconName":10,"children":663},"Introduction to Artificial Intelligence",{"1680943":664,"1680946":669},{"name":665,"iconName":363,"children":666},"Introduction to Artificial Intelli-gence (Vorlesung)",{"577974":667},{"name":662,"iconName":21,"children":668,"credits":367,"subjectType":24,"semesterRecommendation":369},{},{"name":670,"iconName":13,"children":671},"Introduction to Artificial Intelligence (Klausur)",{"581814":672},{"name":662,"iconName":21,"children":673,"credits":367,"subjectType":24,"semesterRecommendation":369},{},{"name":675,"iconName":10,"children":676},"Machine Learning",{"1680955":677},{"name":678,"iconName":363,"children":679},"Vorlesung Machine Learning",{"577910":680},{"name":675,"iconName":21,"children":681,"credits":367,"subjectType":24,"semesterRecommendation":369},{},{"name":683,"iconName":10,"children":684},"Introduction to Natural Language Processing",{"1680992":685},{"name":686,"iconName":363,"children":687},"Vorlesung und Übung Introduction to Natural Language Processing",{"579945":688},{"name":683,"iconName":21,"children":689,"subjectType":24,"semesterRecommendation":25},{},{"name":691,"iconName":10,"children":692},"Grundlagen der Audiosignalverarbeitung",{"1681027":693},{"name":694,"iconName":363,"children":695},"Grundlagen der Audiosignalverarbeitung (Vorlesung)",{"580545":696},{"name":691,"iconName":21,"children":697,"subjectType":24,"semesterRecommendation":369},{},{"name":699,"iconName":10,"children":700},"Introduction to Data Science",{"1740978":701,"1740980":707},{"name":702,"iconName":363,"children":703},"Lecture Introduction to Data Science",{"578962":704},{"name":705,"iconName":21,"children":706,"credits":367,"subjectType":24,"semesterRecommendation":369},"Introduction to Data Science - Vorlesung",{},{"name":708,"iconName":363,"children":709},"Tutorial Introduction to Data Science",{"579135":710},{"name":711,"iconName":21,"children":712,"subjectType":24,"semesterRecommendation":369},"Introduction to Data Science - Übung",{},{"name":714,"iconName":10,"children":715},"Algorithmic Foundations of Datascience",{"1740997":716,"1740999":722},{"name":717,"iconName":363,"children":718},"Vorlesung Algorithmic Foundations of Data Science",{"579330":719},{"name":720,"iconName":21,"children":721,"subjectType":24,"semesterRecommendation":369},"Algorithmic Foundations of Data Science",{},{"name":723,"iconName":13,"children":724},"Übung Algorithmic Foundation of Data Science",{"579319":725},{"name":720,"iconName":21,"children":726,"credits":405,"subjectType":24,"semesterRecommendation":369},{},{"name":728,"iconName":10,"children":729},"Fundamentals of Automatic Speech Recognition",{"1741014":730,"1741016":735},{"name":731,"iconName":13,"children":732},"Übung Fundamentals of  Automatic Speech Recognition",{"581015":733},{"name":728,"iconName":21,"children":734,"credits":405,"subjectType":24,"semesterRecommendation":369},{},{"name":736,"iconName":363,"children":737},"Vorlesung Fundamentals of  Automatic Speech Recognition",{"579802":738},{"name":728,"iconName":21,"children":739,"subjectType":24,"semesterRecommendation":369},{},{"name":741,"iconName":10,"children":742},"Foundations of Learning on Graphs",{"1833851":743,"1833853":748},{"name":744,"iconName":13,"children":745},"Prüfung Foundations of Learning on Graphs",{"584410":746},{"name":741,"iconName":21,"children":747,"credits":367,"subjectType":24,"semesterRecommendation":25},{},{"name":749,"iconName":363,"children":750},"Vorlesung\u002FÜbung Foundations of Learning on Graphs",{"579973":751},{"name":741,"iconName":21,"children":752,"subjectType":24,"semesterRecommendation":25},{},{"name":754,"iconName":10,"children":755},"Knowledge Graphs",{"1887157":756,"1887159":761},{"name":757,"iconName":363,"children":758},"Vorlesung\u002FÜbung Knowledge Graphs",{"577519":759},{"name":754,"iconName":21,"children":760,"credits":23,"subjectType":24,"semesterRecommendation":369},{},{"name":762,"iconName":13,"children":763},"Prüfung Knowledge Graphs",{"583399":764},{"name":754,"iconName":21,"children":765,"credits":23,"subjectType":24,"semesterRecommendation":369},{},{"name":767,"iconName":6,"children":768},"Human-Centered and Interactive Technologies",{"1681180":769,"1681255":788,"1681284":796,"1681407":811,"1741059":820,"1741067":838,"1763009":846},{"name":770,"iconName":10,"children":771},"Grundlagen der Computergraphik",{"1681181":772,"1681184":778,"1681187":783},{"name":773,"iconName":363,"children":774},"Vorlesung Einführung in die Computergraphik",{"578693":775},{"name":776,"iconName":21,"children":777,"credits":367,"subjectType":24,"semesterRecommendation":369},"Basic Techniques in Computer Graphics",{},{"name":779,"iconName":13,"children":780},"Übung Einführung in die Computergraphik",{"577352":781},{"name":776,"iconName":21,"children":782,"credits":405,"subjectType":24,"semesterRecommendation":369},{},{"name":784,"iconName":13,"children":785},"Prüfung Einführung in die Computergraphik",{"581464":786},{"name":776,"iconName":21,"children":787,"credits":367,"subjectType":24,"semesterRecommendation":369},{},{"name":789,"iconName":10,"children":790},"Computer Vision 2",{"1681256":791},{"name":792,"iconName":363,"children":793},"Vorlesung Computer Vision 2",{"577763":794},{"name":789,"iconName":21,"children":795,"credits":367,"subjectType":24,"semesterRecommendation":369},{},{"name":797,"iconName":10,"children":798},"Virtuelle Realität",{"1681285":799,"1681289":805},{"name":800,"iconName":363,"children":801},"Vorlesung Virtuelle Realität",{"577751":802},{"name":803,"iconName":21,"children":804,"credits":367,"subjectType":24,"semesterRecommendation":369},"Einführung in die Virtuelle Realität (VR I)",{},{"name":806,"iconName":13,"children":807},"Prüfung Virtuelle Realität",{"581838":808},{"name":809,"iconName":21,"children":810,"credits":367,"subjectType":24,"semesterRecommendation":369},"Virtuelle Realität I",{},{"name":812,"iconName":10,"children":813},"Mining Media Data II",{"1681408":814},{"name":815,"iconName":363,"children":816},"Vorlesung und Übung Mining Media Data II",{"579794":817},{"name":818,"iconName":21,"children":819,"subjectType":24,"semesterRecommendation":25},"Mining Media Data I",{},{"name":821,"iconName":10,"children":822},"Data Analysis and Visualization",{"1741060":823,"1741062":828,"1741064":833},{"name":824,"iconName":363,"children":825},"Vorlesung Data Analysis and Visualization",{"578842":826},{"name":821,"iconName":21,"children":827,"credits":23,"subjectType":24,"semesterRecommendation":369},{},{"name":829,"iconName":13,"children":830},"Übung Data Analysis and Visualization",{"578472":831},{"name":821,"iconName":21,"children":832,"credits":405,"subjectType":24,"semesterRecommendation":369},{},{"name":834,"iconName":13,"children":835},"Klausur Data Analysis and Visualization",{"581552":836},{"name":821,"iconName":21,"children":837,"credits":23,"subjectType":24,"semesterRecommendation":369},{},{"name":839,"iconName":10,"children":840},"Physikalisch-Basierte Animation",{"1741068":841},{"name":842,"iconName":363,"children":843},"Vorlesung Physikalisch-Basierte Animation",{"577767":844},{"name":839,"iconName":21,"children":845,"credits":367,"subjectType":24,"semesterRecommendation":369},{},{"name":847,"iconName":10,"children":848},"Information Visualization",{"1763010":849},{"name":850,"iconName":363,"children":851},"Vorlesung Information Visualization",{"579403":852},{"name":847,"iconName":21,"children":853,"subjectType":24,"semesterRecommendation":369},{},{"name":855,"iconName":6,"children":856},"Computer Science Electives",{"1741338":857,"1741369":867,"1741382":882,"1741411":895,"1741423":909,"1741453":922,"1741461":931,"1741474":939,"1741480":947,"1741487":966,"1741513":979,"1741578":992,"1741595":1000,"1741653":1013,"1741660":1026,"1741667":1037,"1756226":1048,"1764640":1056,"1772424":1064,"1833559":1078,"1833679":1091,"1864593":1104,"1913304":1117},{"name":858,"iconName":10,"children":859},"High-Performance Computing",{"1741339":860},{"name":861,"iconName":363,"children":862},"Vorlesung + Übung High-Performance Computing",{"579276":863},{"name":864,"iconName":21,"children":865,"subjectType":866,"semesterRecommendation":369},"Einführung in High-Performance Computing",{},"Wahlfach",{"name":868,"iconName":10,"children":869},"Introduction to Algorithmic Differentiation",{"1741373":870,"1910825":876},{"name":871,"iconName":13,"children":872},"Prüfung Introduction to Algorithmic Differentiation",{"585081":873},{"name":874,"iconName":21,"children":875,"credits":367,"subjectType":866,"semesterRecommendation":369},"Einführung in Computational Differentiation",{},{"name":877,"iconName":363,"children":878},"Vorlesung\u002FÜbung Introduction to Algorithmic Differentiation",{"577583":879},{"name":880,"iconName":21,"children":881,"credits":367,"subjectType":866,"semesterRecommendation":369},"Einführung in Algorithmisches Differenzieren",{},{"name":883,"iconName":10,"children":884},"iOS Application Development",{"1741383":885,"1741385":890},{"name":886,"iconName":363,"children":887},"Vorlesung iOS Application Development",{"578643":888},{"name":883,"iconName":21,"children":889,"credits":367,"subjectType":866,"semesterRecommendation":369},{},{"name":891,"iconName":13,"children":892},"Prüfung iOS Application Development",{"584337":893},{"name":883,"iconName":21,"children":894,"credits":367,"subjectType":866,"semesterRecommendation":369},{},{"name":896,"iconName":10,"children":897},"Model Checking",{"1741412":898,"1741414":904},{"name":899,"iconName":363,"children":900},"Vorlesung Model Checking",{"578334":901},{"name":902,"iconName":21,"children":903,"credits":367,"subjectType":866,"semesterRecommendation":369},"Introduction to Model Checking",{},{"name":905,"iconName":13,"children":906},"Übung Model Checking",{"577398":907},{"name":902,"iconName":21,"children":908,"credits":405,"subjectType":866,"semesterRecommendation":369},{},{"name":910,"iconName":10,"children":911},"Semantik und Verifikation von Software",{"1741424":912,"1741426":917},{"name":913,"iconName":363,"children":914},"Vorlesung Semantik und Verifikation von Software",{"587537":915},{"name":910,"iconName":21,"children":916,"credits":367,"subjectType":866,"semesterRecommendation":369},{},{"name":918,"iconName":13,"children":919},"Übung Semantik und Verifikation von Software",{"587536":920},{"name":910,"iconName":21,"children":921,"credits":405,"subjectType":866,"semesterRecommendation":369},{},{"name":923,"iconName":10,"children":924},"Research Focus Class on Communication Systems",{"1741454":925},{"name":926,"iconName":363,"children":927},"Vorlesung Research Focus Class on Communication Systems",{"598525":928},{"name":929,"iconName":21,"children":930,"credits":367,"subjectType":866,"semesterRecommendation":369},"Research Focus Class on Safer Grid",{},{"name":932,"iconName":10,"children":933},"Communication Systems Engineering",{"1741462":934},{"name":935,"iconName":363,"children":936},"Vorlesung\u002FÜbung Communication Systems Engineering",{"577271":937},{"name":932,"iconName":21,"children":938,"credits":367,"subjectType":866,"semesterRecommendation":369},{},{"name":940,"iconName":10,"children":941},"Advanced Network Security",{"1741478":942},{"name":943,"iconName":363,"children":944},"Vorlesung Advanced Network Security",{"579982":945},{"name":940,"iconName":21,"children":946,"subjectType":866,"semesterRecommendation":369},{},{"name":948,"iconName":10,"children":949},"Dynamical Processes on Networks",{"1741481":950,"1741483":955,"1741485":961},{"name":951,"iconName":13,"children":952},"Klausur Dynamical Processes on Networks",{"583294":953},{"name":948,"iconName":21,"children":954,"credits":367,"subjectType":866,"semesterRecommendation":369},{},{"name":956,"iconName":13,"children":957},"Übung Dynamical Processes on Networks",{"587452":958},{"name":959,"iconName":21,"children":960,"credits":405,"subjectType":866,"semesterRecommendation":369},"Dynamical Processes On Networks (Übungen)",{},{"name":962,"iconName":363,"children":963},"Vorlesung Dynamical Processes on Networks",{"587451":964},{"name":948,"iconName":21,"children":965,"subjectType":866,"semesterRecommendation":369},{},{"name":967,"iconName":10,"children":968},"Industrial Network Security",{"1741488":969,"1741490":974},{"name":970,"iconName":363,"children":971},"Industrial Network Security (Vorlesung)",{"580341":972},{"name":970,"iconName":21,"children":973,"subjectType":866,"semesterRecommendation":369},{},{"name":975,"iconName":13,"children":976},"Industrial Network Security (Übung)",{"581344":977},{"name":975,"iconName":21,"children":978,"credits":405,"subjectType":866,"semesterRecommendation":369},{},{"name":980,"iconName":10,"children":981},"Infinite Computations and Games",{"1741514":982,"1741516":987},{"name":983,"iconName":363,"children":984},"Vorlesung Infinite Computations and Games",{"578375":985},{"name":980,"iconName":21,"children":986,"credits":367,"subjectType":866,"semesterRecommendation":369},{},{"name":988,"iconName":13,"children":989},"Übung Infinite Computations and Games",{"578158":990},{"name":980,"iconName":21,"children":991,"credits":405,"subjectType":866,"semesterRecommendation":369},{},{"name":993,"iconName":10,"children":994},"Erfüllbarkeitsüberprüfung",{"1741579":995},{"name":996,"iconName":363,"children":997},"Vorlesung Erfüllbarkeitsüberprüfung",{"578303":998},{"name":993,"iconName":21,"children":999,"subjectType":866,"semesterRecommendation":369},{},{"name":1001,"iconName":10,"children":1002},"Model-based Systems Engineering",{"1741599":1003,"1833983":1008},{"name":1004,"iconName":363,"children":1005},"Vorlesung Model-based Systems Engineering",{"579907":1006},{"name":1001,"iconName":21,"children":1007,"subjectType":866,"semesterRecommendation":369},{},{"name":1009,"iconName":13,"children":1010},"Prüfung Model-based Systems Engineering",{"583179":1011},{"name":1001,"iconName":21,"children":1012,"credits":367,"subjectType":866,"semesterRecommendation":369},{},{"name":1014,"iconName":10,"children":1015},"Theorie der Graphen- und Netzwerkoptimierung",{"1741656":1016,"1741658":1021},{"name":1017,"iconName":13,"children":1018},"Übung: Theorie der Graphen- und Netzwerkoptimierung",{"587442":1019},{"name":1014,"iconName":21,"children":1020,"credits":405,"subjectType":866,"semesterRecommendation":369},{},{"name":1022,"iconName":363,"children":1023},"Vorlesung: Theorie der Graphen- und Netzwerkoptimierung",{"587441":1024},{"name":1014,"iconName":21,"children":1025,"subjectType":866,"semesterRecommendation":369},{},{"name":1027,"iconName":10,"children":1028},"Theorie der Graphen- und Netzwerkoptimierung: Flüsse",{"1741663":1029,"1741665":1033},{"name":1017,"iconName":13,"children":1030},{"587442":1031},{"name":1014,"iconName":21,"children":1032,"credits":405,"subjectType":866,"semesterRecommendation":369},{},{"name":1022,"iconName":363,"children":1034},{"587441":1035},{"name":1014,"iconName":21,"children":1036,"subjectType":866,"semesterRecommendation":369},{},{"name":1038,"iconName":10,"children":1039},"Theorie der Graphen- und Netzwerkoptimierung: Netzwerkdesign und Standortplanung",{"1741670":1040,"1741672":1044},{"name":1017,"iconName":13,"children":1041},{"587442":1042},{"name":1014,"iconName":21,"children":1043,"credits":405,"subjectType":866,"semesterRecommendation":369},{},{"name":1022,"iconName":363,"children":1045},{"587441":1046},{"name":1014,"iconName":21,"children":1047,"subjectType":866,"semesterRecommendation":369},{},{"name":1049,"iconName":10,"children":1050},"Research Focus Class Industrial Applications for LLM-driven Agentic Systems",{"1756229":1051},{"name":1052,"iconName":363,"children":1053},"Veranstaltung Research Focus Class Industrial Applications for LLM-driven Agentic Systems",{"579424":1054},{"name":1049,"iconName":21,"children":1055,"subjectType":866,"semesterRecommendation":369},{},{"name":1057,"iconName":10,"children":1058},"Kryptographie",{"1764643":1059},{"name":1060,"iconName":363,"children":1061},"Kryptographie (Vorlesung)",{"579572":1062},{"name":1057,"iconName":21,"children":1063,"subjectType":866,"semesterRecommendation":369},{},{"name":1065,"iconName":10,"children":1066},"Probabilistic Programming",{"1772425":1067,"1772427":1073},{"name":1068,"iconName":363,"children":1069},"Vorlesung Probabilistic Programming",{"577327":1070},{"name":1071,"iconName":21,"children":1072,"credits":367,"subjectType":866,"semesterRecommendation":369},"Probabilistische Programmierung",{},{"name":1074,"iconName":13,"children":1075},"Übung Probabilistic Programming",{"577153":1076},{"name":1071,"iconName":21,"children":1077,"credits":405,"subjectType":866,"semesterRecommendation":369},{},{"name":1079,"iconName":10,"children":1080},"Cryptography",{"1833560":1081,"1833562":1086},{"name":1082,"iconName":13,"children":1083},"Prüfung Cryptography",{"589362":1084},{"name":1079,"iconName":21,"children":1085,"credits":367,"subjectType":866,"semesterRecommendation":369},{},{"name":1087,"iconName":363,"children":1088},"Vorlesung\u002FÜbung Cryptography",{"589361":1089},{"name":1079,"iconName":21,"children":1090,"subjectType":866,"semesterRecommendation":369},{},{"name":1092,"iconName":10,"children":1093},"Advanced Topics in Logic",{"1833682":1094,"1833684":1099},{"name":1095,"iconName":13,"children":1096},"Übung Advanced Topics in Logic",{"588003":1097},{"name":1092,"iconName":21,"children":1098,"credits":405,"subjectType":866,"semesterRecommendation":369},{},{"name":1100,"iconName":363,"children":1101},"Vorlesung Advanced Topics in Logic",{"588001":1102},{"name":1092,"iconName":21,"children":1103,"subjectType":866,"semesterRecommendation":369},{},{"name":1105,"iconName":10,"children":1106},"Software Architecture",{"1864596":1107,"1864598":1112},{"name":1108,"iconName":13,"children":1109},"Übung Software Architecture",{"589376":1110},{"name":1105,"iconName":21,"children":1111,"credits":405,"subjectType":866,"semesterRecommendation":369},{},{"name":1113,"iconName":363,"children":1114},"Vorlesung Software Architecture",{"589268":1115},{"name":1105,"iconName":21,"children":1116,"subjectType":866,"semesterRecommendation":369},{},{"name":1118,"iconName":10,"children":1119},"Real-Time Operating Systems - Design and Implementation",{"1913307":1120,"1913309":1125},{"name":1121,"iconName":13,"children":1122},"Übung Real-Time Operating Systems - Design and Implementation",{"600338":1123},{"name":1118,"iconName":21,"children":1124,"credits":405,"subjectType":866,"semesterRecommendation":369},{},{"name":1126,"iconName":363,"children":1127},"Vorlesung Real-Time Operating Systems - Design and Implementation",{"600337":1128},{"name":1118,"iconName":21,"children":1129,"subjectType":866,"semesterRecommendation":369},{},[1131,1164,1189,1214,1238,1263,1287,1312,1336,1361],{"id":1132,"key":1133,"academicYearId":1134,"semesterType":1135,"semesterDesignation":1136,"startOfAcademicSemester":1150,"endOfAcademicSemester":1153,"shortName":1155,"isSelected":1163},297,"27S",1772,"S",{"coType":1137,"value":1138,"translations":1139},"model-core.lib.model.langdata","Sommersemester 2027",{"translation":1140},[1141,1143,1146,1148],{"lang":1142,"value":1138},"de",{"lang":1144,"value":1145},"en","Summer semester 2027",{"lang":1147},"fr",{"lang":1149},"it",{"coType":1151,"value":1152},"date","2027-04-01",{"coType":1151,"value":1154},"2027-09-30",{"coType":1137,"value":1156,"translations":1157},"2027 S",{"translation":1158},[1159,1160,1161,1162],{"lang":1142,"value":1156},{"lang":1144},{"lang":1147},{"lang":1149},false,{"id":1165,"key":1166,"academicYearId":1134,"semesterType":1167,"semesterDesignation":1168,"startOfAcademicSemester":1177,"endOfAcademicSemester":1179,"shortName":1181,"isSelected":350},296,"26W","W",{"coType":1137,"value":1169,"translations":1170},"Wintersemester 2026\u002F27",{"translation":1171},[1172,1173,1175,1176],{"lang":1142,"value":1169},{"lang":1144,"value":1174},"Winter semester 2026\u002F27",{"lang":1147},{"lang":1149},{"coType":1151,"value":1178},"2026-10-01",{"coType":1151,"value":1180},"2027-03-31",{"coType":1137,"value":1182,"translations":1183},"2026 W",{"translation":1184},[1185,1186,1187,1188],{"lang":1142,"value":1182},{"lang":1144},{"lang":1147},{"lang":1149},{"id":1190,"key":1191,"academicYearId":1192,"semesterType":1135,"semesterDesignation":1193,"startOfAcademicSemester":1202,"endOfAcademicSemester":1204,"shortName":1206,"isSelected":1163},294,"26S",1752,{"coType":1137,"value":1194,"translations":1195},"Sommersemester 2026",{"translation":1196},[1197,1198,1200,1201],{"lang":1142,"value":1194},{"lang":1144,"value":1199},"Summer semester 2026",{"lang":1147},{"lang":1149},{"coType":1151,"value":1203},"2026-04-01",{"coType":1151,"value":1205},"2026-09-30",{"coType":1137,"value":1207,"translations":1208},"2026 S",{"translation":1209},[1210,1211,1212,1213],{"lang":1142,"value":1207},{"lang":1144},{"lang":1147},{"lang":1149},{"id":1215,"key":1216,"academicYearId":1192,"semesterType":1167,"semesterDesignation":1217,"startOfAcademicSemester":1226,"endOfAcademicSemester":1228,"shortName":1230,"isSelected":1163},293,"25W",{"coType":1137,"value":1218,"translations":1219},"Wintersemester 2025\u002F26",{"translation":1220},[1221,1222,1224,1225],{"lang":1142,"value":1218},{"lang":1144,"value":1223},"Winter semester 2025\u002F26",{"lang":1147},{"lang":1149},{"coType":1151,"value":1227},"2025-10-01",{"coType":1151,"value":1229},"2026-03-31",{"coType":1137,"value":1231,"translations":1232},"2025 W",{"translation":1233},[1234,1235,1236,1237],{"lang":1142,"value":1231},{"lang":1144},{"lang":1147},{"lang":1149},{"id":1239,"key":1240,"academicYearId":1241,"semesterType":1135,"semesterDesignation":1242,"startOfAcademicSemester":1251,"endOfAcademicSemester":1253,"shortName":1255,"isSelected":1163},292,"25S",1732,{"coType":1137,"value":1243,"translations":1244},"Sommersemester 2025",{"translation":1245},[1246,1247,1249,1250],{"lang":1142,"value":1243},{"lang":1144,"value":1248},"Summer semester 2025",{"lang":1147},{"lang":1149},{"coType":1151,"value":1252},"2025-04-01",{"coType":1151,"value":1254},"2025-09-30",{"coType":1137,"value":1256,"translations":1257},"2025 S",{"translation":1258},[1259,1260,1261,1262],{"lang":1142,"value":1256},{"lang":1144},{"lang":1147},{"lang":1149},{"id":1264,"key":1265,"academicYearId":1241,"semesterType":1167,"semesterDesignation":1266,"startOfAcademicSemester":1275,"endOfAcademicSemester":1277,"shortName":1279,"isSelected":1163},291,"24W",{"coType":1137,"value":1267,"translations":1268},"Wintersemester 2024\u002F25",{"translation":1269},[1270,1271,1273,1274],{"lang":1142,"value":1267},{"lang":1144,"value":1272},"Winter semester 2024\u002F25",{"lang":1147},{"lang":1149},{"coType":1151,"value":1276},"2024-10-01",{"coType":1151,"value":1278},"2025-03-31",{"coType":1137,"value":1280,"translations":1281},"2024 W",{"translation":1282},[1283,1284,1285,1286],{"lang":1142,"value":1280},{"lang":1144},{"lang":1147},{"lang":1149},{"id":1288,"key":1289,"academicYearId":1290,"semesterType":1135,"semesterDesignation":1291,"startOfAcademicSemester":1300,"endOfAcademicSemester":1302,"shortName":1304,"isSelected":1163},290,"24S",1696,{"coType":1137,"value":1292,"translations":1293},"Sommersemester 2024",{"translation":1294},[1295,1296,1298,1299],{"lang":1142,"value":1292},{"lang":1144,"value":1297},"Summer semester 2024",{"lang":1147},{"lang":1149},{"coType":1151,"value":1301},"2024-04-01",{"coType":1151,"value":1303},"2024-09-30",{"coType":1137,"value":1305,"translations":1306},"2024 S",{"translation":1307},[1308,1309,1310,1311],{"lang":1142,"value":1305},{"lang":1144},{"lang":1147},{"lang":1149},{"id":1313,"key":1314,"academicYearId":1290,"semesterType":1167,"semesterDesignation":1315,"startOfAcademicSemester":1324,"endOfAcademicSemester":1326,"shortName":1328,"isSelected":1163},259,"23W",{"coType":1137,"value":1316,"translations":1317},"Wintersemester 2023\u002F24",{"translation":1318},[1319,1320,1322,1323],{"lang":1142,"value":1316},{"lang":1144,"value":1321},"Winter semester 2023\u002F24",{"lang":1147},{"lang":1149},{"coType":1151,"value":1325},"2023-10-01",{"coType":1151,"value":1327},"2024-03-31",{"coType":1137,"value":1329,"translations":1330},"2023 W",{"translation":1331},[1332,1333,1334,1335],{"lang":1142,"value":1329},{"lang":1144},{"lang":1147},{"lang":1149},{"id":1337,"key":1338,"academicYearId":1339,"semesterType":1135,"semesterDesignation":1340,"startOfAcademicSemester":1349,"endOfAcademicSemester":1351,"shortName":1353,"isSelected":1163},258,"23S",1695,{"coType":1137,"value":1341,"translations":1342},"Sommersemester 2023",{"translation":1343},[1344,1345,1347,1348],{"lang":1142,"value":1341},{"lang":1144,"value":1346},"Summer semester 2023",{"lang":1147},{"lang":1149},{"coType":1151,"value":1350},"2023-04-01",{"coType":1151,"value":1352},"2023-09-30",{"coType":1137,"value":1354,"translations":1355},"2023 S",{"translation":1356},[1357,1358,1359,1360],{"lang":1142,"value":1354},{"lang":1144},{"lang":1147},{"lang":1149},{"id":1362,"key":1363,"academicYearId":1339,"semesterType":1167,"semesterDesignation":1364,"startOfAcademicSemester":1373,"endOfAcademicSemester":1375,"shortName":1377,"isSelected":1163},257,"22W",{"coType":1137,"value":1365,"translations":1366},"Wintersemester 2022\u002F23",{"translation":1367},[1368,1369,1371,1372],{"lang":1142,"value":1365},{"lang":1144,"value":1370},"Winter semester 2022\u002F23",{"lang":1147},{"lang":1149},{"coType":1151,"value":1374},"2022-10-01",{"coType":1151,"value":1376},"2023-03-31",{"coType":1137,"value":1378,"translations":1379},"2022 W",{"translation":1380},[1381,1382,1383,1384],{"lang":1142,"value":1378},{"lang":1144},{"lang":1147},{"lang":1149},1790853868931]