*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*

*************************************************************************
13th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS

LATA 2019

Saint Petersburg, Russia

March 26-29, 2019

Organized by:
    
Saint Petersburg State University
and
Institute for Research Development, Training and Advice, Brussels/London

http://lata2019.irdta.eu/
*************************************************************************

PROGRAM

Tuesday, March 26

09:00 - 09:30    Registration

09:30 - 09:40    Opening

09:40 - 10:30    Edward A. Lee. Observation and Interaction - Invited lecture

10:30 - 11:00    Break

11:00 - 12:15

Malek Anabtawi, Sabit Hassan, Christos Kapoutsis and Mohammad Zakzok. An Oracle Hierarchy for Small One-way Finite Automata

Tim Becker and Klaus Sutner. Orbits of Abelian Automaton Groups

Alex Bishop and Murray Elder. Bounded Automata Groups Are co-ET0L

12:15 - 13:45    Lunch

13:45 - 15:00

Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara and Antonio E. Porreca. Decidability of Sensitivity and Equicontinuity for Linear Higher-order Cellular Automata

Ondrej Klíma and Libor Polak. On Varieties of Ordered Automata

Klaus Meer and Ameen Naif. Automata over Infinite Sequences of Reals

15:00 - 15:30    Break

15:30 - 17:10

Tomoyuki Yamakami. Non-uniform State Complexity of Quantum Finite Automata and Quantum Polynomial-time Logarithmic-space Computation with Quantum Advice

Vladimir Zakharov. Equivalence Checking of Prefix-free Transducers and Deterministic Two-tape Automata

Ilya Zakirzyanov, Antonio Morgado, Alexey Ignatiev, Vladimir Ulyantsev and Joao Marques-Silva. Efficient Symmetry Breaking for SAT-based Minimum DFA Inference

Jackson Abascal, Lane A. Hemaspaandra, Shir Maimon and Daniel Rubery. Closure and Nonclosure Properties of the Compressible and Rankable Sets

---

Wednesday, March 27

09:00 - 09:50    Henning Fernau. Modern Aspects of Complexity within Formal Languages - Invited lecture

09:50 - 10:20    Break

10:20 - 11:35

Markus Holzer and Michal Hospodár. The Range of State Complexities of Languages Resulting from the Cut Operation

Lila Kari and Timothy Ng. State Complexity of Pseudocatenation

Daniel Padé and Stephen Fenner. Complexity of (R,C)-crosswords

11:35 - 12:05    Break and Group photo

12:05 - 13:20

Berthold Hoffmann and Mark Minas. Generalized Predictive Shift-reduce Parsing for Hyperedge Replacement Graph Grammars

Hans-Joerg Kreowski, Sabine Kuske and Aaron Lye. Transformation of Petri Nets into Context-dependent Fusion Grammars

Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki. Generalized Register Context-free Grammars

13:20 -    14:50    Lunch

15:00        Touristic visit

---

Thursday, March 28

09:00 - 09:50    Pawel Gawrychowski. Searching and Indexing Compressed Text - Invited lecture

09:50 - 10:20    Break

10:20 - 11:35

Amazigh Amrane and Nicolas Bedon. Logic and Rational Languages of Scattered and Countable Series-parallel Posets

Marcella Anselmo, Maria Madonia and Carla Selmi. Toroidal Codes and Conjugate Pictures

Jean-Philippe Dubernard, Giovanna Guaiana and Ludovic Mignot. Geometrical Closure of Binary V3/2 Languages

11:35 - 12:05    Break

12:05 - 13:20

Galina Jirásková and Ondrej Klíma. Deterministic Biautomata and Subclasses of Deterministic Linear Languages

Alexis Linard, Colin de la Higuera and Frits Vaandrager. Learning Unions of k-Testable Languages

Iovka Boneva, Joachim Niehren and Momar Sakho. Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables

13:20 -    14:50    Lunch

14:50 - 15:40    Vadim Lozin. From Words to Graphs, and back - Invited lecture

15:40 - 16:10    Break

16:10 - 17:25

Ajay K. Eeralla, Serdar Erbatur, Andrew M. Marshall and Christophe Ringeissen. Rule-based Unification in Combined Theories and the Finite Variant Property

Pawel Parys. Extensions of the Caucal Hierarchy?

Ahad N. Zehmakan. Tight Bounds on the Minimum Size of a Dynamic Monopoly

---

Friday, March 29

09:00 - 09:50    Esko Ukkonen. Pattern Discovery in Biological Sequences - Invited lecture

09:50 - 10:20    Break

10:20 - 11:35

Emilie Charlier, Svetlana Puzynina and Elise Vandomme. Recurrence in Multidimensional Words

Christophe Cordero. A Note with Computer Exploration of the Triangle Conjecture

Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Juliusz Straszynski, Tomasz Walen and Wiktor Zuba. Efficient Representation and Counting of Antipower Factors in Words

11:35 - 12:05    Break

12:05 - 13:20

Kalpana Mahalingam and Palak Pandoh. On the Maximum Number of Distinct Palindromic Sub-arrays

Wojciech Rytter and Wiktor Zuba. Syntactic View of Sigma-Tau Generation of Permutations

Andrew Ryzhikov and Clemens Mullner. Palindromic Subsequences in Finite Words

13:20 - 13:30    Closing

13:30 -    15:00    Lunch