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) |
Kickoff |
Tuesday, 18. April 2023, 14:00 - 16:00 c.t. |
Sessions |
Tuesday, May 9, 2023, 14:00 - 16:00 c.t. Group 1 Group 2 |
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 lecture notes Automata theory: An algorithmic approach by Javier Esparza.
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
- 2023-05-18: Kickoff