PROGRAM
Days: Monday, August 16th Tuesday, August 17th Wednesday, August 18th Thursday, August 19th Friday, August 20th
Monday, August 16th
View this program: with abstractssession overviewtalk overview
09:00-10:30 Session 2
Chair:
09:00 | Equational Theories of Scattered and Countable Series-parallel Posets (abstract) PRESENTER: Amazigh Amrane |
09:30 | A Study of a Simple Class of Modifiers: Product Modifiers (abstract) PRESENTER: Edwin Hamel-de le Court |
10:00 | On the Balancedness of Tree-to-word Transducers (abstract) PRESENTER: Helmut Seidl |
10:30-11:00Coffee Break
11:00-12:30 Session 3
Chair:
11:00 | Context-Freeness of Word-MIX Languages (abstract) |
11:30 | Computing the Shortest String and the Edit-Distance for Parsing Expression Languages (abstract) PRESENTER: Hyunjoon Cheon |
12:00 | On Tree Substitution Grammars (abstract) PRESENTER: Kevin Stier |
12:30-14:00Lunch Break
14:00-16:00 Session 4
Chair:
14:00 | The Characterization of Rational Numbers Belonging to a Minimal Path in the Stern-Brocot Tree According to a Second Order Balancedness (abstract) PRESENTER: Lama Tarsissi |
14:30 | Avoidability of Additive Cubes over Alphabets of Four Numbers (abstract) PRESENTER: Matthieu Rosenfeld |
15:00 | Sublinear-Time Language Recognition and Decision by One-Dimensional Cellular Automata (abstract) |
15:30 | Equivalence of Linear Tree Transducers with Output in the Free Group (abstract) PRESENTER: Helmut Seidl |
16:00-16:30Coffee Break
16:30-18:30 Session 5
Chair:
16:30 | An approach to the Herzog-Schonheim conjecture using automata (abstract) |
17:00 | Operations on Permutation Automata (abstract) PRESENTER: Michal Hospodár |
17:30 | On the Degeneracy of Random Expressions Specified by Systems of Combinatorial Equations (abstract) PRESENTER: Pablo Rotondo |
18:00 | Complexity of Searching for 2 by 2 Submatrices in Boolean Matrices (abstract) PRESENTER: Michael Wehar |
Tuesday, August 17th
View this program: with abstractssession overviewtalk overview
10:30-11:00Coffee Break
11:00-12:30 Session 8
Chair:
11:00 | Caratheodory Extensions of Subclasses of Regular Languages (abstract) |
11:30 | Deciding FO2 Alternation for Automata over Finite and Infinite Words (abstract) PRESENTER: Viktor Henriksson |
12:00 | Symmetry groups of infinite words (abstract) PRESENTER: Sergey Luchinin |
12:30-14:00Lunch Break
14:00-15:30 Session 9
Chair:
14:00 | Pointlike sets and separation: a personal perspective (abstract) |
15:00 | Branching Frequency and Markov Entropy of Repetition-Free Languages (abstract) PRESENTER: Arseny Shur |
15:30-16:00Coffee Break
16:00-18:00 Session 10
Chair:
16:00 | Reversible Top-Down Syntax Analysis (abstract) PRESENTER: Martin Kutrib |
16:30 | Space Complexity of Stack Automata Models (abstract) PRESENTER: Luca Prigioniero |
17:00 | Balanced-by-construction regular and omega-regular languages (abstract) PRESENTER: Luc Edixhoven |
17:30 | Properties of Graphs Specified by a Regular Language (abstract) PRESENTER: Petra Wolf |
Wednesday, August 18th
View this program: with abstractssession overviewtalk overview
09:30-10:30 Session 11
Chair:
09:30 | The hardest LL(k) language (abstract) PRESENTER: Mikhail Mrykhin |
10:00 | Weighted Prefix Normal Words: Mind the Gap (abstract) PRESENTER: Pamela Fleischmann |
10:30-11:00Coffee Break
11:00-12:30 Session 12
Chair:
11:00 | A Linear-time Simulation of Deterministic d-Limited Automata (abstract) |
11:30 | Bounded Languages Described by GF(2)-grammars (abstract) |
12:00 | Variations on the Post Correspondence Problem for free groups (abstract) PRESENTER: Alan D. Logan |
12:30-14:00Lunch Break
14:00-15:30 Session 13
Chair:
14:00 | Guarded Kleene Algebra with Tests (abstract) |
15:00 | Upper Bounds on Distinct Maximal (Sub-)Repetitions in Compressed Strings (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 14
Chair:
16:00 | Extremal Binary PFAs in a Cerny Family (abstract) PRESENTER: Henk Don |
16:30 | Reconstructing Words from Right-Bounded-Block Words (abstract) PRESENTER: Marie Lejeune |
17:00 | Two-Way Non-Uniform Finite Automata (abstract) PRESENTER: Fabian Frei |
17:30 | Constrained Synchronization and Subset Synchronization Problems for Weakly Acyclic Automata (abstract) |
Thursday, August 19th
View this program: with abstractssession overviewtalk overview
10:30-11:00Coffee Break
11:00-12:30 Session 16
Chair:
11:00 | Compositions of Constant Weighted Extended Tree Transducers (abstract) PRESENTER: Malte Blattmann |
11:30 | Reducing local alphabet size in recognizable picture languages (abstract) PRESENTER: Pierluigi San Pietro |
12:00 | Active Learning of Sequential Transducers with Side Information about the Domain (abstract) PRESENTER: Raphaël Berthon |
12:30-14:00Lunch Break
Friday, August 20th
View this program: with abstractssession overviewtalk overview
09:00-10:30 Session 18
Chair:
09:00 | Parikh Word Representable Graphs and Morphisms (abstract) PRESENTER: Somnath Bera |
09:30 | A strong non-overlapping Dyck code (abstract) PRESENTER: Antonio Bernini |
10:00 | Definability Results for Top-Down Tree Transducers (abstract) PRESENTER: Viet Anh Martin Vu |
10:30-11:00Coffee Break
11:00-12:30 Session 19
Chair:
11:00 | Integer Weighted Automata on Infinite Words (abstract) PRESENTER: Reino Niskanen |
11:30 | Second-order finite automata: expressive power and simple proofs using automatic structures (abstract) |
12:00 | The Range of State Complexities of Languages Resulting from the Cascade Product---The General Case (Extended Abstract) (abstract) PRESENTER: Christian Rauch |
12:30-14:00Lunch Break
14:00-15:30 Session 20
Chair:
14:00 | Morphic sequences versus automatic sequences (abstract) |
15:00 | The State Complexity of Lexicographically Smallest Words and Computing Successors (abstract) PRESENTER: Lukas Fleischer |
15:30-16:00Coffee Break
16:00-18:00 Session 21
Chair:
16:00 | On the Fine Grained Complexity of Finite Automata Non-Emptiness of Intersection (abstract) PRESENTER: Michael Wehar |
16:30 | Scattered Factor-Universality of Words (abstract) PRESENTER: Pamela Fleischmann |
17:00 | State Complexity of Projection on Languages Recognized by Permutation Automata and Commuting Letters (abstract) |
17:30 | Lyndon words formalized in Isabelle/HOL (abstract) PRESENTER: Štěpán Starosta |