26th International Conference on Implementation and Application of Automata
28 Jun-1 Jul 2022 Rouen (France)

Planning

Tuesday, June 28th
   
9 :30 Registration / Reception coffee
10 :30 Opening
  Invited talk
11 :00 On the 25 years of CIAA through the lens of Data Science (Part 1) (M. Holzer)
12 :00 Lunch
  Session 1
14 :00 Hybrid Tree Automata and the Yield Theorem for Constituent Tree Automata (F.Drewes, R.Mörbitz, H.Vogler)
14 :30 Homomorphisms on graph-walking automata (O.Martynova, A.Okhotin)
15 :00 Variations of the Separating Words Problem (N.Tran)
15 :30 Coffee Break
  Session 2
16 :00 The Cut Operation in Subclasses of Convex Languages (M.Hospodár, V.Olejár)
16 :30 Nondeterministic State Complexity of Site-Directed Deletion (O.Lyon, K.Salomaa)
18 :00 Visit of Rouen (2 hours)
   
Wednesday, June 29th
   
  Invited talk
9 :30 On the 25 years of CIAA through the lens of Data Science (Part 2) (M. Holzer)
10 :30 Coffee Break
  Session 3
11 :00 Symbolic Weighted Language Models, Quantitative Parsing and Automated Music Transcription (F.Jacquemard, L.Rodrigez de la Nava)
11 :30 An Ambiguity Hierarchy of Weighted Context-free Grammars (Y.Inoue, K.Hashimoto, H.Seki)
12 :00 Lunch
14 :00 Tour to Champ de Bataille (4 hours)
   
   
Thursday, June 30th
   
  Invited talk
9 :30 Manipulation of Regular Expressions Using Derivatives: an Overview (N.Moreira, R.Reis)
10 :30 Coffee Break
  Session 4
11 :00 Energy Complexity of Regular Language Recognition (Ö.Yılmaz, F.Kıyak, M.Üngör, A. C. Cem Say)
11 :30 Real-Time, Constant-Space, Constant-Randomness Verifiers (Ö.Dolu, N.Ersoy, M. Utkan Gezer, A. C. Cem Say)
12 :00 Lunch
  Session 5
14 :00 Ordered Context-Free Grammars (B. Van Der Merwe, M.Berglund)
14 :30 Syntax Checking Either Way (M.Kutrib, U.Meyer)
15 :00 On the Power of Pushing or Stationary Moves for Input-Driven Pushdown Automata (M.Kutrib, A. Malcher, M.Wendlandt)
15 :30 Coffee Break
  Session 6
16 :00 A Similarity Measure for Formal Languages Based on Convergent Geometric Series (F.Bruse, M.Herwig, M.Lange)
16 :30 A Toolkit for Parikh Matrices (L.Hutchinson, R.Mercas, D.Reidenbach)
19 :30 Banquet
   
   
Friday, July 1st
   
  Invited talk
9 :30 How to Settle the ReDoS Problem: Back to the Classical Automata Theory (S.Sung, H.Cheon, Y-S. Han)
10 :30 Coffee Break
  Session 7
11 :00 Some results concerning careful synchronization of partial automata and subset synchronization of DFA’s (J.Ruszil)
11 :30 Constrained Synchronization for Monotonic, Solvable and Automata with Simple Idempotents (S.Hoffmann)
12 :00 Lunch
14 :00 Closure of CIAA 2022
Online user: 3 Privacy
Loading...