You are here: Home Teaching Winter Term 2024/25 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
Kickoff

Monday, 14. October 2024, 14:00 - 15:00 c.t.
building 106, room R 04 007

Sessions

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

Monday, 10. February 2025, 09:00 - 17:00 s.t.
building 106, room SR 00 007

Tuesday, 11. February 2025, 09: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.
 

News

  • 2024-10-14: Uploaded Kickoff slides.
  • 2024-10-07: Updated rooms.
  • 2024-10-02: Website online.

Topics

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.

Registration

  • 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.

Slides