Vorlesungsverzeichnis (SoSe 2019)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Bachelor (inkl. Optionalbereich)

Informatik (KB)

Einführungsveranstaltungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 116089 Einführungsveranstaltung Informatik für Studienanfänger Bachelor   -   Steimle ,  Breinig Einführungsveranstaltung 116093 Einführungsveranstaltung Informatik (nicht für Studienanfänger Bachelor)   -   Dozent*innen/Informatik Einführungsveranstaltung 117673 STEP - STudentenEinführungsPhase der Fachschaft für Studienanfänger der Informatikstudiengänge (Bachelor und Master)   -   Fachschaft Informatikstudiengänge Einführungsveranstaltung

Grundvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 116187 Programmierung 2   -   Hoffmann Grundvorlesung 116188 Systemarchitektur   -   Reineke Grundvorlesung 116189 Nebenläufige Programmierung   -   Hermanns Grundvorlesung 116190 Informationssysteme   -   Dittrich Grundvorlesung 116295 Softwarepraktikum   -   Apel Grundvorlesung 116948 Mathematik für Informatiker II   -   Groves ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 116416 Optimization   -   Karrenbauer Vorlesung / Übung 116424 Introduction to Computational Logic   -   Smolka Vorlesung / Übung 116425 Artificial Intelligence   -   Torralba ,  Koehler Vorlesung / Übung 116426 Cryptography   -   Döttling Vorlesung / Übung 116858 Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 117543 Computer Algebra   -   Schreyer Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 114364 Text-to-Speech Synthesis   -   Möbius Vorlesung 114380 Statistical Natural Language Processing   -   Klakow Vorlesung / Übung 114409 Natural Language Generation Vorlesung 115028 Digital Signal Processing / Digitale Signalverarbeitung   -   Klakow Vorlesung / Übung 116301 Einführung in die Quanteninformationsverarbeitung - Theo. Physikalisches Wahlpflicht (WP PW)   -   Wilhelm-Mauch Vorlesung / Übung 116410 Decision Procedures   -   Weidenbach Weiterführende Vorlesung 116413 Realistic Image Synthesis   -   Slusallek Weiterführende Vorlesung 116414 High Level Computer Vision   -   Schiele ,  Fritz Weiterführende Vorlesung 116428 Topics in Algorithmic Data Analysis   -   Vreeken Weiterführende Vorlesung 116465 Audio/Visual Communication and Networks (Telecommunications 2)   -   Herfet Vorlesung / Übung 116859 Numerical Algorithms for Visual Computing Vorlesung / Übung 116860 Image Compression   -   Peter Vorlesung / Übung 117031 Computation and Fabrication   -   Seidel ,  Babaei Weiterführende Vorlesung 117037 Concrete Semantics with Isabelle/HOL   -   Tourret ,  Fleury Weiterführende Vorlesung 117124 Privacy Enhancing Technologies   -   Zhang Weiterführende Vorlesung 117217 Embedded Security Weiterführende Vorlesung 117218 Parametrized Verification   -   Jacobs Weiterführende Vorlesung 117219 Physical-Layer Security   -   Tippenhauer Weiterführende Vorlesung 117220 Web Security   -   Stock Weiterführende Vorlesung 117221 Recht der Cybersicherheit - Strafrechtliche Aspekte   -   Vogelgesang Weiterführende Vorlesung 117222 Trusted and Secure Computing   -   Bugiel Blockvorlesung 117223 Usable Security   -   Krombholz Weiterführende Vorlesung 117253 Algorithms for Sequence Analysis   -   Marschall Spezialvorlesung 117291 Spezialvorlesung Bioinformatik: Probabilistic Models and Data Analysis   -   Wolf Spezialvorlesung 117413 Spezialvorlesung Bioinformatik: Probabilistic Models and Data Analysis   -   Wolf Übung 117441 Topics in Neural Information Retrieval   -   Yates Weiterführende Vorlesung 117442 IT-Forensik   -   Sorge Weiterführende Vorlesung 117580 Fine-grained Complexity Theory   -   Künnemann Weiterführende Vorlesung 117585 Introduction to Boolean Function Complexity   -   Saurabh Weiterführende Vorlesung 117631 Distributed and Sequential Graph Algorithms   -   Amiri Weiterführende Vorlesung 117705 Keeping Time in Distributed Systems   -   Lenzen Weiterführende Vorlesung 117712 Quantitative Model Checking   -   Stan Weiterführende Vorlesung 117724 Ethics for Nerds   -   Hermanns Blockvorlesung 117725 Space Informatics   -   Hermanns Blockvorlesung 117728 Numerical Methods for ODEs   -   Ochs ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 117729 Project "Numerical Methods for ODEs"   -   Ochs ,  Mitarbeiter des Lehrstuhls Projektarbeit

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 116505 Human-Centered Design for Virtual Reality   -   Daiber ,  Speicher Proseminar 116873 Proseminar: Spieltheorie   -   Weickert ,  Wewior Proseminar 117212 Hacking   -   Bugiel ,  Sorge ,  Stock Proseminar 117214 Privacy by Design   -   Sorge Proseminar 117215 Biomedical Privacy   -   Backes ,  Zhang Proseminar 117360 Funktionale Programmierung   -   Smolka ,  Kunze ,  Stark Proseminar 117415 Proseminar: BioinformaticTools in Microbiological Research   -   Keller ,  Galata Proseminar 117416 Proseminar: Selected Topics in Systems Biology   -   Backes ,  Keller Proseminar 117417 Proseminar: Algorithms for Small Non-Coding RNA Discovery   -   Keller ,  Fehlmann Proseminar 117640 Softwarezuverlässigkeit   -   Finkbeiner Proseminar

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 114412 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 114413 Mathematics for deep learning   -   Venant ,  Groschwitz Seminar 114414 Multimodal Dialogue Systems   -   Petukhova Blockseminar 114415 Neural Question Answering   -   Neumann Seminar 114418 Structured neural models   -   Koller Seminar 116099 Innovative Retail Technologies   -   Krüger ,  Lessel ,  Speicher ,  Kosmalla Blockseminar 116466 Rapid Game Development: Erstellung eines Computerspiels in einem interdisziplinären Team   -   Lessel Blockseminar 116467 Advanced Program Analysis   -   Darulova Blockseminar 116763 Discourse Relations: Cognition, Resources and NLP   -   Yung Seminar 116813 Advances in Machine Translation   -   Zhang Seminar 116814 Embeddings for Natural Language Processing and Information Retrieval   -   España i Bonet Seminar 116876 Seminar: Optimisation for Machine Learning   -   Ochs Seminar 116877 Seminar: Inverse Problems in Image Processing   -   Bergerhoff ,  Weickert Seminar 116956 Semantic Deep Learning   -   Klusch Seminar 116959 Strafrechtliche Betrachtung von Cyberangriffen Interdisziplinäres Seminar für Informatiker und Juristen   -   Sorge ,  Vogelgesang ,  Krüger Seminar 116960 Motion Synthesis for Virtual Characters   -   Fischer Seminar 117107 Legal Tech - Interdisziplinäres Seminar für Informatiker und Juristen   -   Sorge ,  Krüger ,  Vogelgesang ,  Hessel Seminar 117120 Real-Time Rendering   -   Slusallek ,  Lemme Seminar 117146 Aktuelle Probleme von Recht und Digitalisierung des Straßenverkehrs   -   Sorge ,  Krüger ,  Vogelgesang Seminar 117205 Selected Topics in Mobile Security   -   Bugiel Seminar 117207 Secure Compilation   -   Patrignani Seminar 117208 Accountability in Theory and Practice   -   Künnemann ,  Nemati Seminar 117210 Comparing Fuzzing Techniques   -   Zeller Seminar 117211 Advanced Topics in Cryptography Seminar 117418 Seminar: Bioinformatic tools in Microbiological Research   -   Keller ,  Galata Seminar 117419 Seminar: selected Topics in Systems Biology   -   Backes ,  Keller Seminar 117420 Seminar: Algorithms for Small Non-Coding RNA Discovery   -   Keller ,  Fehlmann Seminar 117422 Seminar: Machine Learning   -   Guimarães Projektseminar 117429 Computer Vision and Machine Learning for Computer Graphics   -   Theobalt Seminar 117636 Reading Group in Algorithms   -   Mehlhorn Seminar 117642 Hybrid Systems   -   Finkbeiner Blockseminar 117666 Programming Languages and Compilers for Machine Learning   -   Hack Seminar 120682 Designing Usable Security   -   Krombholz Seminar

Freie Leistungspunkte (Soft Skills/Language/Lab)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 114422 HS Von der Automate zum Bot. Film im Zeichen von künstlichem Leben und künstlicher Intelligenz - [LKP 3] (Mi 12-14)   -   Catani Hauptseminar Zur Zeit keine Belegung möglich 114423 Neural Networks   -   Klakow Softwareprojekt 116193 Interaktive Systeme (vorher Ubiquitous Media)   -   Krüger Grundvorlesung 116419 You can do IT. Start your idea! Entrepreneurship in IT and Maths Vorlesung 116668 Unix-Kurs für Unix/Linux-Einsteiger   -   Spurk Kurs belegen/abmelden 117065 Hands-On Networking   -   Herfet Blockpraktikum 117695 Introduction to the Asian Board Game Go   -   Bläser Kurs