Vorlesungsverzeichnis (SoSe 2022)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

MI Fakultät für Mathematik und Informatik

Informatik

Studiengang Bachelor Computer Science (English)

Grundlagen der Mathematik (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 137360 Mathematics for Computer Scientists II   -   Bender ,  Mai 94 Vorlesung / Übung A

Grundlagen der Informatik (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 136356 Programmierung 2   -   Hack 102 Grundvorlesung A 136368 Nebenläufige Programmierung   -   Hermanns 102 Grundvorlesung A 136387 Big Data Engineering (vormals Informationssysteme)   -   Dittrich 102 Grundvorlesung A 136474 Systemarchitektur   -   Reineke 102 Grundvorlesung A 136499 Softwarepraktikum   -   Apel 102 Grundvorlesung A

Proseminare (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 136974 Software Engineering Research in the Neuroage   -   Apel 97 Proseminar A 137248 Classic Contributions to Machine Learning   -   Burkholz ,  Bojchevski 97 Proseminar A 137249 Classical Papers in Systems Security   -   Holz 97 Proseminar A 137253 Das Buch der Beweise   -   Bläser 97 Proseminar A 137254 From Program Verification to Synthesis   -   Finkbeiner 97 Proseminar A 137255 Interacting for Fun - Spiel und Spaß mit dem Computer   -   Krüger ,  Daiber ,  Lessel ,  Kosmalla ,  Altmeyer 97 Proseminar A 137256 Recent Topics in Web Security   -   Stock 97 Proseminar A 137287 Cyber-Physical Systems Security   -   Ghaeini 97 Proseminar A

Seminare (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 134453 Multimodal Dialogue Systems   -   Petukhova 126 Blockseminar A 136315 Quantum Machine Learning   -   Klusch 90 Seminar A 136317 Neural-Symbolic Computing   -   Finkbeiner 90 Seminar A 136384 Arbeits- und Organisationspsychologie & Informatik - Interdisziplinäres Wissenschaftsseminar "Psychological Theories for intelligent and interactive system“   -   Langer ,  Feit 90 Seminar A Zur Zeit keine Belegung möglich 136561 Neuro-Symbolic Reinforcement Learning   -   Singla 90 Seminar A 136939 Deep Learning for Drug Discovery   -   Wolf 90 Seminar A 136972 Software Engineering Research in the Neuroage   -   Apel 90 Seminar A 137015 Seminar: Fourieranalysis   -   Buchheit ,  Seibel 90 Seminar A 137126 Aspects of Quantitative Program Verification   -   Kaminski 126 Blockseminar A 137127 Computer Vision and Machine Learning for Computer Graphics   -   Theobalt 90 Seminar A 137160 Datenschutz und KI: rechtliche und technische Aspekte   -   Sorge 90 Seminar A 137162 Coping with computational hardness: approximation, moderately exponential-time, and parameterized algorithms   -   Marx 90 Seminar A 137165 Ethical AI – AI for Ethics   -   Müller 90 Seminar A 137177 Brain-Computer Interaction   -   Krüger ,  Rekrut 90 Seminar A 137198 Crowdsourcing high quality annotations and experimental data   -   Scholman 90 Seminar A 137257 Symbolic Execution (Multimodal Seminar)   -   Steinhöfel 90 Seminar A 137258 Data-driven Understanding of the Disinformation Epidemic (DUDE)   -   Zhang 90 Seminar A 137259 Digital and Privacy-Preserving Signatures   -   Hanzlik 90 Seminar A 137260 Advanced Topics in Program Analysis   -   Dimitrova 90 Seminar A 137261 Reading Group: String Algorithms   -   Fischer ,  Bringmann 90 Seminar A 137262 Deep Learning for Visual Computing   -   Peter 90 Seminar A 137264 Developing Cloud Software using SAP   -   Krüger ,  Lander ,  Kosmalla ,  Altmeyer ,  Kerber 90 Seminar A 137265 Human-Centered Interface Design for Automated Cyber-Physical Systems   -   Krüger ,  Wiehr ,  Hirsch 90 Seminar A 137266 Build an 8-bit Computer from Scratch   -   Hack 90 Seminar A 137267 Virtual Reality Game Development using a Rock Climbing Treadmill   -   Kosmalla ,  Daiber ,  Degraen ,  Altmeyer 90 Seminar A 137268 How to build a Social Computer   -   Gebhard ,  König ,  Tsovaltzi 90 Seminar A 137284 Seminar: Algorithms for Metagenomics   -   Rahmann 90 Seminar A 137288 Ethics in Security Research   -   Krombholz 90 Seminar A 137289 Algorithms for Realtime Raytracing   -   Yazici ,  Rath 90 Seminar A 137291 Machine Learning for Social Signal Processing   -   Nunnari ,  Lindsay 90 Seminar A 137356 Category Theory   -   Dreyer 90 Seminar A

Stammvorlesungen (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 136388 Artificial Intelligence   -   Hoffmann 94 Vorlesung / Übung A 136473 Cryptography   -   Döttling ,  Loss 94 Vorlesung / Übung A 136477 Introduction to Computational Logic   -   Smolka 94 Vorlesung / Übung A 136508 Optimization   -   Karrenbauer 94 Vorlesung / Übung A 136509 Embedded Systems   -   Maggio 94 Vorlesung / Übung A 136511 Data Networks   -   Feldmann 94 Vorlesung / Übung A 136516 Machine Learning   -   Fritz 94 Vorlesung / Übung A 137554 Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls 94 Vorlesung / Übung A

Vertiefungsvorlesungen (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 136332 Quantitative Model Checking   -   Hermanns ,  Maggio 147 Weiterführende Vorlesung A 136353 Ethics for Nerds   -   Hermanns ,  Baum ,  Sterz 147 Weiterführende Vorlesung A 136354 Automated Reasoning II   -   Waldmann 147 Weiterführende Vorlesung A 136357 Interaktive Systeme   -   Schmitz 42 Vorlesung A 136434 Algorithms for Cryptanalysis   -   Joux 147 Weiterführende Vorlesung A 136462 Machine Learning Privacy   -   Zhang 147 Weiterführende Vorlesung A 136463 Formal analysis of real-world security protocols   -   Cremers 147 Weiterführende Vorlesung A 136464 Secure Web Development   -   Pellegrino ,  Staicu 147 Weiterführende Vorlesung A 136465 Foundations of Web Security   -   Stock 147 Weiterführende Vorlesung A 136466 Physical-Layer Security   -   Tippenhauer ,  Singh 147 Weiterführende Vorlesung A 136467 Digital Currencies and Smart Contracts   -   Wüst 117 Blockvorlesung A 136468 Distributed Graph Algorithms   -   Brandt 147 Weiterführende Vorlesung A 136469 Optimization for Machine Learning   -   Stich 147 Weiterführende Vorlesung A 136504 Topics in Algorithmic Data Analysis   -   Vreeken 147 Weiterführende Vorlesung A 136517 Audio/Visual Communication and Networks (Telecommunications 2)   -   Herfet 94 Vorlesung / Übung A 136518 High Level Computer Vision   -   Schiele 147 Weiterführende Vorlesung A 136520 Realistic Image Synthesis   -   Slusallek 147 Weiterführende Vorlesung A 136567 Recht der Cybersicherheit - Datenschutzrechtliche Aspekte   -   Sorge 147 Weiterführende Vorlesung A 136937 IT-Forensics   -   Sorge 147 Weiterführende Vorlesung A 136978 Parameterized Verification   -   Jacobs 147 Weiterführende Vorlesung A 136990 Algebraic Geometry (Algebraische Geometrie)   -   Schreyer ,  Mitarbeiter des Lehrstuhls 94 Vorlesung / Übung A 137175 Convex Analysis   -   Swoboda 147 Weiterführende Vorlesung A 137193 Automated Knowledge Base Construction   -   Razniewski 147 Weiterführende Vorlesung A 137217 Competitive Programming   -   Weidenbach ,  Bläser ,  Bromberger ,  Bringmann 147 Weiterführende Vorlesung A 137234 How to Clock Your Computer   -   Lenzen 147 Weiterführende Vorlesung A 137482 Causality for Complexity Theorists   -   Bläser 147 Weiterführende Vorlesung A 137555 Image Compression   -   Peter ,  Mitarbeiter des Lehrstuhls 94 Vorlesung / Übung A 137657 Mathematical Morphology in Image Analysis   -   Schaefer 94 Vorlesung / Übung A 137658 Model-driven Deep Learning Lab for Image Analysis   -   Schrader 94 Vorlesung / Übung A

Deutsch oder Englischkurse (Wahlpflicht)

		German and / or English Language courses will be offered from: https://www.uni-saarland.de/en/institution/isz-saar.html (German Language Courses) https://www.szsb.uni-saarland.de/start.html (English Language Courses) https://www.imprs-trust.mpg.de/language/ (German and English Language Courses)
		(--- Keine Veranstaltung in diesem Bereich gefunden ---)

Freie Punkte (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 134428 Gründen Sie Ihr sprachtechnologisches Startup!   -   Koller 155 Softwareprojekt A 135195 Informationstechnische Grundlagen für Physiker 3 (Digitalelektronik und digitales Schaltungsdesign) - Nicht-Physikalisches Wahlpflicht   -   Hoffmann 94 Vorlesung / Übung A 135230 Hands-On Networking   -   Herfet 116 Blockpraktikum A 136476 Statistics Lab   -   Wolf 94 Vorlesung / Übung A 137218 You can do IT. Start your idea! Entrepreneurship in IT and Maths 42 Vorlesung A