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, 15. April 2024, 11:00 - 12:00 s.t. |
Sessions |
Monday, 29. April 2024, 14:00 - 16:00 c.t. Monday, 22. July 2024, 10:00 - 17:00 s.t. Tuesday, 23. July 2024, 10:00 - 17:00 s.t. |
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. |
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
- Kickoff slides: Kickoff