News
Welcome!
Written on 24.10.2022 13:14 by Bernd Finkbeiner
Welcome to Automata, Games, and Verification! The first course meeting is on Tuesday, Oct 25, 2022, at 2:15 pm. You can participate in-person (E1.3/HS003) or remotely (zoom link under "Information" while logged in). See you then!