Vorlesungsverzeichnis (WiSe 2022/23)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Lehramt

Informatik (LAB, LAG, LS1, LS1+2)

Fachspezifische Bestimmungen 2012

Einführungsveranstaltungen

		(--- Keine Veranstaltung in diesem Bereich gefunden ---)

Pflichtmodule

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 139059 Programmierung 1   -   Hermanns Grundvorlesung 139447 Grundzüge von Algorithmen und Datenstrukturen   -   Bringmann Grundvorlesung 139448 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 139449 Ringvorlesung Perspektiven der Informatik   -   Rahmann ,  Dozent*innen/Informatik Vorlesung

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 140201 Hybrid Learning and Reasoning   -   Klusch ,  Müller ,  Nonnengart Seminar 140204 Understanding of Configurable Software System   -   Apel Seminar 140216 Speech-based Adaptation of Personalized User Interfaces   -   Feld Seminar 140327 AI for HCI   -   Feit Seminar 140328 Machine Learning for Program Analysis   -   Pellegrino ,  Staicu ,  Holz Seminar 140329 Privacy of Machine Learning   -   Zhang Seminar 140330 Advanced Theory of Secure Messaging   -   Cremers Seminar 140331 Machine Learning Security   -   Schönherr Seminar 140333 Industrial Control System Security   -   Ghaeini Seminar 140334 Applied Multiparty Computation and Fully Homomorphic Encryption   -   Kluczniak Seminar 140335 Topics in Optimization for Machine Learning   -   Stich Seminar 140336 Pruning Deep Neural Networks for Lottery Tickets   -   Burkholz Seminar 140337 Topics in Out-of-Distribution Generalization   -   Muandet Seminar 140338 Verification of Distributed Systems   -   Jacobs Seminar 140345 Aspects of Quantitative Program Verification   -   Kaminski Seminar 140346 Legal Tech und eJustice   -   Sorge Seminar 140355 Games User Research   -   Lessel ,  Altmeyer Seminar 140492 Hot Topics in Data Networks   -   Feldmann Seminar 140603 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann Seminar 140604 The Web Security Seminar   -   Pellegrino ,  Stock Seminar 140605 Interactive Robotics   -   Steimle Seminar 140606 Alignment-free Sequence Analysis Algorithms   -   Rahmann Seminar 140607 Machine Learning meets Communication Networks   -   Herfet Seminar 140608 Seminar: Inpainting in Image Analysis   -   Weickert ,  Schaefer Seminar 140641 Deep Reinforcement Learning   -   Wolf Seminar 140653 Machine Learning for Software Development   -   Zeller Seminar 140680 3D Object Representation and Reconstruction with Machine Learning   -   Ilg Seminar 141077 Space Informatics   -   Hermanns ,  Fraire Seminar 141078 Embedded Systems Security   -   Abbasi Seminar 141079 Microarchitectural Security via Hardware-Software Contracts   -   Reineke Seminar 141091 Deep Generative Diffusion Models   -   Wolf ,  Großmann Seminar 141825 Intelligent Systems for Supporting Human Learning   -   Nagashima Blockseminar 141947 Counting Complexity   -   Bläser Blockseminar

Wahlpflichtbereich 1

		(--- Keine Veranstaltung in diesem Bereich gefunden ---)

