WILD 2025 Simplified Schedule

A full version of the schedule (with abstracts) can be found here.

Scientific events will take place in Zeeman D1.07.
Coffee breaks will take place in Zeeman C1.14.
Meals will take place in Scarman Conference Centre Dining Hall.

1 April 2025

09:30-10:00 Coffee Break

10:00-10:15 Welcome

10:15-11:00 Invited Talk: Non-sequential finite automata (Robert Mercas, Loughborough University)

11:00-11:15 Introduction Session

11:15-12:15 Early Career Researcher Talks

12:30-14:30 Lunch

14:30-15:15 Invited Talk: Arithmetical subword complexity of automatic sequences (Jakub Konieczny, University of Oxford)

15:15-16:00 Open Problem Session

16:00-16:30 Coffee Break

16:30-17:15 Invited Talk: Learning weighted automata over general semirings (Laure Daviaud, University of East Anglia)

17:15-18:00 Invited Talk: Determinisation and Unambiguisation of Weighted Automata (David Purser, University of Liverpool)

19:00-20:30 Dinner

2 April 2025

09:00-09:45 Invited Talk: The complexity of Orbit-Closure problems (Mahsa Shirmohammadi, IRIF)

09:45-10:15 Coffee Break

10:15-11:00 Invited Talk: Comparing labelled Markov decision processes via probabilistic bisimilarity distances (Qiyi Tang, University of Liverpool)

11:00-12:15 Early Career Researcher Talks

12:30-14:30 Lunch

14:30-15:15 Invited Talk: Iterations of Piecewise Maps (Edon Kelmendi, Queen Mary, University of London)

15:15-16:30 Discussion and Closing