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 2017/18
News
|
Dates
|
Grading
|
Content
|
Exercises
|
Exam
|
Material
Lectures
Monday, 10:15–11:45. Room: 02.13.010 (Seminarraum)
Thursday, 14:15–15:45. Room: 02.13.010 (Seminarraum)
Prof. Javier Esparza
(esparza
in.tum.de)
Exercises
Tuesday, 12:05–13:35. Room: 02.13.010 (Seminarraum)
Dr. Michael Blondin
(blondin
in.tum.de)
Updates
The lectures of Jan. 18 and Jan. 25 will take place in room 00.12.019.
The courses of Nov. 27-28 will be swapped. There is a tutorial at 10:15 on Nov. 27 and a lecture at 12:00 on Nov. 28, both in the usual room (02.13.010).
The first lecture will take place on Oct. 19.