Past Courses
- Algebraic Automata Theory - Winter 2018/19. Winter 2017/18.
- Algorithmic Automata Theory - Summer 2021 Summer 2019, Summer 2018, Summer 2017,Summer 2016, Winter 2013/14, Winter 2014/15, Winter 2012/13, Summer 2011.
- Programmanalyse - Winter 2018/19, Winter 2017/18, Winter 2015/16 (BOA), Winter 2013/14 (BOA).
- Complexity Theory - Winter 2021/22, Winter 2018/19, Winter 2017/18, Winter 2016/17, Winter 2015/16.
- Concurrency Theory - Winter 2021/22, Winter 2020/21, Winter 2019/20, Winter 2018/19, Winter 2017/18, Winter 2016/17, Summer 2015, Summer 2014, Winter 2011/12, Winter 2010/11.
- Games with Perfect Information - Summer 2019, Summer 2018, Summer 2017.
- Logik - Summer 2023, Summer 2022, Summer 2021, Summer 2020, Summer 2019, Summer 2018,Summer 2017, Summer 2016, Summer 2015, Summer 2014, Summer 2013, Summer 2012.
- Semantics - Winter 2019/20, Summer 2018.
- Seminar - Summer 2023, Winter 2022/23, Summer 2022, Winter 2021/22, Summer 2021, Winter 2020/21, Summer 2020, Winter 2019/20, Summer 2019, Winter 2018/19, Summer 2018, Winter 2017/18, Summer 2017, Winter 2016/17, Summer 2014.
- SEP - Summer 2020 (KittyCAT), Summer 2019 (Kitchen App), Summer 2018 (Hack your habits),Summer 2017 (UnicornPL).
- Teamprojekt / Praktikum - Summer 2019 (Programmanalyse), Winter 2018/19 (Program Verification), Summer 2018 (Programmanalyse), Winter 2017/18 (Automata Learning), Summer 2017 (Kryptologie).
- Theoretische Informatik 1 - Winter 2022/23, Winter 2021/22, Winter 2020/21, Winter 2019/20,Winter 2018/19, Winter 2017/18, Winter 2016/17, Summer 2016 (FGdP).
- Theoretische Informatik 2 - Summer 2023, Summer 2022, Summer 2021, Summer 2020, Summer 2019, Summer 2018, Summer 2017.
