Dear Colleagues,
Please see below the call for submissions for Workshop on Automata and
Games for Synthesis, and note that the submission deadline is extended to *20th
November AOE*, as the early-bird registration of FSTTCS'24 has been pushed
to 24th November AOE as well. Please distribute the call, consider
submitting and encourage your fellow researchers and students to submit
their best work of the year!
--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
*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, *students, postdocs, and
early-career researchers* 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 20th 2024 (AoE) *(Extended from 14th Nov, 2024)
Submit your contributions at:
https://sites.google.com/view/fsttcs2024bworkshop/short-presentation
Notifications: *November 25th 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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
