Embedded Files
WAGS is a workshop that brings together researchers working on automata, logic, and games with the goal of aiding automated synthesis. This workshop is co-located with FSTTCS. The 2025 edition marks the second edition of WAGS.
WAGS is a workshop that brings together researchers working on automata, logic, and games with the goal of aiding automated synthesis. This workshop is co-located with FSTTCS. The 2025 edition marks the second edition of WAGS.
Invited speakers
Invited speakers
Orna Kupferman
Orna Kupferman
Hebrew University
Israel
B Srivathsan
B Srivathsan
Chennai Mathematical Institute
India
Aditya Prakash
Aditya Prakash
LIS, Aix-Marseille Université
France
Venue
Venue
BITS Goa
NH 17B, Bypass, Road, Zuarinagar, Sancoale, Chicalim, Goa 403726, India
BITS Goa
NH 17B, Bypass, Road, Zuarinagar, Sancoale, Chicalim, Goa 403726, India
NH 17B, Bypass, Road, Zuarinagar, Sancoale, Chicalim, Goa 403726, India
Organizers: Sougata Bose, Suman Sadhukhan, Thejaswini K. S.
Page updated
Google Sites
Report abuse