Wintersemester 2014/2015 Lectures:Computational ComplexityIntrodutction in Computability, Complexity and formal LanguagesProseminar:Efficient AlgorithmsSeminar:PRISMA Seminar (only for PRISMA-Student)Project Group:Authenticated Information System (Part 2) Further information: SS 2024WS 2023/2024SS 2023WS 2022/2023SS 2022WS 2021/2022SS 2021WS 2020/2021SS 2020SS 2015SS 2016WS 2016/2017SS 2017SS 2018WS 2017/2018