Vorlesungsverzeichnis (WiSe 2021/22)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

MI Fakultät für Mathematik und Informatik

Informatik

Einführungsveranstaltungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131404 Einführungsveranstaltung Informatik (nicht für Studienanfänger Bachelor)   -   Dozent*innen/Informatik Einführungsveranstaltung 133677 Welcome Meeting for new Master Students Entrepreneurial Cybersecurity   -   Zeller Einführungsveranstaltung 133680 Welcome Meeting for new Master Students Computer Science   -   Reineke Einführungsveranstaltung 133681 Begrüßungsveranstaltung für Studienanfänger Bachelor Data Science and Artificial Intelligence   -   Dittrich Einführungsveranstaltung 133682 STEP - STudentenEinführungsPhase der Fachschaft für Studienanfänger der Informatikstudiengänge (Bachelor)   -   Fachschaft Informatikstudiengänge Einführungsveranstaltung 133683 STEP - STudentenEinführungsPhase der Fachschaft für Studienanfänger der Informatikstudiengänge (Master)   -   Fachschaft Informatikstudiengänge Einführungsveranstaltung 133684 Begrüßungsveranstaltung für Studienanfänger Bachelor Cybersicherheit   -   Stock Einführungsveranstaltung 133685 Welcome Meeting Master Data Science and Artificial Intelligence   -   Dittrich Einführungsveranstaltung 133687 Begrüßungsveranstaltung für Studienanfänger Bachelor Informatik   -   Reineke Einführungsveranstaltung 133688 Einführungsveranstaltung Eingebettete Systeme für Studienanfänger Bachelor Einführungsveranstaltung 134104 STEP - STudentenEinführungsPhase der Fachschaft für Studienanfänger Bachelor Computer Science (engl.) und Bachelor Cybersecurity (engl.)   -   Fachschaft Informatikstudiengänge Einführungsveranstaltung 134126 Begrüßungsveranstaltung für Studienanfänger Lehramt Informatik Einführungsveranstaltung 134168 Begrüßungsveranstaltung für Studienanfänger Bachelor Medieninformatik   -   Steimle Einführungsveranstaltung 134173 Welcome Meeting for new Master Students Embedded Systems Einführungsveranstaltung 134199 Welcome Meeting Master Cybersecurity   -   Rossow Einführungsveranstaltung

Studiengang Informatik

Bachelor, StO 2015

Einführungsveranstaltungen

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

