Automata in the Wild 2025 is a workshop bringing together researchers working in automata theory and related fields in the UK. Speakers have been chosen to represent a diverse range of topics of automata-related research in the UK, including combinatorics on words, dynamical systems, games, logic, and weighted automata.

Date: 1–2 April 2025.

Location: Zeeman Building, University of Warwick. Please meet at the entrance to the Zeeman Building during the morning coffee “break” on the first day to get access to the venue.

Previous edition: 2021.

Registration

To register, please click here. Please register by 12noon, Wednesday 12 March 2025.

Speakers

• Laure Daviaud, University of East Anglia
• Edon Kelmendi, Queen Mary University of London
• Jakub Konieczny, University of Oxford
• Robert Mercas, Loughborough University
• David Purser, University of Liverpool
• Mahsa Shirmohammadi, CNRS & IRIF, Paris
• Qiyi Tang, University of Liverpool

Schedule

Please find the schedule here. The start time on Tuesday is 10am and the end on Wednesday is by 4:30pm.

Early Career Talks

There will be the opportunity for early career researchers (PhD students and PostDocs) to give short 10 minute talks. Sign up is in the registration form. Please note that talk slots are limited, and so signing up is not guaranteed to result in a talk.

Local Information

University of Warwick is rather far from the town of Warwick! You can reach campus by public transport (train and bus) or by car.

Accommodation

Several on-campus options are available. Visit Warwick Conferences to book. You can also find accommodation in Coventry suburbs, e.g., Canley and Earlsdon. Alternatively, central Coventry, Kenilworth, and Leamington Spa have regular buses to and from campus.

Acknowledgements

This workshop is made possible through the generous support of:

• The Department of Computer Science (DCS) at the University of Warwick
• The DCS Theory and Foundations group
• DIMAP (Centre for Discrete Mathematics and its Applications)

Organisers

If you have any questions, please contact the organisers:

• Dmitry Chistikov
• Marcin Jurdzinski
• Sarah Selkirk

Other automata-related events in the UK

• NCMA 2025: 15th International Workshop on Non-Classical Models of Automata and Applications (Loughborough, 21 to 22 July 2025)
• DCFS 2025: 26th International Conference on Descriptional Complexity of Formal Systems (Loughborough, 22 to 24 July 2025)
• SETTA 2025: 11th International Symposium on Dependable Software Engineering: Theories, Tools and Applications (Oxford, 01 to 03 December 2025)
• ICALP 2026: 53rd EATCS International Colloquium on Automata, Languages and Programming (Royal Holloway, University of London, 06 to 10 July 2026)
• CONFEST 2026: CONCUR (37th International Conference on Concurrency Theory), QEST+FORMATS (International Conference on Quantitative Evaluation of SysTems + International Conference on Formal Modeling and Analysis of Timed Systems; 3rd joint conference), FMICS (31st International Conference on Formal Methods for Industrial Critical Systems) & workshops (Liverpool, 01 to 05 September 2026)