Automata, Games, and Verification

Dear All, The third problem set is available online. Please note that you can now also submit your solutions online via CMS (submitting problem set solutions is not mandatory but very much recommended). Since there are no discussion sessions this week, the next set of warm-up questions will appear next week. Enjoy the holiday this Friday!

Dear All, The first set of warm-up questions and the second problem set are now available in the "Materials" section. You should see your assigned discussion session on your personal status page. Please check and let us know if your assignment is missing or if the time slot does not work for you. We start this Friday (Oct 25). In-person sessions will meet in my office in the CISPA building E9 1, room 1.08; if your session is online, we'll send you a Zoom link by e-mail. Please answer the warm-up questions before the session and bring your answers with you. See you on Friday!

Dear All, Thanks for a great first course meeting today! The first problem set is now available in the "Materials" section. Also, please book the time slot for your discussion session at https://nuudel.digitalcourage.de/tJYAkyGvtsZszU66. Please make your choice by the end of the week (20.10.2024, 23:59).
If you want to attend the discussion session together with somebody else, then form a team and one team member answers the poll by listing the names of all team members and your preferred time slots. (A comma separated list of last names is enough.) If none of the offered time slots work for you, or if you run into any other problems, please let us know. The first discussion sessions will take place on Oct 25. The first office hour is already on Oct 16. See you soon!