Methods and Automata for Mathematical Models with Arbitrarily
Many Interacting Agents

Part of Highlights CREW
Dates — September 14-18, 2026 Venue — ISTA, Vienna, Austria
Registration for the workshop is not required, but you should register to Highlights CREW to benefit from meals and other amenities.

About

MAMMA MIA brings together researchers working on automata theory, with a particular focus on abstraction of infinite-state and distributed systems. The workshop is organized around open problems and collaboration, but short talks and tutorials may be included in the schedule upon demand.

Schedule

TBA — The week will start with introductions and a session of open problems. The rest of the week will mostly consist of working groups gathering around those problems.

Organisers

Corto Mascle - cmascle[at]mpi-sws.org - webpage
Isa Vialard - vialard[at]mpi-sws.org - webpage

For any questions regarding the workshop, please contact the organisers.