Automata, Games, and Verification

Dear All, the solutions for the mock exam are now available online. Don't look, though, before you've given the mock exam a shot yourself! As a quick reminder, the special office hour will take place on Thursday, February 13,  in the CISPA building E9 1, room 1.07. Please drop by at any time from 12:00-2:30 with any last-minute questions!

Dear All, as a "mock exam" to help you prepare for our exam on February 18, please find the exam from the previous iteration of the course in the Materials section. The structure of our exam will be similar to this one. Note that the course contents were slightly different in the previous iteration (for example, WS1S was part of the 2022/23 edition, and not covered in 2024/25; S2S and CTL were not covered in 2022/23, but are part of the current edition). Our actual exam will be based on the contents of the current version of the course. Cheers!

Dear All, Problem Set 12 and the warm-up questions are online. I'd also like to give you a few details regarding the exam on February 18. Don't hesitate to let us know if you have any questions or concerns. See you on Friday!

• The exam will take place on Tuesday, February 18, at 10:15 am in HS001 (building E1 3). Please try to arrive a few minutes early.
• You must be registered via LSF at least a week before the exam. Please let us know immediately if you cannot register for some reason.  
• We plan to offer a special office hour on Thursday, February 13, from 12:00-2:30 pm.  Feel free to drop by at any time during this office hour with your last-minute questions before the exam.
• You will have 120 minutes to complete the exam.
• The exam is open book, i.e., you are allowed to use any written or printed material.
• The content of all lectures and all problem sets (except for the challenge problems) are relevant for the exam. 

• Please bring your student ID and a black or blue non-erasable pen.

Dear All, Problem Set 11 and the latest set of warm-up questions are now online. In the Materials section, you will also find the link to the Qualis website for the course evaluation. We are excited to hear whether you liked the course! Thanks a lot for your time and effort, your comments are highly appreciated. See you on Friday!

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!