Wahlpflichtbereich 2

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 137850 Statistik mit R   -   Demberg Vorlesung / Übung belegen/abmelden 138267 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch Vorlesung / Übung 139049 Approximation Algorithms   -   Spoerhase Weiterführende Vorlesung 139470 Compiler Construction   -   Hack Vorlesung / Übung 139471 Database Systems   -   Dittrich Vorlesung / Übung 139472 Automated Reasoning   -   Weidenbach ,  Bromberger ,  Möhle Vorlesung / Übung 139473 Computer Graphics   -   Slusallek Vorlesung / Übung 139474 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 139475 Human Computer Interaction   -   Schmitz Vorlesung / Übung 139476 Security   -   Bugiel ,  Holz Vorlesung / Übung 139477 Software Engineering   -   Apel Vorlesung / Übung 139478 Algorithms and Data Structures   -   Seidel Vorlesung / Übung 139479 Complexity Theory   -   Bläser Vorlesung / Übung 139530 Quantum Artificial Intelligence   -   Klusch ,  Macaluso ,  Slusallek Weiterführende Vorlesung 139791 Project Management and Execution   -   Knop ,  Bayer ,  Rübel Vorlesung 139873 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung 139874 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 140156 Social Computing (Affective Computing)   -   Gebhard ,  Tsovaltzi ,  Müller ,  Nunnari Weiterführende Vorlesung 140339 Usable Security and Privacy (vormals Usable Security)   -   Krombholz Weiterführende Vorlesung 140348 Systems Security   -   Holz ,  Abbasi Weiterführende Vorlesung 140349 Reactive Synthesis   -   Dimitrova Weiterführende Vorlesung 140351 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 140352 Automata, Games, and Verification   -   Finkbeiner Weiterführende Vorlesung 140353 Clock Synchronization and Adversarial Fault Tolerance   -   Lenzen Weiterführende Vorlesung 140354 Automated Debugging   -   Zeller Weiterführende Vorlesung 140357 Generic and Generative Software Design   -   Apel Weiterführende Vorlesung 140420 Reinforcement Learning   -   Singla ,  Radanovic Weiterführende Vorlesung 140423 Coding Theory   -   Döttling Weiterführende Vorlesung 140434 Randomized Algorithms and Probabilistic Analysis of Algorithms   -   Wellnitz Weiterführende Vorlesung 140487 AI Planning Weiterführende Vorlesung 140488 Hands-On Dependability   -   Schmidt Weiterführende Vorlesung 140610 Empirical Software Engineering Research   -   Apel Blockvorlesung 140762 Computer Algebra   -   Bartholdi Vorlesung / Übung 140865 Program Analysis   -   Reineke Weiterführende Vorlesung

Fachspezifische Bestimmungen 2020

Einführungsveranstaltungen

		(--- Keine Veranstaltung in diesem Bereich gefunden ---)

Pflichtmodule

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 138288 Mathematik für Informatik-Lehramt 1   -   Lethen Vorlesung / Übung 139059 Programmierung 1   -   Hermanns Grundvorlesung 139448 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 139449 Ringvorlesung Perspektiven der Informatik   -   Rahmann ,  Dozent*innen/Informatik Vorlesung 140654 Ausgewählte Themen für das Lehramt Informatik   -   Wolf Seminar

Wahlpflichtbereich 1

		(--- Keine Veranstaltung in diesem Bereich gefunden ---)

Wahlpflichtbereich 2

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 139447 Grundzüge von Algorithmen und Datenstrukturen   -   Bringmann Grundvorlesung 139871 Elements of Machine Learning   -   Vreeken ,  Bojchevski Vorlesung / Übung

Wahlpflichtbereich 3

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 137850 Statistik mit R   -   Demberg Vorlesung / Übung belegen/abmelden 138267 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch Vorlesung / Übung 139049 Approximation Algorithms   -   Spoerhase Weiterführende Vorlesung 139470 Compiler Construction   -   Hack Vorlesung / Übung 139471 Database Systems   -   Dittrich Vorlesung / Übung 139472 Automated Reasoning   -   Weidenbach ,  Bromberger ,  Möhle Vorlesung / Übung 139473 Computer Graphics   -   Slusallek Vorlesung / Übung 139474 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 139475 Human Computer Interaction   -   Schmitz Vorlesung / Übung 139476 Security   -   Bugiel ,  Holz Vorlesung / Übung 139477 Software Engineering   -   Apel Vorlesung / Übung 139478 Algorithms and Data Structures   -   Seidel Vorlesung / Übung 139479 Complexity Theory   -   Bläser Vorlesung / Übung 139530 Quantum Artificial Intelligence   -   Klusch ,  Macaluso ,  Slusallek Weiterführende Vorlesung 139791 Project Management and Execution   -   Knop ,  Bayer ,  Rübel Vorlesung 139873 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung 139874 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 140156 Social Computing (Affective Computing)   -   Gebhard ,  Tsovaltzi ,  Müller ,  Nunnari Weiterführende Vorlesung 140339 Usable Security and Privacy (vormals Usable Security)   -   Krombholz Weiterführende Vorlesung 140348 Systems Security   -   Holz ,  Abbasi Weiterführende Vorlesung 140349 Reactive Synthesis   -   Dimitrova Weiterführende Vorlesung 140351 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 140352 Automata, Games, and Verification   -   Finkbeiner Weiterführende Vorlesung 140353 Clock Synchronization and Adversarial Fault Tolerance   -   Lenzen Weiterführende Vorlesung 140354 Automated Debugging   -   Zeller Weiterführende Vorlesung 140357 Generic and Generative Software Design   -   Apel Weiterführende Vorlesung 140420 Reinforcement Learning   -   Singla ,  Radanovic Weiterführende Vorlesung 140423 Coding Theory   -   Döttling Weiterführende Vorlesung 140434 Randomized Algorithms and Probabilistic Analysis of Algorithms   -   Wellnitz Weiterführende Vorlesung 140487 AI Planning Weiterführende Vorlesung 140488 Hands-On Dependability   -   Schmidt Weiterführende Vorlesung 140610 Empirical Software Engineering Research   -   Apel Blockvorlesung 140762 Computer Algebra   -   Bartholdi Vorlesung / Übung 140865 Program Analysis   -   Reineke Weiterführende Vorlesung

