DLT2021: 25TH INTERNATIONAL CONFERENCE ON DEVELOPMENTS IN LANGUAGE THEORY 2021
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
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)
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
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
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)
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
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

09:30-10:30 Session 7
Chair:
09:30
Computing Edit Distance (abstract)
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)
12:00
Symmetry groups of infinite words (abstract)
PRESENTER: Sergey Luchinin
12:30-14:00Lunch Break
14:00-15:30 Session 9
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
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
09:30
The hardest LL(k) language (abstract)
PRESENTER: Mikhail Mrykhin
10:00
Weighted Prefix Normal Words: Mind the Gap (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 12
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
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
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

09:30-10:30 Session 15
09:30
Parsimonious Computational Completeness (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 16
11:00
Compositions of Constant Weighted Extended Tree Transducers (abstract)
PRESENTER: Malte Blattmann
11:30
Reducing local alphabet size in recognizable picture languages (abstract)
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
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)
10:30-11:00Coffee Break
11:00-12:30 Session 19
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
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
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)
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)