Course catalogue

Overview >  Dep. 20 - Computer Sciences >  Advanced level courses >  Foundations of Computing

Course offerings / Modules
Course offering / Module
Instructors / Module Owner
Time period
Event type
Room
20-00-0110-iv Efficient Graph Algorithms
Prof. Dr. rer. nat. Karsten Weihe
Tue, 15. Oct. 2013 [13:30] - Tue, 18. Feb. 2014 [15:10]
Integrated Course
20-00-0189-pr Practical Lab Algorithms
Prof. Dr. rer. nat. Karsten Weihe
practical / lab /internship
20-00-0276-pr Advanced Algorithms
Prof. Dr. rer. nat. Karsten Weihe
practical / lab /internship
20-00-0292-pl Practical Lab in Teaching - Allgemeine Informatik ll
Prof. Dr. rer. nat. Karsten Weihe
Internship Teaching
20-00-0333-pl Practical Lab in Teaching - Allgemeine Informatik l
Prof. Dr. rer. nat. Karsten Weihe
Internship Teaching
20-00-0382-se Formal Specification
Prof. Dr.-Ing. Heiko Mantel
Seminar
20-00-0383-pr Modeling Lab
Prof. Dr.-Ing. Heiko Mantel
Mon, 14. Oct. 2013 [14:25] - Mon, 10. Feb. 2014 [16:05]
practical / lab /internship
20-00-0391-se Algorithmic modelling for creating schedules
PD Elias Dahlhaus
Tue, 8. Oct. 2013 [18:00] - Tue, 8. Oct. 2013 [19:00]
Seminar
20-00-0508-os Oberseminar MAIS
Prof. Dr.-Ing. Heiko Mantel
Oberseminar
20-00-0531-pl Praktikum in der Lehre zu Formale Grundlagen der Informatik III
Prof. Dr. rer. nat. Reiner Hähnle
Internship Teaching
20-00-0550-pl Praktikum in der Lehre zu GdI III
Prof. Dr.-Ing. Michael Gösele
Internship Teaching
20-00-0667-iv Optimization Algorithms
Prof. Dr. rer. nat. Karsten Weihe
Tue, 15. Oct. 2013 [08:00] - Wed, 12. Feb. 2014 [11:30]
Integrated Course
20-00-0697-se Structural Complexity Theory
Dr. rer. nat. Ulrike Brandt
Fri, 18. Oct. 2013 [13:30] - Fri, 18. Oct. 2013 [15:10]
Seminar
20-00-0734-pl Practical Lab in Teaching - Einführung in Foundations of Computing
Prof. Dr.-Ing. Heiko Mantel
Internship Teaching
20-00-0738-se Current Topics in Multicore Semantics
Prof. Dr.-Ing. Heiko Mantel
Seminar