Program

On Wednesday, the workshop is co-located with RaPS (Workshop on Pomsets and Related Structures).

Tuesday 23 April
09:15—09:55 Welcome & Coffee
9:55—10:40 Olivier Carton: Deterministic regular functions
10:40—11:25 Géraud Sénizergues: Integer sequences and automata of level k
11:25—11:45 Coffee break
11:45-12:30 Pierre Ohlmann: Positionality of omega-regular objectives
14:00—15:30 Christof Löding: Learning algorithms for omega-automata invited talk
15:30—15:50 Coffee break
15:50—16:35 Antonio Casares: On the minimisation of generalised (co)Büchi automata
16:35—17:20 Corto Mascle: Minimisation of acceptance conditions of omega-automata
Wednesday 24 April
09:00—10:15 Sreejith A V: Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words invited talk
10:15—10:30 Coffee break
10:30—11:15 Denis Kuperberg: Positive and monotone fragments of FO and LTL
11:15—12:00 Thomas Colcombet: Bisimulation invariant MSO over finite transition systems
14:00-14:45 Christian Choffrut: An open problem in the equational theory of labelled linear countable orders (and a closed one)
14:45-15:30 Lê Thành Dũng (Tito) Nguyễn: Tree transducer hierarchies vs polyregular functions: some cross-pollination between old and new transducer theory
15:30-15:50 Coffee break
15:50-16:35 Alexandre Durand: Root operation over non-deteministic automata
Thursday 25 April
09:00—09:45 Léo Exibard: Runtime monitoring for Hennessy-Milner logic with recursion over systems with data
09:45—10:10 Vincent Penelle: Cairn: A derivation explorer and logger for Menhir parser
10:15—10:30 Coffee break
10:30—11:15 Benjamin Monmege: Reasoning about Quality in Hyperproperties
11:15—12:00 Sam van Gool: Solving temporal equations by folding de Bruijn graphs
from 14:00 GT DAAL @ IRISA

List of participants