Quantitative Logics and Automata
DFG Research Training Group 1763
Home
Participants
General Information
Investigators
Scholarship Holders
Associated Doctoral Students
Seed Funded Post-Docs
Administrative Support
Former Members
Research
General Information
Current Topics
Finished Dissertations
Publications
Study Programme
General Information
Research Seminar
SS 2022
WS 2021/22
SS 2021
WS 2020/21
SS 2020
WS 2019/20
SS 2019
WS 2018/2019
SS 2018
WS 2017/2018
SS 2017
WS 2016/2017
SS 2016
WS 2015/2016
SS 2015
WS 2014/2015
SS 2014
WS 2013/2014
SS 2013
WS 2012/2013
Reading Groups
Current Reading Groups
Past Reading Groups
Advanced Lectures
WS 2020/21
SS 2020
WS 2019/20
SS 2019
WS 2018/2019
SS 2018
WS 2017/2018
SS 2017
WS 2016/2017
SS 2016
WS 2015/2016
SS 2014
WS 2013/2014
SS 2013
WS 2012/2013
Workshops / Spring School
Spring School 2019
Spring School 2016
Spring School 2013
Workshop 2021
Workshop 2020
Workshop 2019
Workshop 2018
Workshop 2017
Workshop 2016
Workshop 2015
Workshop 2014
Workshop 2013
Soft Skills Courses
Additional Events
Additional Activities
Specialized Talks
Events
QuantLA Opening in Dresden
QuantLA Final Workshop
Internal
Material
Wiki
Administrator Login Form
The QuantLA web pages are an archive and can no longer be edited.
