Workshop  on Automata and Games for Synthesis       (WAGS'25)

WAGS is a workshop that brings together researchers working on automata, logic, and games, co-located with FSTTCS. The 2025 edition of WAGS marks the 2nd edition of the workshop.