Overview
- Home
- Team
- Bernhard Beckert
- Simone Meinhart
- Joshua Bachmeier
- Andreas Bremer
- Henriette Färber
- Philipp Kern
- Michael Kirsten
- Jonas Klamroth
- Florian Lanzinger
- Debasmita Lohar
- Wolfram Pfeifer
- Jonas Schiffl
- Terru Stübinger
- Samuel Teuber
- Mattias Ulbrich
- Alexander Weigl
- Ralf Kölmel
- Alumni/ae
- Publications
- Tools
- Research
- Teaching
- Formal Systems II: Application
- Research Project
- Current Dates and Topics
- Module, Goals and Deliverables
- Archive of All Semesters
- Winter Term 2023/24
- Summer Term 2024
- Winter Term 2023/24
- Summer Term 2023
- Winter Term 2022/23
- Summer Term 2022
- Winter Term 2021/22
- Summer Term 2021
- Winter Term 2020/21
- Summer Term 2020
- Winter Term 2019/20
- Summer Term 2019
- Winter Term 2018/19
- Summer Term 2018
- Winter Term 2017/18
- Summer Term 2017
- Winter Term 2016/17
- Summer Term 2016
- Winter Term 2015/16
- Summer Term 2015
- Winter Term 2014/15
- Summer Term 2014
- Winter Term 2013/14
- Summer Term 2013
- Winter Term 2012/13
- Publications
- Sem. on LLMs in Formal Verification
- Seminar on E-Voting
- Seminar on Fairness and Non-Discr.
- Research Laboratory
- Research Seminar (Institute Seminar)
- Summer Term Courses
- Archive
- Offers
- Media and News