8 Sep
2025
8 Sep
'25
6:50 p.m.
Dear all,
We invite you to participate in MMAC 2025 (https://mmautomata.github.io/) —
a post-conference of ATVA 2025 (https://conf.researchr.org/home/atva-2025)
on Milestones and Motifs in Automata and Concurrency. This workshop is
going to be held at IIIT Bangalore, on October 31, 2025.
The registration for the workshop is open; the early bird registration
deadline ends on September 30th.
Here is the link to register:
https://conf.researchr.org/attending/atva-2025/registration
MMAC 2025 will also host a Poster Session (
https://mmautomata.github.io/#poster) -- a forum for students, faculty and
industry practitioners working in the broad area of automated analysis,
synthesis, and verification of hardware and software systems, including but
not limited to automata, concurrency and timed systems, to present their
research work to the workshop attendees. Early-stage ideas are more than
welcome. We anticipate it to be an excellent opportunity to get feedback,
and network with peers and experts in the field. Note that there will be no
proceedings for this workshop and thus the shortlisted posters would not be
a part of any formal proceedings.
If you are interested in presenting a poster, please submit an entry using
this Google form (https://forms.gle/r2WiAHVQWtX7s1v39). The submission
deadline is September 25th. Shortlisted entries will be notified by
September 28th. The poster presentation would only be an in-person event;
an author of every shortlisted poster would be expected to register for
MMAC 2025 (https://conf.researchr.org/attending/atva-2025/registration) and
present the poster at the workshop.
We look forward to your participation. Needless to say, we'd be very happy
to clarify any questions you might have in this regard. If you have any
queries, please write to the organisers at mmautomata2025(a)gmail.com.
Best regards,
C. Aiswarya (Chennai Mathematical Institute)
S. Akshay (IIT Bombay)
Kumar Madhukar (IIT Delhi)