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 Hauff1 (contact person for organizational matters) Elisabeth Henkel2 Vincent Langenfeld3 Prof. Dr. Andreas Podelski4 |
| Kickoff | Tuesday, 22. April 2025, 11:00 - 11:30 s.t. building 052, room SR 02 017 |
| Sessions |
Monday, 05. May 2025, 14:00 - 16:00 c.t. Monday, 28. July 2025, 09:00 - 17:00 s.t. Tuesday, 29. July 2025, 09:00 - 17:00 s.t. |
| Language of instruction | German |
| Course Catalog | Proseminar am Lehrstuhl Softwaretechnik5 |
| Ilias Course | Students registered on HISinOne6 will be added to the course automatically. |
The topics of the proseminar are based on the book Automata theory: An algorithmic approach7 by Javier Esparza and Michael Blondin. There is an author hosted open access version8 available, as well as two loanable copies in the TF library9.
