InfAut 2024

Infinite Automata - workshop on infinite-state systems

Organisers: Wojciech Czerwiński, Filip Mazowiecki

In the Infinite Automata Workshop (InfAut) we have three main goals:

• discuss future directions in the field of infinite-state systems

• present recent important progress in our field

• integrate our community

With that goals in mind we designed the program. Each morning will be devoted to one recent contribution. Each afternoon is devoted to discuss open problems and interesting future directions. We would like to keep the official program short to devote later afternoons and evenings for integration and scientific discussions.

In the mornings we will have the following topics, each presented in 2 talks, each lasting 60 minutes:

• Georg Zetsche about bidirected infinite-state systems (Monday)

• Clotilde Biziere about decidability of reachability in 2-dimensional branching VASS (Tuesday)

• Javier Esparza about lower bounds for population protocols (Wednesday)

• Roland Meyer about decidability of regular-separability of VASS languages (Thursday)

• Daniel Smertnig about determinisation of weighted automata (Friday)

In the afternoons we plan to discuss future of our field and community, in particular we plan:

• open problem session

• presentations of intersting future directions

• big open problems session

• failed approaches session

• possibly a panel discussion about the big goals of our field