Open Problems

The open problem site is currently being updated and transferred to a new home.

It will be back up and running shortly.

Open Problems

The bread and butter of Autobóz are the open problems in automata, logic, games, and related topics.

Each year, open problems are presented at the workshop, and these problems are generally made available online as part of the Open Problems of Autobóz series (of course, subject to the problems proposers agreement).

The open problem site is currently being updated and transferred to a new home.

Nothing is lost and all problems/links will be restored in due course.

Sorry for the interruption of service.