You are here: Home Teaching Summer Term 2024 Automatentheorie (Proseminar)

Automatentheorie (Proseminar)

This proseminar gives a first introduction to scientific working in the discipline of computer science. The emphasis in this proseminar is on the presentations both in the role of a speaker as well as a participant. Participating students will elaborate presentations on fundamental concepts of automata theory.
Course type Proseminar
Instructors Nico Hauff (contact person for organizational matters)
Elisabeth Henkel
Vincent Langenfeld
Prof. Dr. Andreas Podelski

Monday, 15. April 2024, 11:00 - 12:00 s.t.
building 052, room SR 02 017


Monday, 29. April 2024, 14:00 - 16:00 c.t.
building 052, room SR 02 017

Monday, 22. July 2024, 10:00 - 17:00 s.t.
building 106, room SR 00 007

Tuesday, 23. July 2024, 10:00 - 17:00 s.t.
building 106, room SR 00 007

Language of instruction German
Credits 3
Course Catalog Proseminar am Lehrstuhl Softwaretechnik
Ilias Course Students registered on HISinOne will be added to the course automatically.


  • 2024-04-17: Upload kickoff slides.
  • 2024-04-02: Website online.


The topics of the proseminar are based on the book Automata theory: An algorithmic approach by Javier Esparza and Michael Blondin. There is an author hosted open access version available, as well as two loanable copies in the TF library.


  • In the kickoff meeting, we will elaborate on the goals, the construction, and the rules of the pro-seminar.
  • If the proseminar is fully booked, we will prefer admitting students who attended the kickoff meeting and submitted their favorite topics.