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 |
|
Loading...