List of Lectures

Module / Course offering
Module Owner / Instructors
Time period
Event type Start semester
M1101-CMS72 Models of Computation
N.N.
SoSe 2023
K1101-MA0002V Advanced Logics (V)
K1101-MA0002V Advanced Logics (L)
Prof. Dr. rer. nat. Christine Baier
Th, 6. Apr. 2023 [09:20] - Fri, 14. Jul. 2023 [10:50]
Lecture
K1101-MA0002Ü Advanced Logics (E)
K1101-MA0002Ü Advanced Logics (E)
Prof. Dr. rer. nat. Christine Baier
Th, 13. Apr. 2023 [11:10] - Th, 13. Jul. 2023 [12:40]
Exercise
K1101-MA0008V Concurrency Theory (L)
K1101-MA0008V Concurrency Theory (L)
Prof. Dr. rer. pol. Markus Krötzsch; Dr. rer. nat. Stephan Mennicke
Tue, 4. Apr. 2023 [13:00] - Tue, 11. Jul. 2023 [14:30]
Lecture
K1101-MA0008Ü Concurrency Theory (Ü)
K1101-MA0008Ü Concurrency Theory (E)
Prof. Dr. rer. pol. Markus Krötzsch; Dr. rer. nat. Stephan Mennicke
Wed, 5. Apr. 2023 [11:10] - Wed, 12. Jul. 2023 [12:40]
Exercise
K1101-MA0020Ü Lab Course Modeling and Automated Verification (E)
K1101-MA0020Ü Lab Course Modeling and Automated Verification (E)
Prof. Dr. rer. nat. Christine Baier
Fri, 14. Apr. 2023 [14:50] - Fri, 14. Jul. 2023 [16:20]
Exercise
K1101-MA0021S Seminar Selected Topics in Logic and Verification (S)
K1101-MA0021S Seminar Selected Topics in Logic and Verification (S)
Prof. Dr. rer. nat. Christine Baier
Fri, 14. Apr. 2023 [11:10] - Fri, 14. Jul. 2023 [12:40]
Seminar
K1107-MA0018V Database Theory (L)
K1107-MA0018V Database Theory (L)
Prof. Dr. rer. pol. Markus Krötzsch
Mon, 3. Apr. 2023 [09:20] - Tue, 11. Jul. 2023 [10:50]
Lecture
K1107-MA0018Ü Database Theory (E)
K1107-MA0018Ü Database Theory (E)
Prof. Dr. rer. pol. Markus Krötzsch
Tue, 4. Apr. 2023 [14:50] - Tue, 11. Jul. 2023 [16:20]
Exercise
M1101-CMS73 Artificial Intelligence
N.N.
SoSe 2023
K1101-MA0016V Description Logic (V)
K1101-MA0016V Description Logic (L)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Anni-Yasmin Turhan
Tue, 4. Apr. 2023 [16:40] - Th, 13. Jul. 2023 [18:10]
Lecture
K1101-MA0016Ü Description Logic (E)
K1101-MA0016Ü Description Logic (E)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Anni-Yasmin Turhan
Wed, 5. Apr. 2023 [14:50] - Wed, 12. Jul. 2023 [16:20]
Exercise
K1101-MA0018V Logic Based Ontology Engineering (L)
K1101-MA0018V Logic based Ontology Engineering (L)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Stefan Borgwardt
Wed, 5. Apr. 2023 [09:20] - Wed, 12. Jul. 2023 [10:50]
Lecture
K1101-MA0018Ü Logic Based Ontology Engineering (E)
K1101-MA0018Ü Logic Based Ontology Engineering (E)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Stefan Borgwardt
Fri, 14. Apr. 2023 [13:00] - Fri, 14. Jul. 2023 [14:30]
Exercise
K1107-MA0003V Introduction to Existential Rules (L)
K1107-MA0003V Introduction to Existential Rules (L)
Prof. Dr. rer. nat. Sebastian Rudolph
Mon, 3. Apr. 2023 [09:20] - Mon, 10. Jul. 2023 [10:50]
Lecture
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S)
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S)
Dr. rer. nat. Marcos Cramer
Th, 6. Apr. 2023 [14:50] - Th, 13. Jul. 2023 [16:20]
Seminar
K1107-MA0028V Quotation in Formal Logics (L)
K1107-MA0028V Quotation in Formal Logics (L)
Dr.-Ing. Dörthe Arndt; Prof. Dr. rer. nat. Sebastian Rudolph
Tue, 4. Apr. 2023 [09:20] - Tue, 11. Jul. 2023 [10:50]
Lecture
K1107-MA0028Ü Quotation in Formal Logics (Ü)
K1107-MA0028Ü Quotation in Formal Logics (E)
Dr.-Ing. Dörthe Arndt; Prof. Dr. rer. nat. Sebastian Rudolph
Wed, 5. Apr. 2023 [11:10] - Wed, 12. Jul. 2023 [12:40]
Exercise
K1107-MA0058V Algorithmic Game Theory (L)
K1107-MA0058V Algorithmic Game Theory (L)
Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. habil. Hannes Straß
Mon, 3. Apr. 2023 [11:10] - Mon, 10. Jul. 2023 [12:40]
Lecture
K1107-MA0058Ü Algorithmic Game Theory (E)
K1107-MA0058Ü Algorithmic Game Theory (E)
Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. habil. Hannes Straß
Mon, 3. Apr. 2023 [16:40] - Mon, 10. Jul. 2023 [18:10]
Exercise
M1101-CMS74 Advanced Logical Modeling
N.N.
SoSe 2023
K1101-MA0008V Concurrency Theory (V)
K1101-MA0008V Concurrency Theory (L)
Prof. Dr. rer. pol. Markus Krötzsch; Dr. rer. nat. Stephan Mennicke
Tue, 4. Apr. 2023 [13:00] - Tue, 11. Jul. 2023 [14:30]
Lecture
K1101-MA0008Ü Concurrency Theory (Ü)
K1101-MA0008Ü Concurrency Theory (E)
Prof. Dr. rer. pol. Markus Krötzsch; Dr. rer. nat. Stephan Mennicke
Wed, 5. Apr. 2023 [11:10] - Wed, 12. Jul. 2023 [12:40]
Exercise
K1101-MA0013S Seminar Theoretical Computer Science (S)
K1101-MA0013S Seminar Theoretical Computer Science (S)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Anni-Yasmin Turhan
Wed, 5. Apr. 2023 [07:30] - Wed, 12. Jul. 2023 [09:00]
Seminar
K1107-MA0003V Introduction to Existential Rules (L)
K1107-MA0003V Introduction to Existential Rules (L)
Prof. Dr. rer. nat. Sebastian Rudolph
Mon, 3. Apr. 2023 [09:20] - Mon, 10. Jul. 2023 [10:50]
Lecture
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S)
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S)
Dr. rer. nat. Marcos Cramer
Th, 6. Apr. 2023 [14:50] - Th, 13. Jul. 2023 [16:20]
Seminar
K1107-MA0018V Database Theory (L)
K1107-MA0018V Database Theory (L)
Prof. Dr. rer. pol. Markus Krötzsch
Mon, 3. Apr. 2023 [09:20] - Tue, 11. Jul. 2023 [10:50]
Lecture
K1107-MA0018Ü Database Theory (E)
K1107-MA0018Ü Database Theory (E)
Prof. Dr. rer. pol. Markus Krötzsch
Tue, 4. Apr. 2023 [14:50] - Tue, 11. Jul. 2023 [16:20]
Exercise
K1107-MA0028V Quotation in Formal Logics (L)
K1107-MA0028V Quotation in Formal Logics (L)
Dr.-Ing. Dörthe Arndt; Prof. Dr. rer. nat. Sebastian Rudolph
Tue, 4. Apr. 2023 [09:20] - Tue, 11. Jul. 2023 [10:50]
Lecture
K1107-MA0028Ü Quotation in Formal Logics (Ü)
K1107-MA0028Ü Quotation in Formal Logics (E)
Dr.-Ing. Dörthe Arndt; Prof. Dr. rer. nat. Sebastian Rudolph
Wed, 5. Apr. 2023 [11:10] - Wed, 12. Jul. 2023 [12:40]
Exercise
K1107-MA0058V Algorithmic Game Theory (L)
K1107-MA0058V Algorithmic Game Theory (L)
Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. habil. Hannes Straß
Mon, 3. Apr. 2023 [11:10] - Mon, 10. Jul. 2023 [12:40]
Lecture
K1107-MA0058Ü Algorithmic Game Theory (E)
K1107-MA0058Ü Algorithmic Game Theory (E)
Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. habil. Hannes Straß
Mon, 3. Apr. 2023 [16:40] - Mon, 10. Jul. 2023 [18:10]
Exercise
M1101-CMS75 Logical Modeling Teamproject
N.N.
SoSe 2023
K1101-CMS05X Teamprojekt Wissensbasierte Systeme (X)
K1101-CMS05X Teamproject Knowledge Processing (X)
Dr. rer. nat. Stefan Ellmauthaler; Prof. Dr. rer. pol. Markus Krötzsch; Dr. rer. nat. Stephan Mennicke
Project Processing
K1104-CMS04X Teamproject Computer Graphics and Visualization (X)
K1104-CMS04X Teamproject Computer Graphics and Visualization (X)
Prof. Dr. rer. nat. Stefan Gumhold
Project Processing
K1104-CMS11X Teamproject Immersive Systems (X)
K1104-CMS11X Teamprojekt Immersive Systems (X)
Juniorprofessor Dr. Matthew McGinity
Project Processing
K1107-CMS02X Teamproject Computational Biology (X)
K1107-CMS02X Teamprojekt Computational Biology (X)
Prof. Dr. sc. techn. Ivo Fabian Sbalzarini
Project Processing