Vorlesungsverzeichnis (WiSe 2014/15)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Lehramt (modularisiert)

Informatik (LAB, LAG, LS1+2)

Einführungsveranstaltungen

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 81886 Einführungsveranstaltung für Lehramtsstudierende Informatik aller Semester   -   Mirold Einführungsveranstaltung     WiSe 2014/15 Informatik

Pflichtmodule

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 81814 Grundzüge der Theoretischen Informatik   -   Univ.-Prof. Dr. Bläser Grundvorlesung     WiSe 2014/15 Informatik 81815 Grundzüge von Algorithmen und Datenstrukturen   -   Univ.-Prof. Dr. Seidel Grundvorlesung     WiSe 2014/15 Informatik 81816 Programmierung 1   -   Univ.-Professor Dr. Finkbeiner Grundvorlesung     WiSe 2014/15 Informatik 83013 Begleitendes Seminar zum fachdidaktischen Blockpraktikum   -   Mirold Seminar     WiSe 2014/15 Informatik 83014 Einführung in die Didaktik der Informatik   -   Mirold Vorlesung / Übung     WiSe 2014/15 Informatik 83015 Fachdidaktisches Laborpraktikum   -   Mirold Praktikum     WiSe 2014/15 Informatik

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 82441 Reading Group in Algorithms (A)   -   Univ.-Prof. Dr. rer. nat. Mehlhorn Seminar     WiSe 2014/15 Informatik 82698 Tomography as an Inverse Rendering Problem   -   Univ.-Professor Prof. Dr. Slusallek Seminar     WiSe 2014/15 Informatik 83061 Discourse Phenomena Seminar / Hauptseminar     WiSe 2014/15 Computerlinguistik und Phonetik 83440 Gamified Life: Integration of Gamification elements into everyday life   -   Dr. Lessel Seminar     WiSe 2014/15 Informatik 83558 Browser Security   -   Prof. Dr. Hammer Seminar     WiSe 2014/15 Informatik 83643 Probabilistic Methods for the Analysis of Next Generation Sequencing   -   Dr. Schulz Blockseminar     WiSe 2014/15 Informatik 83673 Automated Debugging   -   Univ.-Professor Dr.-Ing. Zeller ,  Dr. Galeotti Seminar     WiSe 2014/15 Informatik 83725 Egocentric Computer Vision   -   Dr. Bulling ,  Dr. Sugano Seminar     WiSe 2014/15 Informatik 83726 Multi-View Data Mining   -   Dr. Miettinen Blockseminar     WiSe 2014/15 Informatik 83730 Database Systems 2   -   Univ.-Prof. Dr. Dittrich Seminar     WiSe 2014/15 Informatik 83731 Computer-based educational technologies   -   Sosnovsky Seminar     WiSe 2014/15 Informatik 83746 Heuristic Search for MDPs   -   Univ.-Professor Prof. Dr. Hoffmann Blockseminar     WiSe 2014/15 Informatik 83808 Logics in Security   -   Garg Seminar     WiSe 2014/15 Informatik 83818 Information Theory   -   Prof. Dr. Vreeken Seminar     WiSe 2014/15 Informatik 84877 System Security Reading Group   -   Univ.-Prof. Dr. Maffei ,  Univ.-Professor Dr. Rossow Seminar     WiSe 2014/15 Informatik

Wahlpflichtbereich 1

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 81818 Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung     WiSe 2014/15 Informatik

