We recommend to enable JavaScript and cookies for maximum usability of these pages. With the following access keys you can navigate through the portal: 1 Hauptmenü 2 Inhalt 3 Zurück zu dieser Anleitung

Imprint Contact Print Move to Bottom

Homepage standardLink undef

standardLink undef standardLink undef

Deutsch

Course catalogue

Overview > Courses held in English > Dept. 20 - Computer Science > Lectures

Course offerings / Modules

	Course offering / Module Instructors / Module Owner Time period		Event type Room
	20-00-0362-iv Formal Methods for Information Security Prof. Dr.-Ing. Heiko Mantel Tue, 12. Apr. 2022 [09:50] - Th, 14. Jul. 2022 [11:30]		Integrated Course
	20-00-0489-iv Capturing Reality Dr. rer. nat. Stefan Guthe Mon, 11. Apr. 2022 [11:40] - Tue, 12. Jul. 2022 [11:30]		Integrated Course
	20-00-0512-iv Network Security Prof. Dr.-Ing. Matthias Hollick Wed, 20. Apr. 2022 [13:30] - Th, 14. Jul. 2022 [11:30]		Integrated Course
	20-00-0583-vl Secure Mobile Systems Prof. Dr.-Ing. Matthias Hollick Th, 21. Apr. 2022 [11:40] - Th, 14. Jul. 2022 [13:20]		Lecture
	20-00-0794-iv Formal Specification and Verification of Software Prof. Dr. rer. nat. Reiner Hähnle Tue, 12. Apr. 2022 [13:30] - Tue, 12. Jul. 2022 [15:10]		Integrated Course
	20-00-1135-vl Continual Machine Learning Dr. rer. nat. Martin Mundt Fri, 22. Apr. 2022 [14:25] - Fri, 15. Jul. 2022 [16:05]		Lecture
	20-00-1136-iv Introduction to Quantum Computing Prof. Dr. rer. nat. Mariami Gachechiladze Th, 14. Apr. 2022 [15:20] - Th, 14. Jul. 2022 [17:00]		Integrated Course

Imprint Contact Print