Fachspezifische Bestimmungen 2022

Pflichtmodule

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 139059 Programmierung 1   -   Hermanns Grundvorlesung 139448 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 139449 Ringvorlesung Perspektiven der Informatik   -   Rahmann ,  Dozent*innen/Informatik Vorlesung 140654 Ausgewählte Themen für das Lehramt Informatik   -   Wolf Seminar 140711 Grundlagen von Informatiksystemen   -   Kleinbauer Vorlesung / Übung

Wahlpflichtbereich 1

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 139447 Grundzüge von Algorithmen und Datenstrukturen   -   Bringmann Grundvorlesung 139871 Elements of Machine Learning   -   Vreeken ,  Bojchevski Vorlesung / Übung

Wahlpflichtbereich 2

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 137850 Statistik mit R   -   Demberg Vorlesung / Übung belegen/abmelden 138267 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch Vorlesung / Übung 139049 Approximation Algorithms   -   Spoerhase Weiterführende Vorlesung 139470 Compiler Construction   -   Hack Vorlesung / Übung 139471 Database Systems   -   Dittrich Vorlesung / Übung 139472 Automated Reasoning   -   Weidenbach ,  Bromberger ,  Möhle Vorlesung / Übung 139473 Computer Graphics   -   Slusallek Vorlesung / Übung 139474 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 139475 Human Computer Interaction   -   Schmitz Vorlesung / Übung 139476 Security   -   Bugiel ,  Holz Vorlesung / Übung 139477 Software Engineering   -   Apel Vorlesung / Übung 139478 Algorithms and Data Structures   -   Seidel Vorlesung / Übung 139479 Complexity Theory   -   Bläser Vorlesung / Übung 139530 Quantum Artificial Intelligence   -   Klusch ,  Macaluso ,  Slusallek Weiterführende Vorlesung 139791 Project Management and Execution   -   Knop ,  Bayer ,  Rübel Vorlesung 139873 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung 139874 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 140156 Social Computing (Affective Computing)   -   Gebhard ,  Tsovaltzi ,  Müller ,  Nunnari Weiterführende Vorlesung 140339 Usable Security and Privacy (vormals Usable Security)   -   Krombholz Weiterführende Vorlesung 140348 Systems Security   -   Holz ,  Abbasi Weiterführende Vorlesung 140349 Reactive Synthesis   -   Dimitrova Weiterführende Vorlesung 140351 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 140352 Automata, Games, and Verification   -   Finkbeiner Weiterführende Vorlesung 140353 Clock Synchronization and Adversarial Fault Tolerance   -   Lenzen Weiterführende Vorlesung 140354 Automated Debugging   -   Zeller Weiterführende Vorlesung 140357 Generic and Generative Software Design   -   Apel Weiterführende Vorlesung 140420 Reinforcement Learning   -   Singla ,  Radanovic Weiterführende Vorlesung 140423 Coding Theory   -   Döttling Weiterführende Vorlesung 140434 Randomized Algorithms and Probabilistic Analysis of Algorithms   -   Wellnitz Weiterführende Vorlesung 140487 AI Planning Weiterführende Vorlesung 140488 Hands-On Dependability   -   Schmidt Weiterführende Vorlesung 140610 Empirical Software Engineering Research   -   Apel Blockvorlesung 140762 Computer Algebra   -   Bartholdi Vorlesung / Übung 140865 Program Analysis   -   Reineke Weiterführende Vorlesung