You are here: Home Teaching Summer Term 2023 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

Prof. Dr. Andreas Podelski

Vincent Langenfeld

Nico Hauff (contact person for organizational matters)

Kickoff

Tuesday, 18. April 2023, 14:00 - 16:00 c.t.
building 052, room SR 02 017

Sessions

Tuesday, May 9, 2023, 14:00 - 16:00 c.t.
building 052, room SR 02 017

Group 1
Monday, July 24, 2023, 10:00 - 17:00 s.t.

building 106, room SR 00 007

Group 2
Tuesday, July 25, 2023, 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.
 

News

  • 2023-05-20: Uploaded kickoff slides.
  • 2023-03-31: Website online.

Topics

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