News

Written on 07.01.2025 21:07 by Bernd Finkbeiner

The first problem set and warm-up questions of 2025 are online! Enjoy and see you on Friday!

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.

Automata, Games, and Verification