Wahlpflichtbereich 2

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 81812 Software Reverse Engineering   -   Univ.-Professor Dr. Rossow Blockvorlesung     WiSe 2014/15 Informatik 81902 Distributed Systems   -   Univ.-Professor Prof. Dr. Druschel Vorlesung / Übung     WiSe 2014/15 Informatik 81908 Security   -   Univ.-Prof. Dr. Maffei Vorlesung / Übung     WiSe 2014/15 Informatik 81914 Telecommunications I   -   Univ.-Prof. Dr.-Ing. Herfet Vorlesung / Übung     WiSe 2014/15 Informatik 81915 Computer Graphics   -   Univ.-Professor Prof. Dr. Slusallek Vorlesung / Übung     WiSe 2014/15 Informatik 82000 Computer Architecture 1   -   Univ.-Prof. Dr. Dr. h. c. Paul Vorlesung / Übung     WiSe 2014/15 Fakultät MI: Fakultät für Mathematik und Informatik 82012 Automated Reasoning   -   Univ.-Prof. Dr. rer. nat. Weidenbach Vorlesung / Übung     WiSe 2014/15 Fakultät MI: Fakultät für Mathematik und Informatik 82013 Verification   -   Univ.-Prof. Dr.-Ing. Hermanns Vorlesung / Übung     WiSe 2014/15 Fakultät MI: Fakultät für Mathematik und Informatik 82027 Algorithms and Data Structures   -   Dr. Kerber ,  Dr. Hoefer Vorlesung / Übung     WiSe 2014/15 Informatik 82033 Computer Algebra   -   Dr. Sagraloff Vorlesung / Übung     WiSe 2014/15 Fakultät MI: Fakultät für Mathematik und Informatik 82417 Static Programm Analysis   -   Univ.-Prof. Dr. Reineke ,  Univ.-Prof. Dr. Hack ,  Prof. Dr. Hammer Weiterführende Vorlesung     WiSe 2014/15 Informatik 82418 Automatic Planning   -   Univ.-Professor Prof. Dr. Hoffmann Weiterführende Vorlesung     WiSe 2014/15 Informatik 82431 Quantitative Model Checking   -   Ph.D. Krcál Weiterführende Vorlesung     WiSe 2014/15 Informatik 82432 Project Management and Execution   -   Dipl.-Inform. Knop ,  Dipl.-Math. Bayer ,  M.Sc. Thaler Vorlesung     WiSe 2014/15 Fakultät R: Rechtswissenschaftliche Fakultät 82443 Database Systems   -   Univ.-Prof. Dr. Dittrich Vorlesung / Übung     WiSe 2014/15 Informatik 82444 Modelling and Simulation   -   Univ.-Professor Dr. Bortolussi Weiterführende Vorlesung     WiSe 2014/15 Informatik 82447 Probabilistic Graphical Models and their Applications   -   Univ.-Prof. Dr. Schiele Weiterführende Vorlesung     WiSe 2014/15 Informatik 82760 Public-Key Encryption   -   Prof. Dr. Schröder Blockvorlesung     WiSe 2014/15 Informatik 82877 Convex Analysis for Image Processing   -   Prof. Dr. Weickert ,  M.Sc. Hoeltgen Weiterführende Vorlesung     WiSe 2014/15 Mathematik 82883 Image Compression   -   Akad. Rat Dr. Peter ,  Prof. Dr. Weickert Spezialvorlesung     WiSe 2014/15 Mathematik 82990 Machine Learning   -   Prof. Dr. Fritz ,  Dr. Andres Vorlesung / Übung     WiSe 2014/15 Informatik 83044 IT Forensics   -   Univ.-Prof. Dr. Ing. Sorge Weiterführende Vorlesung     WiSe 2014/15 Informatik 83055 Text-to-speech synthesis   -   Univ.-Prof. Dr. Möbius Vorlesung     WiSe 2014/15 Computerlinguistik und Phonetik 83091 Algorithmische Zahlentheorie (Computational Number Theory)   -   Prof. Dr. Schulze-Pillot-Ziemen Vorlesung     WiSe 2014/15 Mathematik 83096 Differential Equations in Image Processing and Computer Vision   -   Prof. Dr. Weickert Vorlesung     WiSe 2014/15 Mathematik 83278 Applied Cryptography   -   Dr. Kate Weiterführende Vorlesung     WiSe 2014/15 Informatik 83325 Advanced Image Analysis   -   Prof. Dr. Weickert Vorlesung     WiSe 2014/15 Mathematik 83329 Advanced Topics in Information Retrieval   -   Prof. Dr. Berberich Weiterführende Vorlesung     WiSe 2014/15 Informatik 83330 Theory of Distributed Systems   -   Dr. Lenzen Weiterführende Vorlesung     WiSe 2014/15 Informatik 83331 Integer Programming   -   Dr. Karrenbauer Weiterführende Vorlesung     WiSe 2014/15 Informatik 83515 Perception in Computer Graphics   -   PD Dr. Myszkowski ,  Dr. Ritschel Weiterführende Vorlesung     WiSe 2014/15 Informatik 83582 An Introduction to TLA +   -   Dr. Lu Weiterführende Vorlesung     WiSe 2014/15 Informatik 83585 Computational Logic II   -   Univ.-Prof. Dr. rer. nat. Smolka Weiterführende Vorlesung     WiSe 2014/15 Informatik 83977 Type Systems for Security Verification   -   Univ.-Prof. Dr. Maffei Blockvorlesung     WiSe 2014/15 Informatik 83993 Satisfy my Circuits: Algorithms for the Satisfiability Problem   -   Dr. Dell Weiterführende Vorlesung     WiSe 2014/15 Informatik