Mathematische Grundlagen (Mathematik als Nebenfach) (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133168 Analysis I   -   Groves ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133169 Lineare Algebra I   -   Bartholdi ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133211 Mathematik für Informatiker III   -   Zähle ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Mathematische Grundlagen (Mathematik nicht als Nebenfach) (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133209 Mathematik für Informatiker I   -   Bender ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133211 Mathematik für Informatiker III   -   Zähle ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Grundlagen der Informatik (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131562 Programmierung 1   -   Smolka Grundvorlesung 131595 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 131596 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 131605 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131093 Computational Pragmatics   -   Petukhova Proseminar 133532 Algorithms and Complexity   -   Joux Proseminar 133533 Privacy of Machine Learning   -   Zhang Proseminar 133534 Trustworthy Machine Learning   -   Fritz Proseminar 133535 Automated Testing and Debugging   -   Zeller Proseminar 133538 Distributed Consensus   -   Loss Proseminar 133673 Proseminar: Simulation der Welt   -   Schaefer ,  Schrader ,  Weickert Proseminar 133690 Software Analytics   -   Apel Proseminar 133914 Berechenbarkeits- und Komplexitätstheorie   -   Bläser Proseminar

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131109 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 133204 Neural Networks in AI Planning   -   Hoffmann Blockseminar 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart Seminar 133395 Causethical ML   -   Valera Martinez Seminar 133396 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann Seminar 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik Seminar 133529 Program Analysis for Vulnerability Detection   -   Staicu Seminar 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs Seminar 133531 eJustice und Datenschutz   -   Sorge Blockseminar 133539 Computing the User   -   Feit Seminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133672 Seminar: Milestones and Advances in Image Analysis   -   Schrader ,  Weickert Seminar 133691 Software Analytics   -   Apel Seminar 133727 Seminar: Current Topics in Sequence Analysis   -   Rahmann Seminar 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic Seminar 133900 Walk While Work - UX-Driven Development of Player Type-Centric Motion Games   -   Krüger ,  Lessel ,  Altmeyer Seminar 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar 133907 Interactive Touch Surfaces   -   Steimle ,  Pourjafarian Seminar 133911 Hot Topics in Data Networks   -   Feldmann Seminar 133912 Complexity Theory   -   Bläser Seminar 133943 Reading Group Algorithms: Continuous Methods for Combinatorial Problems   -   Mehlhorn ,  Sharma Seminar 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld Seminar 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta Seminar

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann Vorlesung / Übung 133612 Computer Graphics   -   Slusallek Vorlesung / Übung 133613 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 133614 Geometric Modeling   -   Zayer Vorlesung / Übung 133615 Human Computer Interaction   -   Steimle Vorlesung / Übung 133616 Security   -   Krombholz ,  Tippenhauer Vorlesung / Übung 133617 Software Engineering   -   Apel Vorlesung / Übung 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann Blockvorlesung 133619 Verification   -   Finkbeiner Vorlesung / Übung 133625 Semantics   -   Dreyer Vorlesung / Übung 133627 Operating Systems   -   Kaufmann, PhD Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg Vorlesung / Übung 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung 131783 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch Vorlesung / Übung 132198 Project Management and Execution   -   Knop ,  Bayer ,  Rübel Vorlesung 133205 AI Planning   -   Hoffmann Weiterführende Vorlesung 133206 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 133519 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 133520 Mobile Security   -   Bugiel Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani Weiterführende Vorlesung 133523 Security Testing   -   Zeller Weiterführende Vorlesung 133524 Parameterized Verification   -   Jacobs Blockvorlesung 133630 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung 133640 Complexitiy of Bilinear Problems   -   Bläser Weiterführende Vorlesung 133643 Reinforcement Learning   -   Singla Weiterführende Vorlesung 133660 Systems Security   -   Holz Weiterführende Vorlesung 133667 Automated Knowledge Base Construction   -   Razniewski Blockvorlesung 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133670 Image Acquisition Methods   -   Peter Vorlesung / Übung 133671 Advanced Image Analysis   -   Peter Vorlesung / Übung 133716 Parameterized Algorithms   -   Marx ,  Sharma Weiterführende Vorlesung 133903 Metastability-Containing Synchronization Circuits   -   Lenzen Weiterführende Vorlesung 133999 Fine-Grained Complexity Theory   -   Bringmann Weiterführende Vorlesung 134176 Hands-On Dependability Blockvorlesung

Wahlpflichtbereich (Freie Punkte)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131078 Build your Own Transformer   -   Zhang Softwareprojekt 131609 Grundlagen der Medieninformatik   -   Krüger Grundvorlesung 132711 Process Mining - Data Science in Action   -   Fettke ,  Beuther Vorlesung 132928 Informationsverarbeitende Automaten und Musikinstrumente von Antike bis früher Neuzeit   -   Hoffmann Seminar 133254 Ultrasound Imaging   -   Fournelle Vorlesung belegen/abmelden 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich 135229 Hands-On Networking   -   Herfet Blockpraktikum

Bachelor, StO 2020

Einführungsveranstaltungen

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

Grundlagen der Mathematik (bei Wahl eines anderen Nebenfaches als Mathematik) (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133209 Mathematik für Informatiker I   -   Bender ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133211 Mathematik für Informatiker III   -   Zähle ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Grundlagen der Mathematik (bei Wahl des Nebenfaches Mathematik (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133168 Analysis I   -   Groves ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133169 Lineare Algebra I   -   Bartholdi ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133211 Mathematik für Informatiker III   -   Zähle ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Grundlagen der Informatik (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131562 Programmierung 1   -   Smolka Grundvorlesung 131595 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 131596 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 131605 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung

Grundlagen der Informatik (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131093 Computational Pragmatics   -   Petukhova Proseminar 133532 Algorithms and Complexity   -   Joux Proseminar 133533 Privacy of Machine Learning   -   Zhang Proseminar 133534 Trustworthy Machine Learning   -   Fritz Proseminar 133535 Automated Testing and Debugging   -   Zeller Proseminar 133538 Distributed Consensus   -   Loss Proseminar 133673 Proseminar: Simulation der Welt   -   Schaefer ,  Schrader ,  Weickert Proseminar 133690 Software Analytics   -   Apel Proseminar 133914 Berechenbarkeits- und Komplexitätstheorie   -   Bläser Proseminar

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131109 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 133204 Neural Networks in AI Planning   -   Hoffmann Blockseminar 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart Seminar 133395 Causethical ML   -   Valera Martinez Seminar 133396 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann Seminar 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik Seminar 133529 Program Analysis for Vulnerability Detection   -   Staicu Seminar 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs Seminar 133531 eJustice und Datenschutz   -   Sorge Blockseminar 133539 Computing the User   -   Feit Seminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133672 Seminar: Milestones and Advances in Image Analysis   -   Schrader ,  Weickert Seminar 133691 Software Analytics   -   Apel Seminar 133727 Seminar: Current Topics in Sequence Analysis   -   Rahmann Seminar 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic Seminar 133900 Walk While Work - UX-Driven Development of Player Type-Centric Motion Games   -   Krüger ,  Lessel ,  Altmeyer Seminar 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar 133907 Interactive Touch Surfaces   -   Steimle ,  Pourjafarian Seminar 133911 Hot Topics in Data Networks   -   Feldmann Seminar 133912 Complexity Theory   -   Bläser Seminar 133943 Reading Group Algorithms: Continuous Methods for Combinatorial Problems   -   Mehlhorn ,  Sharma Seminar 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld Seminar 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta Seminar

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann Vorlesung / Übung 133612 Computer Graphics   -   Slusallek Vorlesung / Übung 133613 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 133614 Geometric Modeling   -   Zayer Vorlesung / Übung 133615 Human Computer Interaction   -   Steimle Vorlesung / Übung 133616 Security   -   Krombholz ,  Tippenhauer Vorlesung / Übung 133617 Software Engineering   -   Apel Vorlesung / Übung 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann Blockvorlesung 133619 Verification   -   Finkbeiner Vorlesung / Übung 133625 Semantics   -   Dreyer Vorlesung / Übung 133627 Operating Systems   -   Kaufmann, PhD Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg Vorlesung / Übung 131783 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch Vorlesung / Übung 132198 Project Management and Execution   -   Knop ,  Bayer ,  Rübel Vorlesung 133205 AI Planning   -   Hoffmann Weiterführende Vorlesung 133206 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 133519 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 133520 Mobile Security   -   Bugiel Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani Weiterführende Vorlesung 133523 Security Testing   -   Zeller Weiterführende Vorlesung 133524 Parameterized Verification   -   Jacobs Blockvorlesung 133630 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung 133640 Complexitiy of Bilinear Problems   -   Bläser Weiterführende Vorlesung 133643 Reinforcement Learning   -   Singla Weiterführende Vorlesung 133660 Systems Security   -   Holz Weiterführende Vorlesung 133667 Automated Knowledge Base Construction   -   Razniewski Blockvorlesung 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133670 Image Acquisition Methods   -   Peter Vorlesung / Übung 133671 Advanced Image Analysis   -   Peter Vorlesung / Übung 133716 Parameterized Algorithms   -   Marx ,  Sharma Weiterführende Vorlesung 133903 Metastability-Containing Synchronization Circuits   -   Lenzen Weiterführende Vorlesung 133999 Fine-Grained Complexity Theory   -   Bringmann Weiterführende Vorlesung 134176 Hands-On Dependability Blockvorlesung

Freie Punkte

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131078 Build your Own Transformer   -   Zhang Softwareprojekt 131609 Grundlagen der Medieninformatik   -   Krüger Grundvorlesung 132711 Process Mining - Data Science in Action   -   Fettke ,  Beuther Vorlesung 132928 Informationsverarbeitende Automaten und Musikinstrumente von Antike bis früher Neuzeit   -   Hoffmann Seminar 133254 Ultrasound Imaging   -   Fournelle Vorlesung belegen/abmelden 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich 135229 Hands-On Networking   -   Herfet Blockpraktikum

Master, StO 2015

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann Vorlesung / Übung 133612 Computer Graphics   -   Slusallek Vorlesung / Übung 133613 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 133614 Geometric Modeling   -   Zayer Vorlesung / Übung 133615 Human Computer Interaction   -   Steimle Vorlesung / Übung 133616 Security   -   Krombholz ,  Tippenhauer Vorlesung / Übung 133617 Software Engineering   -   Apel Vorlesung / Übung 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann Blockvorlesung 133619 Verification   -   Finkbeiner Vorlesung / Übung 133625 Semantics   -   Dreyer Vorlesung / Übung 133627 Operating Systems   -   Kaufmann, PhD Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg Vorlesung / Übung 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung 131783 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch Vorlesung / Übung 132198 Project Management and Execution   -   Knop ,  Bayer ,  Rübel Vorlesung 132547 Architectural Thinking for Intelligent Systems   -   Koehler Weiterführende Vorlesung 133205 AI Planning   -   Hoffmann Weiterführende Vorlesung 133206 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 133519 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 133520 Mobile Security   -   Bugiel Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani Weiterführende Vorlesung 133523 Security Testing   -   Zeller Weiterführende Vorlesung 133524 Parameterized Verification   -   Jacobs Blockvorlesung 133630 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung 133640 Complexitiy of Bilinear Problems   -   Bläser Weiterführende Vorlesung 133643 Reinforcement Learning   -   Singla Weiterführende Vorlesung 133660 Systems Security   -   Holz Weiterführende Vorlesung 133667 Automated Knowledge Base Construction   -   Razniewski Blockvorlesung 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133670 Image Acquisition Methods   -   Peter Vorlesung / Übung 133671 Advanced Image Analysis   -   Peter Vorlesung / Übung 133716 Parameterized Algorithms   -   Marx ,  Sharma Weiterführende Vorlesung 133903 Metastability-Containing Synchronization Circuits   -   Lenzen Weiterführende Vorlesung 133999 Fine-Grained Complexity Theory   -   Bringmann Weiterführende Vorlesung 134176 Hands-On Dependability Blockvorlesung

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131109 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 133204 Neural Networks in AI Planning   -   Hoffmann Blockseminar 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart Seminar 133395 Causethical ML   -   Valera Martinez Seminar 133396 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann Seminar 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik Seminar 133529 Program Analysis for Vulnerability Detection   -   Staicu Seminar 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs Seminar 133531 eJustice und Datenschutz   -   Sorge Blockseminar 133539 Computing the User   -   Feit Seminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133672 Seminar: Milestones and Advances in Image Analysis   -   Schrader ,  Weickert Seminar 133691 Software Analytics   -   Apel Seminar 133727 Seminar: Current Topics in Sequence Analysis   -   Rahmann Seminar 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic Seminar 133900 Walk While Work - UX-Driven Development of Player Type-Centric Motion Games   -   Krüger ,  Lessel ,  Altmeyer Seminar 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar 133907 Interactive Touch Surfaces   -   Steimle ,  Pourjafarian Seminar 133911 Hot Topics in Data Networks   -   Feldmann Seminar 133912 Complexity Theory   -   Bläser Seminar 133943 Reading Group Algorithms: Continuous Methods for Combinatorial Problems   -   Mehlhorn ,  Sharma Seminar 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld Seminar 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta Seminar

Freie Leistungspunkte

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131078 Build your Own Transformer   -   Zhang Softwareprojekt 132711 Process Mining - Data Science in Action   -   Fettke ,  Beuther Vorlesung 132928 Informationsverarbeitende Automaten und Musikinstrumente von Antike bis früher Neuzeit   -   Hoffmann Seminar 133254 Ultrasound Imaging   -   Fournelle Vorlesung belegen/abmelden 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich 135229 Hands-On Networking   -   Herfet Blockpraktikum

Studiengang Bachelor Computer Science (English)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131605 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung

Grundlagen der Mathematik (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133209 Mathematik für Informatiker I   -   Bender ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133211 Mathematik für Informatiker III   -   Zähle ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Grundlagen der Informatik (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131562 Programmierung 1   -   Smolka Grundvorlesung 131595 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 131596 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung

Proseminare (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131093 Computational Pragmatics   -   Petukhova Proseminar 133532 Algorithms and Complexity   -   Joux Proseminar 133533 Privacy of Machine Learning   -   Zhang Proseminar 133534 Trustworthy Machine Learning   -   Fritz Proseminar 133535 Automated Testing and Debugging   -   Zeller Proseminar 133538 Distributed Consensus   -   Loss Proseminar 133673 Proseminar: Simulation der Welt   -   Schaefer ,  Schrader ,  Weickert Proseminar 133690 Software Analytics   -   Apel Proseminar

Seminare (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131109 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 133204 Neural Networks in AI Planning   -   Hoffmann Blockseminar 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart Seminar 133395 Causethical ML   -   Valera Martinez Seminar 133396 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann Seminar 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik Seminar 133529 Program Analysis for Vulnerability Detection   -   Staicu Seminar 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs Seminar 133531 eJustice und Datenschutz   -   Sorge Blockseminar 133539 Computing the User   -   Feit Seminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133691 Software Analytics   -   Apel Seminar 133727 Seminar: Current Topics in Sequence Analysis   -   Rahmann Seminar 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic Seminar 133900 Walk While Work - UX-Driven Development of Player Type-Centric Motion Games   -   Krüger ,  Lessel ,  Altmeyer Seminar 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar 133907 Interactive Touch Surfaces   -   Steimle ,  Pourjafarian Seminar 133911 Hot Topics in Data Networks   -   Feldmann Seminar 133912 Complexity Theory   -   Bläser Seminar 133943 Reading Group Algorithms: Continuous Methods for Combinatorial Problems   -   Mehlhorn ,  Sharma Seminar 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld Seminar 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta Seminar

Stammvorlesungen (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann Vorlesung / Übung 133612 Computer Graphics   -   Slusallek Vorlesung / Übung 133613 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 133614 Geometric Modeling   -   Zayer Vorlesung / Übung 133615 Human Computer Interaction   -   Steimle Vorlesung / Übung 133616 Security   -   Krombholz ,  Tippenhauer Vorlesung / Übung 133617 Software Engineering   -   Apel Vorlesung / Übung 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann Blockvorlesung 133619 Verification   -   Finkbeiner Vorlesung / Übung 133625 Semantics   -   Dreyer Vorlesung / Übung 133627 Operating Systems   -   Kaufmann, PhD Vorlesung / Übung

Vertiefungsvorlesungen (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg Vorlesung / Übung 131783 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch Vorlesung / Übung 132198 Project Management and Execution   -   Knop ,  Bayer ,  Rübel Vorlesung 133205 AI Planning   -   Hoffmann Weiterführende Vorlesung 133206 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 133519 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 133520 Mobile Security   -   Bugiel Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani Weiterführende Vorlesung 133523 Security Testing   -   Zeller Weiterführende Vorlesung 133524 Parameterized Verification   -   Jacobs Blockvorlesung 133630 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung 133640 Complexitiy of Bilinear Problems   -   Bläser Weiterführende Vorlesung 133643 Reinforcement Learning   -   Singla Weiterführende Vorlesung 133660 Systems Security   -   Holz Weiterführende Vorlesung 133667 Automated Knowledge Base Construction   -   Razniewski Blockvorlesung 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133670 Image Acquisition Methods   -   Peter Vorlesung / Übung 133671 Advanced Image Analysis   -   Peter Vorlesung / Übung 133999 Fine-Grained Complexity Theory   -   Bringmann Weiterführende Vorlesung

Deutsch oder Englischkurse (Wahlpflicht)

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

Freie Punkte (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131078 Build your Own Transformer   -   Zhang Softwareprojekt 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich

Studiengang Medieninformatik

Grundvorlesungen

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

Stammvorlesungen

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

Vertiefungsvorlesungen

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

Proseminare

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

Seminare

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

Spezialisierungsfach Medienpsychologie

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

Freie Leistungspunkte (Soft Skills/Language/Lab)

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

Bachelor, StO 2013

Einführungsveranstaltungen

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

Pflichtbereich aus dem Fachbereich Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131562 Programmierung 1   -   Smolka Grundvorlesung 131596 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 131605 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung 133209 Mathematik für Informatiker I   -   Bender ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131093 Computational Pragmatics   -   Petukhova Proseminar 133532 Algorithms and Complexity   -   Joux Proseminar 133533 Privacy of Machine Learning   -   Zhang Proseminar 133534 Trustworthy Machine Learning   -   Fritz Proseminar 133535 Automated Testing and Debugging   -   Zeller Proseminar 133538 Distributed Consensus   -   Loss Proseminar 133673 Proseminar: Simulation der Welt   -   Schaefer ,  Schrader ,  Weickert Proseminar 133690 Software Analytics   -   Apel Proseminar 133914 Berechenbarkeits- und Komplexitätstheorie   -   Bläser Proseminar

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131109 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 133204 Neural Networks in AI Planning   -   Hoffmann Blockseminar 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart Seminar 133395 Causethical ML   -   Valera Martinez Seminar 133396 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann Seminar 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik Seminar 133529 Program Analysis for Vulnerability Detection   -   Staicu Seminar 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs Seminar 133531 eJustice und Datenschutz   -   Sorge Blockseminar 133539 Computing the User   -   Feit Seminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133672 Seminar: Milestones and Advances in Image Analysis   -   Schrader ,  Weickert Seminar 133691 Software Analytics   -   Apel Seminar 133727 Seminar: Current Topics in Sequence Analysis   -   Rahmann Seminar 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic Seminar 133900 Walk While Work - UX-Driven Development of Player Type-Centric Motion Games   -   Krüger ,  Lessel ,  Altmeyer Seminar 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar 133907 Interactive Touch Surfaces   -   Steimle ,  Pourjafarian Seminar 133911 Hot Topics in Data Networks   -   Feldmann Seminar 133912 Complexity Theory   -   Bläser Seminar 133943 Reading Group Algorithms: Continuous Methods for Combinatorial Problems   -   Mehlhorn ,  Sharma Seminar 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld Seminar 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta Seminar

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann Vorlesung / Übung 133612 Computer Graphics   -   Slusallek Vorlesung / Übung 133613 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 133614 Geometric Modeling   -   Zayer Vorlesung / Übung 133616 Security   -   Krombholz ,  Tippenhauer Vorlesung / Übung 133617 Software Engineering   -   Apel Vorlesung / Übung 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann Blockvorlesung 133619 Verification   -   Finkbeiner Vorlesung / Übung 133625 Semantics   -   Dreyer Vorlesung / Übung 133627 Operating Systems   -   Kaufmann, PhD Vorlesung / Übung

Pflichtbereich aus dem Fachbereich Medieninformatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131609 Grundlagen der Medieninformatik   -   Krüger Grundvorlesung 131636 Medienprojekt   -   Krüger Projektarbeit 133615 Human Computer Interaction   -   Steimle Vorlesung / Übung

Pflichtbereich aus dem Fachbereich Psychologie

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133118 Modul Allgemeine Psychologie I: Modulelement 'Allgemeine Psychologie I: Wahrnehmung und Aufmerksamkeit'   -   Wentura Vorlesung 133543 Medienpsychologisches Seminar: Sozialpsychologische Aspekte der Medienpsychologie   -   Kilger Seminar

Wahlpflichtbereich

Sonstiges

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133254 Ultrasound Imaging   -   Fournelle Vorlesung belegen/abmelden 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 135229 Hands-On Networking   -   Herfet Blockpraktikum

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg Vorlesung / Übung 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung 131783 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch Vorlesung / Übung 132198 Project Management and Execution   -   Knop ,  Bayer ,  Rübel Vorlesung 133205 AI Planning   -   Hoffmann Weiterführende Vorlesung 133206 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 133519 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 133520 Mobile Security   -   Bugiel Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani Weiterführende Vorlesung 133523 Security Testing   -   Zeller Weiterführende Vorlesung 133524 Parameterized Verification   -   Jacobs Blockvorlesung 133630 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung 133640 Complexitiy of Bilinear Problems   -   Bläser Weiterführende Vorlesung 133643 Reinforcement Learning   -   Singla Weiterführende Vorlesung 133660 Systems Security   -   Holz Weiterführende Vorlesung 133667 Automated Knowledge Base Construction   -   Razniewski Blockvorlesung 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133670 Image Acquisition Methods   -   Peter Vorlesung / Übung 133671 Advanced Image Analysis   -   Peter Vorlesung / Übung 133716 Parameterized Algorithms   -   Marx ,  Sharma Weiterführende Vorlesung 133903 Metastability-Containing Synchronization Circuits   -   Lenzen Weiterführende Vorlesung 133999 Fine-Grained Complexity Theory   -   Bringmann Weiterführende Vorlesung 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich 134176 Hands-On Dependability Blockvorlesung

Bachelor, StO 2020

Einführungsveranstaltungen

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

Grundlagen der Mathematik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133209 Mathematik für Informatiker I   -   Bender ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Grundlagen der Informatik / Praktika (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131562 Programmierung 1   -   Smolka Grundvorlesung 131596 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 131605 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung

Grundlagen der Informatik (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131595 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung

Spezialisierter Pflicht-Bereich der Medieninformatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg Vorlesung / Übung 131609 Grundlagen der Medieninformatik   -   Krüger Grundvorlesung 131636 Medienprojekt   -   Krüger Projektarbeit 133615 Human Computer Interaction   -   Steimle Vorlesung / Übung

Pflicht-Bereich der Psychologie

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133118 Modul Allgemeine Psychologie I: Modulelement 'Allgemeine Psychologie I: Wahrnehmung und Aufmerksamkeit'   -   Wentura Vorlesung 133543 Medienpsychologisches Seminar: Sozialpsychologische Aspekte der Medienpsychologie   -   Kilger Seminar

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131093 Computational Pragmatics   -   Petukhova Proseminar 133532 Algorithms and Complexity   -   Joux Proseminar 133533 Privacy of Machine Learning   -   Zhang Proseminar 133534 Trustworthy Machine Learning   -   Fritz Proseminar 133535 Automated Testing and Debugging   -   Zeller Proseminar 133538 Distributed Consensus   -   Loss Proseminar 133673 Proseminar: Simulation der Welt   -   Schaefer ,  Schrader ,  Weickert Proseminar 133690 Software Analytics   -   Apel Proseminar 133914 Berechenbarkeits- und Komplexitätstheorie   -   Bläser Proseminar

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131109 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 133204 Neural Networks in AI Planning   -   Hoffmann Blockseminar 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart Seminar 133395 Causethical ML   -   Valera Martinez Seminar 133396 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann Seminar 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik Seminar 133529 Program Analysis for Vulnerability Detection   -   Staicu Seminar 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs Seminar 133531 eJustice und Datenschutz   -   Sorge Blockseminar 133539 Computing the User   -   Feit Seminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133672 Seminar: Milestones and Advances in Image Analysis   -   Schrader ,  Weickert Seminar 133691 Software Analytics   -   Apel Seminar 133727 Seminar: Current Topics in Sequence Analysis   -   Rahmann Seminar 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic Seminar 133900 Walk While Work - UX-Driven Development of Player Type-Centric Motion Games   -   Krüger ,  Lessel ,  Altmeyer Seminar 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar 133907 Interactive Touch Surfaces   -   Steimle ,  Pourjafarian Seminar 133911 Hot Topics in Data Networks   -   Feldmann Seminar 133912 Complexity Theory   -   Bläser Seminar 133943 Reading Group Algorithms: Continuous Methods for Combinatorial Problems   -   Mehlhorn ,  Sharma Seminar 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld Seminar 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta Seminar

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann Vorlesung / Übung 133612 Computer Graphics   -   Slusallek Vorlesung / Übung 133613 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 133614 Geometric Modeling   -   Zayer Vorlesung / Übung 133616 Security   -   Krombholz ,  Tippenhauer Vorlesung / Übung 133617 Software Engineering   -   Apel Vorlesung / Übung 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann Blockvorlesung 133619 Verification   -   Finkbeiner Vorlesung / Übung 133625 Semantics   -   Dreyer Vorlesung / Übung 133627 Operating Systems   -   Kaufmann, PhD Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131783 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch Vorlesung / Übung 132198 Project Management and Execution   -   Knop ,  Bayer ,  Rübel Vorlesung 133205 AI Planning   -   Hoffmann Weiterführende Vorlesung 133206 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 133519 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 133520 Mobile Security   -   Bugiel Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani Weiterführende Vorlesung 133523 Security Testing   -   Zeller Weiterführende Vorlesung 133524 Parameterized Verification   -   Jacobs Blockvorlesung 133630 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung 133640 Complexitiy of Bilinear Problems   -   Bläser Weiterführende Vorlesung 133643 Reinforcement Learning   -   Singla Weiterführende Vorlesung 133660 Systems Security   -   Holz Weiterführende Vorlesung 133667 Automated Knowledge Base Construction   -   Razniewski Blockvorlesung 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133670 Image Acquisition Methods   -   Peter Vorlesung / Übung 133671 Advanced Image Analysis   -   Peter Vorlesung / Übung 133716 Parameterized Algorithms   -   Marx ,  Sharma Weiterführende Vorlesung 133903 Metastability-Containing Synchronization Circuits   -   Lenzen Weiterführende Vorlesung 133999 Fine-Grained Complexity Theory   -   Bringmann Weiterführende Vorlesung 134176 Hands-On Dependability Blockvorlesung

Freie Punkte

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133254 Ultrasound Imaging   -   Fournelle Vorlesung belegen/abmelden 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich 135229 Hands-On Networking   -   Herfet Blockpraktikum

Master, StO 2013

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

Pflichtbereich aus dem Fachbereich Informatik oder Medieninformatik

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131109 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 133204 Neural Networks in AI Planning   -   Hoffmann Blockseminar 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart Seminar 133395 Causethical ML   -   Valera Martinez Seminar 133396 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann Seminar 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik Seminar 133529 Program Analysis for Vulnerability Detection   -   Staicu Seminar 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs Seminar 133531 eJustice und Datenschutz   -   Sorge Blockseminar 133539 Computing the User   -   Feit Seminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133672 Seminar: Milestones and Advances in Image Analysis   -   Schrader ,  Weickert Seminar 133691 Software Analytics   -   Apel Seminar 133727 Seminar: Current Topics in Sequence Analysis   -   Rahmann Seminar 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic Seminar 133900 Walk While Work - UX-Driven Development of Player Type-Centric Motion Games   -   Krüger ,  Lessel ,  Altmeyer Seminar 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar 133907 Interactive Touch Surfaces   -   Steimle ,  Pourjafarian Seminar 133911 Hot Topics in Data Networks   -   Feldmann Seminar 133912 Complexity Theory   -   Bläser Seminar 133943 Reading Group Algorithms: Continuous Methods for Combinatorial Problems   -   Mehlhorn ,  Sharma Seminar 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld Seminar 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta Seminar

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann Vorlesung / Übung 133612 Computer Graphics   -   Slusallek Vorlesung / Übung 133613 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 133614 Geometric Modeling   -   Zayer Vorlesung / Übung 133615 Human Computer Interaction   -   Steimle Vorlesung / Übung 133616 Security   -   Krombholz ,  Tippenhauer Vorlesung / Übung 133617 Software Engineering   -   Apel Vorlesung / Übung 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann Blockvorlesung 133619 Verification   -   Finkbeiner Vorlesung / Übung 133625 Semantics   -   Dreyer Vorlesung / Übung 133627 Operating Systems   -   Kaufmann, PhD Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg Vorlesung / Übung 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung 131783 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch Vorlesung / Übung 132198 Project Management and Execution   -   Knop ,  Bayer ,  Rübel Vorlesung 132547 Architectural Thinking for Intelligent Systems   -   Koehler Weiterführende Vorlesung 133205 AI Planning   -   Hoffmann Weiterführende Vorlesung 133206 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 133519 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 133520 Mobile Security   -   Bugiel Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani Weiterführende Vorlesung 133523 Security Testing   -   Zeller Weiterführende Vorlesung 133524 Parameterized Verification   -   Jacobs Blockvorlesung 133630 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung 133640 Complexitiy of Bilinear Problems   -   Bläser Weiterführende Vorlesung 133643 Reinforcement Learning   -   Singla Weiterführende Vorlesung 133660 Systems Security   -   Holz Weiterführende Vorlesung 133667 Automated Knowledge Base Construction   -   Razniewski Blockvorlesung 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133670 Image Acquisition Methods   -   Peter Vorlesung / Übung 133671 Advanced Image Analysis   -   Peter Vorlesung / Übung 133716 Parameterized Algorithms   -   Marx ,  Sharma Weiterführende Vorlesung 133903 Metastability-Containing Synchronization Circuits   -   Lenzen Weiterführende Vorlesung 133999 Fine-Grained Complexity Theory   -   Bringmann Weiterführende Vorlesung 134176 Hands-On Dependability Blockvorlesung

Soft Skills Wahlpflichtbereich

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133254 Ultrasound Imaging   -   Fournelle Vorlesung belegen/abmelden 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich 135229 Hands-On Networking   -   Herfet Blockpraktikum

Master, StO 2020

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

Stammvorlesungen (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann Vorlesung / Übung 133612 Computer Graphics   -   Slusallek Vorlesung / Übung 133613 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 133614 Geometric Modeling   -   Zayer Vorlesung / Übung 133615 Human Computer Interaction   -   Steimle Vorlesung / Übung 133616 Security   -   Krombholz ,  Tippenhauer Vorlesung / Übung 133617 Software Engineering   -   Apel Vorlesung / Übung 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann Blockvorlesung 133619 Verification   -   Finkbeiner Vorlesung / Übung 133625 Semantics   -   Dreyer Vorlesung / Übung 133627 Operating Systems   -   Kaufmann, PhD Vorlesung / Übung

Vertiefungsvorlesungen (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg Vorlesung / Übung 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung 131783 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch Vorlesung / Übung 132198 Project Management and Execution   -   Knop ,  Bayer ,  Rübel Vorlesung 132547 Architectural Thinking for Intelligent Systems   -   Koehler Weiterführende Vorlesung 133205 AI Planning   -   Hoffmann Weiterführende Vorlesung 133206 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 133519 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 133520 Mobile Security   -   Bugiel Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani Weiterführende Vorlesung 133523 Security Testing   -   Zeller Weiterführende Vorlesung 133524 Parameterized Verification   -   Jacobs Blockvorlesung 133630 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung 133640 Complexitiy of Bilinear Problems   -   Bläser Weiterführende Vorlesung 133643 Reinforcement Learning   -   Singla Weiterführende Vorlesung 133660 Systems Security   -   Holz Weiterführende Vorlesung 133667 Automated Knowledge Base Construction   -   Razniewski Blockvorlesung 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133670 Image Acquisition Methods   -   Peter Vorlesung / Übung 133671 Advanced Image Analysis   -   Peter Vorlesung / Übung 133716 Parameterized Algorithms   -   Marx ,  Sharma Weiterführende Vorlesung 133903 Metastability-Containing Synchronization Circuits   -   Lenzen Weiterführende Vorlesung 133999 Fine-Grained Complexity Theory   -   Bringmann Weiterführende Vorlesung 134176 Hands-On Dependability Blockvorlesung

Seminare (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131109 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 133204 Neural Networks in AI Planning   -   Hoffmann Blockseminar 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart Seminar 133395 Causethical ML   -   Valera Martinez Seminar 133396 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann Seminar 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik Seminar 133529 Program Analysis for Vulnerability Detection   -   Staicu Seminar 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs Seminar 133531 eJustice und Datenschutz   -   Sorge Blockseminar 133539 Computing the User   -   Feit Seminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133672 Seminar: Milestones and Advances in Image Analysis   -   Schrader ,  Weickert Seminar 133691 Software Analytics   -   Apel Seminar 133727 Seminar: Current Topics in Sequence Analysis   -   Rahmann Seminar 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic Seminar 133900 Walk While Work - UX-Driven Development of Player Type-Centric Motion Games   -   Krüger ,  Lessel ,  Altmeyer Seminar 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar 133907 Interactive Touch Surfaces   -   Steimle ,  Pourjafarian Seminar 133911 Hot Topics in Data Networks   -   Feldmann Seminar 133912 Complexity Theory   -   Bläser Seminar 133943 Reading Group Algorithms: Continuous Methods for Combinatorial Problems   -   Mehlhorn ,  Sharma Seminar 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld Seminar 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta Seminar

Freie Punkte

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133254 Ultrasound Imaging   -   Fournelle Vorlesung belegen/abmelden 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich 135229 Hands-On Networking   -   Herfet Blockpraktikum

Studiengänge Cybersicherheit / Entrepreneurial Cybersecurity

Bachelor Cybersicherheit, StO 2016

Einführungsveranstaltungen

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

Pflichtbereich

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131562 Programmierung 1   -   Smolka Grundvorlesung 131595 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 131596 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 133209 Mathematik für Informatiker I   -   Bender ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131093 Computational Pragmatics   -   Petukhova Proseminar 133532 Algorithms and Complexity   -   Joux Proseminar 133533 Privacy of Machine Learning   -   Zhang Proseminar 133534 Trustworthy Machine Learning   -   Fritz Proseminar 133535 Automated Testing and Debugging   -   Zeller Proseminar 133538 Distributed Consensus   -   Loss Proseminar 133673 Proseminar: Simulation der Welt   -   Schaefer ,  Schrader ,  Weickert Proseminar 133690 Software Analytics   -   Apel Proseminar 133914 Berechenbarkeits- und Komplexitätstheorie   -   Bläser Proseminar

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133204 Neural Networks in AI Planning   -   Hoffmann Blockseminar 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart Seminar 133395 Causethical ML   -   Valera Martinez Seminar 133396 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann Seminar 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik Seminar 133529 Program Analysis for Vulnerability Detection   -   Staicu Seminar 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs Seminar 133531 eJustice und Datenschutz   -   Sorge Blockseminar 133539 Computing the User   -   Feit Seminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133691 Software Analytics   -   Apel Seminar 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic Seminar 133900 Walk While Work - UX-Driven Development of Player Type-Centric Motion Games   -   Krüger ,  Lessel ,  Altmeyer Seminar 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar 133907 Interactive Touch Surfaces   -   Steimle ,  Pourjafarian Seminar 133911 Hot Topics in Data Networks   -   Feldmann Seminar 133912 Complexity Theory   -   Bläser Seminar 133943 Reading Group Algorithms: Continuous Methods for Combinatorial Problems   -   Mehlhorn ,  Sharma Seminar 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld Seminar 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta Seminar

Spezialisierter Pflichtbereich

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131610 Foundations of Cyber Security 1 (Grundlagen der Cybersicherheit 1)   -   Stock Grundvorlesung 131634 Cybersecurity Project   -   Bugiel Projektarbeit 133616 Security   -   Krombholz ,  Tippenhauer Vorlesung / Übung

Wahlpflichtbereich I

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133519 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 133520 Mobile Security   -   Bugiel Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani Weiterführende Vorlesung 133523 Security Testing   -   Zeller Weiterführende Vorlesung 133524 Parameterized Verification   -   Jacobs Blockvorlesung 133660 Systems Security   -   Holz Weiterführende Vorlesung 133716 Parameterized Algorithms   -   Marx ,  Sharma Weiterführende Vorlesung 133903 Metastability-Containing Synchronization Circuits   -   Lenzen Weiterführende Vorlesung

Wahlpflichtbereich II

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131605 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich 135229 Hands-On Networking   -   Herfet Blockpraktikum

Bachelor Cybersicherheit, StO 2020

Einführungsveranstaltungen

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

Grundlagen der Mathematik (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133209 Mathematik für Informatiker I   -   Bender ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Grundlagen der Informatik / Praktika (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131562 Programmierung 1   -   Smolka Grundvorlesung 131595 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 131596 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung

Grundlagen der Informatik (Wahlpflicht)

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

Spezialisierter Pflicht-Bereich der Cyber Security

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131610 Foundations of Cyber Security 1 (Grundlagen der Cybersicherheit 1)   -   Stock Grundvorlesung 131634 Cybersecurity Project   -   Bugiel Projektarbeit

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133532 Algorithms and Complexity   -   Joux Proseminar 133533 Privacy of Machine Learning   -   Zhang Proseminar 133534 Trustworthy Machine Learning   -   Fritz Proseminar 133535 Automated Testing and Debugging   -   Zeller Proseminar 133538 Distributed Consensus   -   Loss Proseminar

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik Seminar 133529 Program Analysis for Vulnerability Detection   -   Staicu Seminar 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs Seminar 133531 eJustice und Datenschutz   -   Sorge Blockseminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133519 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 133520 Mobile Security   -   Bugiel Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani Weiterführende Vorlesung 133523 Security Testing   -   Zeller Weiterführende Vorlesung 133524 Parameterized Verification   -   Jacobs Blockvorlesung 133660 Systems Security   -   Holz Weiterführende Vorlesung 133716 Parameterized Algorithms   -   Marx ,  Sharma Weiterführende Vorlesung 133903 Metastability-Containing Synchronization Circuits   -   Lenzen Weiterführende Vorlesung

Freie Punkte

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131605 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich 135229 Hands-On Networking   -   Herfet Blockpraktikum

Master Entrepreneurial Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung

Stammvorlesungen im Bereich Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133616 Security   -   Krombholz ,  Tippenhauer Vorlesung / Übung 133617 Software Engineering   -   Apel Vorlesung / Übung 133619 Verification   -   Finkbeiner Vorlesung / Übung 133627 Operating Systems   -   Kaufmann, PhD Vorlesung / Übung

Vertiefungsvorlesungen Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133519 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 133520 Mobile Security   -   Bugiel Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani Weiterführende Vorlesung 133523 Security Testing   -   Zeller Weiterführende Vorlesung 133524 Parameterized Verification   -   Jacobs Blockvorlesung 133660 Systems Security   -   Holz Weiterführende Vorlesung 133716 Parameterized Algorithms   -   Marx ,  Sharma Weiterführende Vorlesung 133903 Metastability-Containing Synchronization Circuits   -   Lenzen Weiterführende Vorlesung

Stammvorlesungen Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann Vorlesung / Übung 133612 Computer Graphics   -   Slusallek Vorlesung / Übung 133613 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 133614 Geometric Modeling   -   Zayer Vorlesung / Übung 133615 Human Computer Interaction   -   Steimle Vorlesung / Übung 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann Blockvorlesung 133625 Semantics   -   Dreyer Vorlesung / Übung

Vertiefungsvorlesungen Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg Vorlesung / Übung 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung 131783 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch Vorlesung / Übung 132547 Architectural Thinking for Intelligent Systems   -   Koehler Weiterführende Vorlesung 133205 AI Planning   -   Hoffmann Weiterführende Vorlesung 133206 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 133630 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung 133640 Complexitiy of Bilinear Problems   -   Bläser Weiterführende Vorlesung 133643 Reinforcement Learning   -   Singla Weiterführende Vorlesung 133667 Automated Knowledge Base Construction   -   Razniewski Blockvorlesung 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133670 Image Acquisition Methods   -   Peter Vorlesung / Übung 133671 Advanced Image Analysis   -   Peter Vorlesung / Übung 133999 Fine-Grained Complexity Theory   -   Bringmann Weiterführende Vorlesung 134176 Hands-On Dependability Blockvorlesung

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131109 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 133204 Neural Networks in AI Planning   -   Hoffmann Blockseminar 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart Seminar 133395 Causethical ML   -   Valera Martinez Seminar 133396 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann Seminar 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik Seminar 133529 Program Analysis for Vulnerability Detection   -   Staicu Seminar 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs Seminar 133531 eJustice und Datenschutz   -   Sorge Blockseminar 133539 Computing the User   -   Feit Seminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133691 Software Analytics   -   Apel Seminar 133727 Seminar: Current Topics in Sequence Analysis   -   Rahmann Seminar 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic Seminar 133900 Walk While Work - UX-Driven Development of Player Type-Centric Motion Games   -   Krüger ,  Lessel ,  Altmeyer Seminar 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar 133907 Interactive Touch Surfaces   -   Steimle ,  Pourjafarian Seminar 133911 Hot Topics in Data Networks   -   Feldmann Seminar 133912 Complexity Theory   -   Bläser Seminar 133943 Reading Group Algorithms: Continuous Methods for Combinatorial Problems   -   Mehlhorn ,  Sharma Seminar 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld Seminar 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta Seminar

Freie Leistungspunkte

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich 135229 Hands-On Networking   -   Herfet Blockpraktikum

Master Cybersecurity

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann Vorlesung / Übung 133612 Computer Graphics   -   Slusallek Vorlesung / Übung 133613 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 133614 Geometric Modeling   -   Zayer Vorlesung / Übung 133615 Human Computer Interaction   -   Steimle Vorlesung / Übung 133616 Security   -   Krombholz ,  Tippenhauer Vorlesung / Übung 133617 Software Engineering   -   Apel Vorlesung / Übung 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann Blockvorlesung 133619 Verification   -   Finkbeiner Vorlesung / Übung 133625 Semantics   -   Dreyer Vorlesung / Übung 133627 Operating Systems   -   Kaufmann, PhD Vorlesung / Übung

Vertiefungsvorlesungen Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133519 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 133520 Mobile Security   -   Bugiel Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani Weiterführende Vorlesung 133523 Security Testing   -   Zeller Weiterführende Vorlesung 133524 Parameterized Verification   -   Jacobs Blockvorlesung 133660 Systems Security   -   Holz Weiterführende Vorlesung

Seminare Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik Seminar 133529 Program Analysis for Vulnerability Detection   -   Staicu Seminar 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs Seminar 133531 eJustice und Datenschutz   -   Sorge Blockseminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar

Freie Punkte

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich

Studiengang Bachelor Cybersecurity (English)

Grundlagen der Mathematik (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133209 Mathematik für Informatiker I   -   Bender ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Grundlagen der Informatik (Plicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131562 Programmierung 1   -   Smolka Grundvorlesung 131595 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 131596 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung

Praktika (Pflicht)

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

Spezialisierter Pflicht-Bereich der Cybersecurity (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131610 Foundations of Cyber Security 1 (Grundlagen der Cybersicherheit 1)   -   Stock Grundvorlesung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133532 Algorithms and Complexity   -   Joux Proseminar 133533 Privacy of Machine Learning   -   Zhang Proseminar 133534 Trustworthy Machine Learning   -   Fritz Proseminar 133535 Automated Testing and Debugging   -   Zeller Proseminar 133538 Distributed Consensus   -   Loss Proseminar

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik Seminar 133529 Program Analysis for Vulnerability Detection   -   Staicu Seminar 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs Seminar 133531 eJustice und Datenschutz   -   Sorge Blockseminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar

Kernthemen der Cybersicherheit (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133519 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 133520 Mobile Security   -   Bugiel Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani Weiterführende Vorlesung 133523 Security Testing   -   Zeller Weiterführende Vorlesung 133524 Parameterized Verification   -   Jacobs Blockvorlesung 133660 Systems Security   -   Holz Weiterführende Vorlesung

Komplementäre Themen der Cybersicherheit (Wahlpflicht)

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

Freie Punkte

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich

Studiengang Data Science and Artificial Intelligence

Bachelor

Pflichtbereich

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131562 Programmierung 1   -   Smolka Grundvorlesung 131595 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 131596 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 131605 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung 133209 Mathematik für Informatiker I   -   Bender ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133211 Mathematik für Informatiker III   -   Zähle ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Spezialisierter Pflichtbereich

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131612 Elements of Data Science and Artificial Intelligence   -   Demberg ,  Schiele ,  Hoffmann Vorlesung / Übung 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung

Stammvorlesungen DSAI

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann Vorlesung / Übung 133630 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung

Vertiefungsvorlesungen DSAI

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg Vorlesung / Übung 133177 Stochastik II (Stochastics 2)   -   Bender ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133205 AI Planning   -   Hoffmann Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133616 Security   -   Krombholz ,  Tippenhauer Vorlesung / Übung 133643 Reinforcement Learning   -   Singla Weiterführende Vorlesung 133667 Automated Knowledge Base Construction   -   Razniewski Blockvorlesung 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133670 Image Acquisition Methods   -   Peter Vorlesung / Übung 133671 Advanced Image Analysis   -   Peter Vorlesung / Übung

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131109 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 133204 Neural Networks in AI Planning   -   Hoffmann Blockseminar 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart Seminar 133395 Causethical ML   -   Valera Martinez Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133539 Computing the User   -   Feit Seminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133672 Seminar: Milestones and Advances in Image Analysis   -   Schrader ,  Weickert Seminar 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld Seminar 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta Seminar

Anwendungsfach

Biologie (Human- und Molekularbiologie)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133042 EB: Entwicklungsbiologie   -   Iden Vorlesung 133052 PP: Pflanzenphysiologie   -   Philippar Vorlesung 133055 GE: Genetik   -   Walter ,  Lepikhov Vorlesung 133056 HI: Histologie & Anatomie   -   Müller ,  Meuser ,  Mett ,  Steinmetz Vorlesung 133062 BC: Biochemie I   -   Morgan Vorlesung 133063 ZO Zoologie für B.Sc./LA   -   Müller Vorlesung 133064 ZB: Zellbiologie   -   Breinig Vorlesung

Chemie

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 132275 Allgemeine Chemie für Chemiker (AC01)   -   Scheschkewitz ,  Rammo Vorlesung / Übung Zur Zeit keine Belegung möglich 132276 Grundlagen der Physikalischen Chemie für Chemiker (PC01)   -   Kay Vorlesung / Übung Zur Zeit keine Belegung möglich

Computerlinguistik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131098 Einführung in die Syntax und Morphologie   -   Avgustinova Vorlesung / Übung belegen/abmelden 131284 Perspektiven der Linguistik   -   Teich ,  Polzin-Haumann ,  Speyer ,  Reich ,  Drenhaus ,  Haberzettl ,  Möbius ,  Gergel ,  Verkerk Vorlesung Zur Zeit keine Belegung möglich

Jura

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 132080 Bürgerliches Vermögensrecht I   -   Borges Vorlesung 132081 Einführung in das juristische Denken und Arbeiten mit Juristischem Hausarbeits-Propädeutikum   -   Foerster Vorlesung 132091 Arbeitsgemeinschaft im Bürgerlichen Recht I   -   Borges ,  N. N. Arbeitsgemeinschaft 132102 Urheberrecht (Deutsches und internationales Urheberrecht mit Probeklausuren inkl. Besprechung)   -   Ludyga Vorlesung 132113 Datenschutzrecht   -   Niemann Vorlesung

Materialwissenschaften und Werkstofftechnik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 132454 Praktikum II   -   Marx ,  Professoren/Materialwissenschaft/Werkstofftechnik Praktikum belegen/abmelden 132464 Einführung in die Materialwissenschaft   -   Mücklich ,  Müller Vorlesung belegen/abmelden

Physik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131761 Theoretische Physik IV (Quantenphysik und statistische Physik: Weiterführende Konzepte) mit Übungen   -   Morigi Vorlesung / Übung

Psychologie

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133066 Modul Angewandte Sozialpsychologie: Modulelement 'Einführung in die angewandte Sozialpsychologie'   -   Friese Vorlesung 133089 Modul Allgemeine Psychologie II: Modulelement 'Allgemeine Psychologie II - Lernen und Sprache'   -   Kray Vorlesung 133118 Modul Allgemeine Psychologie I: Modulelement 'Allgemeine Psychologie I: Wahrnehmung und Aufmerksamkeit'   -   Wentura Vorlesung 133134 Modul Arbeit,Diagnostik und Beratung : Modulelement 'Einführung in die Arbeits- und Organisationspsychologie'   -   Bajwa Vorlesung

Quantum Engineering

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131749 Experimentalphysik IIIa (Optik und Thermodynamik) (EP IIIa) und (Exp IIIa-LA)   -   Wagner ,  Pelster Vorlesung / Übung 131783 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch Vorlesung / Übung

Systems Engineering

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131668 Information Storage   -   Abelmann Vorlesung / Übung 131860 Mikrosystemtechnik (Mikrotechnologie)   -   Schütze Vorlesung / Übung 131872 Aktorik und Sensorik mit intelligenten Materialsystemen 1 (Einführung in die Aktorik mit Aktiven Materialien)   -   Seelecke Vorlesung / Übung 131906 Systementwicklungsmethodik 1   -   Vielhaber ,  Wilhelm Vorlesung / Übung belegen/abmelden 131932 Zuverlässigkeit I   -   Wiese Vorlesung / Übung 132408 Fertigungstechnik I - Technologien des Maschinenbaus   -   Bähre Vorlesung

Sportwissenschaften

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131866 15310 Bewegungswissenschaft (15300 Modul Bewegungslernen initiieren]   -   Panzer ,  Schäfer Vorlesung 131867 15210 Trainingswissenschaft (15200 Modul Trainingsprozesse planen)   -   Panzer Vorlesung 131953 40121 Bewegungswissenschaft (40100 Modul Naturwissenschaftliches Vertiefungsfach)   -   Panzer Seminar 131954 40131 Trainingswissenschaft (40100 Modul Naturwissenschaftliches Vertiefungsfach)   -   Leinen Seminar

Projektseminar (Wahlpflicht)

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

Wahlpflichtbereich (Freie Punkte)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131078 Build your Own Transformer   -   Zhang Softwareprojekt 132711 Process Mining - Data Science in Action   -   Fettke ,  Beuther Vorlesung 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich 135229 Hands-On Networking   -   Herfet Blockpraktikum

Master

Stammvorlesungen aus dem Bereich DSAI

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann Vorlesung / Übung 133630 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung

Stammvorlesungen aus dem Bereich Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133612 Computer Graphics   -   Slusallek Vorlesung / Übung 133613 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 133614 Geometric Modeling   -   Zayer Vorlesung / Übung 133615 Human Computer Interaction   -   Steimle Vorlesung / Übung 133617 Software Engineering   -   Apel Vorlesung / Übung 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann Blockvorlesung 133619 Verification   -   Finkbeiner Vorlesung / Übung 133625 Semantics   -   Dreyer Vorlesung / Übung 133627 Operating Systems   -   Kaufmann, PhD Vorlesung / Übung

Vertiefungsvorlesungen aus dem Bereich DSAI

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg Vorlesung / Übung 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung 132547 Architectural Thinking for Intelligent Systems   -   Koehler Weiterführende Vorlesung 133177 Stochastik II (Stochastics 2)   -   Bender ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133205 AI Planning   -   Hoffmann Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133616 Security   -   Krombholz ,  Tippenhauer Vorlesung / Übung 133643 Reinforcement Learning   -   Singla Weiterführende Vorlesung 133667 Automated Knowledge Base Construction   -   Razniewski Blockvorlesung 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133670 Image Acquisition Methods   -   Peter Vorlesung / Übung 133671 Advanced Image Analysis   -   Peter Vorlesung / Übung

Seminare aus dem Bereich DSAI

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131081 Controllable neural text generation   -   Skrjanec Seminar 131109 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 133204 Neural Networks in AI Planning   -   Hoffmann Blockseminar 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart Seminar 133395 Causethical ML   -   Valera Martinez Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133539 Computing the User   -   Feit Seminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133672 Seminar: Milestones and Advances in Image Analysis   -   Schrader ,  Weickert Seminar 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld Seminar 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta Seminar

Wahlpflichtbereich (Freie Punkte)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131078 Build your Own Transformer   -   Zhang Softwareprojekt 132711 Process Mining - Data Science in Action   -   Fettke ,  Beuther Vorlesung 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich 135229 Hands-On Networking   -   Herfet Blockpraktikum

Studiengang Eingebettete Systeme/Embedded Systems

Bachelor Eingebettete Systeme

Pflichtbereich

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131562 Programmierung 1   -   Smolka Grundvorlesung 131605 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung 131611 Einführung in Eingebettete Systeme   -   Reineke Vorlesung / Übung 131671 Grundlagen der Elektrotechnik I (auch für Studierende des Juniorstudiums)   -   Dyczij-Edlinger Vorlesung / Übung 133199 Höhere Mathematik für Ingenieure I   -   Bildhauer ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133200 Höhere Mathematik für Ingenieure III   -   Speicher ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131093 Computational Pragmatics   -   Petukhova Proseminar 133532 Algorithms and Complexity   -   Joux Proseminar 133533 Privacy of Machine Learning   -   Zhang Proseminar 133534 Trustworthy Machine Learning   -   Fritz Proseminar 133535 Automated Testing and Debugging   -   Zeller Proseminar 133538 Distributed Consensus   -   Loss Proseminar 133690 Software Analytics   -   Apel Proseminar 133914 Berechenbarkeits- und Komplexitätstheorie   -   Bläser Proseminar

Wahlpflichtbereich I - "Informatik"

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131595 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 131596 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 133613 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung

Wahlpflichtbereich II "Engineering"

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131713 Grundlagen der Automatisierungstechnik (Automatisierungstechnik I)   -   Frey Vorlesung / Übung 131736 Grundlagen der Signalverarbeitung   -   Klakow Vorlesung / Übung 131750 Elektronische Systeme   -   Möller Vorlesung / Übung 131935 Mikroelektronik I   -   Xu Vorlesung / Übung

Wahlpflichtbereich Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131672 Theoretische Elektrotechnik II   -   Dyczij-Edlinger Vorlesung / Übung 131674 Computational Electromagnetics 1   -   Dyczij-Edlinger Vorlesung / Übung 131752 High Frequency Engineering (Hochfrequenztechnik)   -   Möller Vorlesung / Übung 131820 Elektrische Antriebe (Antriebstechnik 1)   -   Nienhaus ,  Zarbock ,  König Vorlesung / Übung belegen/abmelden 131827 Systemtheorie und Regelungstechnik 2   -   Rudolph Vorlesung / Übung 131860 Mikrosystemtechnik (Mikrotechnologie)   -   Schütze Vorlesung / Übung 131931 Aufbau- und Verbindungstechnik I   -   Wiese Vorlesung / Übung 131933 Elektronik - Teilmodul Bauelemente   -   Wiese Vorlesung / Übung 131934 Mikroelektronik III   -   Xu Vorlesung / Übung 133206 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 133616 Security   -   Krombholz ,  Tippenhauer Vorlesung / Übung 133617 Software Engineering   -   Apel Vorlesung / Übung 133619 Verification   -   Finkbeiner Vorlesung / Übung 133627 Operating Systems   -   Kaufmann, PhD Vorlesung / Übung 133630 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung

Freier Wahlpflichtbereich

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131078 Build your Own Transformer   -   Zhang Softwareprojekt 133254 Ultrasound Imaging   -   Fournelle Vorlesung belegen/abmelden 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich 135229 Hands-On Networking   -   Herfet Blockpraktikum

Master Embedded Systems

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131672 Theoretische Elektrotechnik II   -   Dyczij-Edlinger Vorlesung / Übung 131674 Computational Electromagnetics 1   -   Dyczij-Edlinger Vorlesung / Übung 131752 High Frequency Engineering (Hochfrequenztechnik)   -   Möller Vorlesung / Übung 131820 Elektrische Antriebe (Antriebstechnik 1)   -   Nienhaus ,  Zarbock ,  König Vorlesung / Übung belegen/abmelden 131827 Systemtheorie und Regelungstechnik 2   -   Rudolph Vorlesung / Übung 131860 Mikrosystemtechnik (Mikrotechnologie)   -   Schütze Vorlesung / Übung 131931 Aufbau- und Verbindungstechnik I   -   Wiese Vorlesung / Übung 131933 Elektronik - Teilmodul Bauelemente   -   Wiese Vorlesung / Übung 131934 Mikroelektronik III   -   Xu Vorlesung / Übung 133206 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 133613 Digital Transmission, Signal Processing   -   Herfet Vorlesung / Übung 133616 Security   -   Krombholz ,  Tippenhauer Vorlesung / Übung 133617 Software Engineering   -   Apel Vorlesung / Übung 133619 Verification   -   Finkbeiner Vorlesung / Übung 133627 Operating Systems   -   Kaufmann, PhD Vorlesung / Übung 133630 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg Vorlesung / Übung 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung 131712 Soft Control (Rechnergestützte Methoden in der Automatisierungstechnik)   -   Frey Vorlesung / Übung 131783 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch Vorlesung / Übung 132198 Project Management and Execution   -   Knop ,  Bayer ,  Rübel Vorlesung 132547 Architectural Thinking for Intelligent Systems   -   Koehler Weiterführende Vorlesung 133205 AI Planning   -   Hoffmann Weiterführende Vorlesung 133519 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 133520 Mobile Security   -   Bugiel Weiterführende Vorlesung 133521 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani Weiterführende Vorlesung 133523 Security Testing   -   Zeller Weiterführende Vorlesung 133524 Parameterized Verification   -   Jacobs Blockvorlesung 133610 Automated Reasoning   -   Waldmann Vorlesung / Übung 133612 Computer Graphics   -   Slusallek Vorlesung / Übung 133614 Geometric Modeling   -   Zayer Vorlesung / Übung 133615 Human Computer Interaction   -   Steimle Vorlesung / Übung 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann Blockvorlesung 133625 Semantics   -   Dreyer Vorlesung / Übung 133640 Complexitiy of Bilinear Problems   -   Bläser Weiterführende Vorlesung 133643 Reinforcement Learning   -   Singla Weiterführende Vorlesung 133660 Systems Security   -   Holz Weiterführende Vorlesung 133667 Automated Knowledge Base Construction   -   Razniewski Blockvorlesung 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133670 Image Acquisition Methods   -   Peter Vorlesung / Übung 133671 Advanced Image Analysis   -   Peter Vorlesung / Übung 133716 Parameterized Algorithms   -   Marx ,  Sharma Weiterführende Vorlesung 133903 Metastability-Containing Synchronization Circuits   -   Lenzen Weiterführende Vorlesung 133999 Fine-Grained Complexity Theory   -   Bringmann Weiterführende Vorlesung 134176 Hands-On Dependability Blockvorlesung

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131109 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 131753 Seminar zu Themen aus Elektronik, Schaltungs- und Hochfrequenztechnik   -   Möller Seminar 131831 Seminar Systemtheorie und Regelungstechnik   -   Rudolph Seminar 131863 Spezielle Probleme der Messtechnik   -   Schütze Seminar 131874 Seminar Intelligente Materialsysteme (Seminar zur Unkonventionellen Aktorik)   -   Seelecke Seminar 131905 Seminar zur Konstruktionstechnik (Produktentstehung) für Master   -   Vielhaber Seminar 133204 Neural Networks in AI Planning   -   Hoffmann Blockseminar 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart Seminar 133395 Causethical ML   -   Valera Martinez Seminar 133396 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann Seminar 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu Seminar 133525 Privacy of Machine Learning   -   Zhang Seminar 133526 Pruning deep neural networks for lottery tickets   -   Burkholz Seminar 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik Seminar 133529 Program Analysis for Vulnerability Detection   -   Staicu Seminar 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs Seminar 133531 eJustice und Datenschutz   -   Sorge Blockseminar 133539 Computing the User   -   Feit Seminar 133657 Formal Methods for AI Safety   -   Dimitrova Seminar 133658 Topics in Optimization for Machine Learning   -   Stich Blockseminar 133672 Seminar: Milestones and Advances in Image Analysis   -   Schrader ,  Weickert Seminar 133691 Software Analytics   -   Apel Seminar 133727 Seminar: Current Topics in Sequence Analysis   -   Rahmann Seminar 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic Seminar 133900 Walk While Work - UX-Driven Development of Player Type-Centric Motion Games   -   Krüger ,  Lessel ,  Altmeyer Seminar 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz Seminar 133905 Trustworthy Graph Neural Networks   -   Bojchevski Seminar 133907 Interactive Touch Surfaces   -   Steimle ,  Pourjafarian Seminar 133911 Hot Topics in Data Networks   -   Feldmann Seminar 133912 Complexity Theory   -   Bläser Seminar 133943 Reading Group Algorithms: Continuous Methods for Combinatorial Problems   -   Mehlhorn ,  Sharma Seminar 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld Seminar 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta Seminar

Freier Wahlbereich

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131078 Build your Own Transformer   -   Zhang Softwareprojekt 133254 Ultrasound Imaging   -   Fournelle Vorlesung belegen/abmelden 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick Vorlesung Zur Zeit keine Belegung möglich 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer Online-Vorlesung Zur Zeit keine Belegung möglich 135229 Hands-On Networking   -   Herfet Blockpraktikum

Lehramt Informatik

		Die Lehramtsveranstaltungen finden Sie hier: https://www.lsf.uni-saarland.de/qisserver/rds?state=wtree&search=1&trex=step&root120201=253136|258690&P.vx=kurz unter Fachdidaktische Veranstaltungen aller Lehramtsstudienfächer (inkl. Schulpraktika) und Informatik (LAB, LAG, LS1+2)
		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133594 Begleitendes Seminar zum semesterbegleitenden fachdidaktischen Schulpraktikum   -   Strobel Praktikum / Seminar 133596 Semesterbegleitendes fachdidaktisches Schulpraktikum   -   Strobel Praktikum 133702 Fachdidaktikseminar II   -   Lethen Seminar

		Die Lehramtsveranstaltungen finden Sie hier: https://www.lsf.uni-saarland.de/qisserver/rds?state=wtree&search=1&trex=step&root120201=253136|258690&P.vx=kurz unter Fachdidaktische Veranstaltungen aller Lehramtsstudienfächer (inkl. Schulpraktika) und Informatik (LAB, LAG, LS1+2)
		(--- Keine Veranstaltung in diesem Bereich gefunden ---)

		Die Lehramtsveranstaltungen finden Sie hier: https://www.lsf.uni-saarland.de/qisserver/rds?state=wtree&search=1&trex=step&root120201=253136|258690&P.vx=kurz unter Fachdidaktische Veranstaltungen aller Lehramtsstudienfächer (inkl. Schulpraktika) und Informatik (LAB, LAG, LS1+2)
		(--- Keine Veranstaltung in diesem Bereich gefunden ---)

		Die Lehramtsveranstaltungen finden Sie hier: https://www.lsf.uni-saarland.de/qisserver/rds?state=wtree&search=1&trex=step&root120201=253136|258690&P.vx=kurz unter Fachdidaktische Veranstaltungen aller Lehramtsstudienfächer (inkl. Schulpraktika) und Informatik (LAB, LAG, LS1+2)
		(--- Keine Veranstaltung in diesem Bereich gefunden ---)

Veranstaltungen der Bioinformatik

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

Veranstaltungen für Studierende anderer Fakultäten

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133207 Ideen der Informatik   -   Mehlhorn Vorlesung