Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found
here
.
Chair for Foundations of Software Reliability and Theoretical Computer Science
Home
Contact
Teaching
lectures
exercises
seminars
proseminars
research seminars
practical courses
WS 2020/21
SS 2020
WS 2019/20
SS 2019
WS 2018/19
SS 2018
WS 2017/18
SS 2017
WS 2016/17
SS 2016
WS 2015/2016
SS 2015
WS 2014/2015
SS 2014
WS 2013/2014
SS 2013
WS 2012/2013
SS 2012
WS 2011/2012
SS 2011
WS 2010/2011
SS 2010
WS 2009/2010
SS 2009
WS 2008/2009
SS 2008
WS 2007/2008
SS 2007
WS 2006/2007
SS 2006
WS 2005/2006
SS 2005
WS 2004/2005
SS 2004
Before 2004
People
Publications
Student Projects
Research
Tools
Heroes of Computer Science
Help
Automata and Formal Languages 2013/14
News
|
Dates
|
Grading
|
Content
|
Exercises
|
Exam
|
Material
Lectures:
Monday, 12:00-13:30, HS 3
Wednesday, 12:00-13:30, HS 3
First lecture: 21.10.13
Exercises:
Thursday 12:15-13:45 in 02.13.010
First tutorial: 24.10.13
Contact
Teaching
