Dear Colleagues, Please find below the call for participation and talks for the Workshop on automata and games for synthesis happening just after FSTTCS at IIT Gandhinagar. Please distribute. Apologies for cross-posting. -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- *Call for participation* Workshop on automata and games for synthesis <https://sites.google.com/view/fsttcs2024bworkshop> Gandhinagar, Gujarat, India December 19th, 2024 Co-located with Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2024 --------------------------------------------------------------------------------------------- Submission of contributed talks at: https://sites.google.com/view/fsttcs2024bworkshop/short-presentation --------------------------------------------------------------------------------------------- =================== About the workshop =================== The first workshop on automata and games for synthesis is an on-site event happening on the 19th of December, 2024, in Gandhinagar, India. It is co-located with Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2024, the premier international computer science conference in India, and takes place each year in December since 1981. Automated synthesis of systems from specifications has been a longstanding goal of computer science. The workshop focuses on various aspects by which automata and game solving are used to tackle problems motivated by synthesis. The workshop has several invited speakers and one session with short-presentations. For the short-presentation, PhD students and postdocs are encouraged to talk about their research in 10-15 minute sessions (exact length will depend on the number of contributions). The workshop does not have any proceedings, and therefore previously published talks or ongoing work are both encouraged to be presented. Topics for the presentation at the workshop include, but are not limited to, the following: Automata Theory Synthesis Games on Finite and Infinite Graphs Computational aspects of Game Theory Concurrency and Distributed computation Formal Languages Games and Automata for Verification Specification and Verification of Finite and Infinite-state Systems ============================ Important dates and information ============================ Deadline: November 14th (AoE) Submit your contributions at: https://sites.google.com/view/fsttcs2024bworkshop/short-presentation Notifications: November 18th 2024 Event: 19th December 2024 ============= Speakers ============= Dmitry Chistikov (University of Warwick) C. Aiswarya (Chennai Mathematical Institute) Youssouf Oualhadj (Université Paris-Est Créteil Val de Marne) and more to be announced. ============= Organisers ============= Sougata Bose Suman Sadhukhan K. S. Thejaswini ============= Program ============= The detailed program will be here <https://sites.google.com/view/fsttcs2024bworkshop/schedule> closer to the workshop. For any queries, contact the organisers: sougata.Bose@liverpool.ac.uk, ssadhukh@campus.haifa.ac.il, thejaswini.k.s@ista.ac.at Regards, Suman Sadhukhan Postdoctoral researcher University of Haifa