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, 14. Oct. 2014 [13:30] - Tue, 24. Feb. 2015 [15:15] |
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-0382-se Formal Specification Prof. Dr.-Ing. Heiko Mantel |
Seminar | |||
20-00-0391-se Algorithmic modelling for creating schedules PD Elias Dahlhaus |
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.-techn. Stefan Katzenbeisser |
Internship Teaching | |||
20-00-0550-pl Praktikum in der Lehre zu GdI III Prof. Dr. Christian Bischof |
Internship Teaching | |||
20-00-0667-iv Optimization Algorithms Prof. Dr. rer. nat. Karsten Weihe Wed, 15. Oct. 2014 [09:50] - Wed, 11. Feb. 2015 [11:30] |
Integrated Course | |||
20-00-0697-se Structural Complexity Theory Dr. rer. nat. Ulrike Brandt Mon, 20. Oct. 2014 [16:05] - Fri, 23. Jan. 2015 [16:05] |
Seminar | |||
20-00-0778-pr Formal Specification and Verification in Isabelle/HOL Prof. Dr.-Ing. Heiko Mantel Mon, 13. Oct. 2014 [14:25] - Mon, 9. Feb. 2015 [16:05] |
practical / lab /internship | |||
20-00-0779-se Current Tools for Language-Based Security Prof. Dr.-Ing. Heiko Mantel |
Seminar |