Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Automata and Formal Languages 2018/19

  News | Dates | Grading | Content | Exercises | Exam | Material

Lectures

  • Monday, 10:15–11:45. Room: IMETUM, E.126 (5701.EG.026) (Hörsaal)
  • Thursday, 14:15–15:45. Room: MI, 02.13.010 (Seminarraum)
Prof. Javier Esparza (esparzain.tum.de)

Exercises

  • Tuesday, 10:15–11:45. Room: IMETUM, E.126 (5701.EG.026) (Hörsaal)
Salomon Sickert (sickertin.tum.de)

Updates

  • The first lecture will take place on Oct. 16. instead of the exercise session. The first exercise session will take place in the second lecture week.
  • Due to the student council assembly (Studentische Vollversammlung, SVV) there will be no exercise session on Nov. 13.