Welcome Party

Monday, 21 July ~18:00
Location: the party will be held on the university campus*

Join us for the Welcome Party following the NCMA Business Meeting.
Open to all registered NCMA and DCFS participants.

*We are eager to keep it outdoors (pavilion by the EHB building), but in case of the rainy weather we will hide inside (Schofield Building - room SCH.004) - check notifications from the organisers on Monday, 21 July to be sure!

Tuesday, 22 July

10:50 - 11:20 | Registration & coffee (room SCH.006)

11:20 - 11:30 | Opening 

11:30 - 12:30 | Invited talk unifying NCMA and DCFS | Chair: Luca Prigioniero

Inductive Inference of Lindenmayer Systems: Computational and Descriptional Complexity
Ian McQuillan

12:30 - 14:00 | Lunch

14:00 - 15:30 | Contributed talks | Chair: Ian McQuillan

  • Forecasting Blow-Up in Nondeterministic Automata
    Ivan Baburin and Ryan Cotterell
  • Two-Word Shuffle: Some Results
    Guilherme Duarte, Nelma Moreira and Rogério Reis
  • Disjunctive Complexity
    Nikita Ivanov, Alexander Rubtsov and Mikhail Vyalyi

15:30 - 16:00 | Coffee break

16:00 - 17:00 | Contributed talks | Chair: Rogério Reis

  • On A Measure for The Descriptional Complexity of Finite Automata with Translucent Words
    Friedrich Otto and František Mráz
  • Two-Way Finite Automata with Translucent Input Letters
    Martin Kutrib, Andreas Malcher, Carlo Mereghetti and Beatrice Palano

17:00 | Business meeting

Wednesday, 23 July

09:00 - 10:00 | Invited talk | Chair: Martin Kutrib

Wheeler Automata in Formal Language Theory
Giuseppa Castiglione

10:00 - 10:30 | Coffee break

10:30 - 12:00 | Contributed talks | Chair: Giuseppa Castiglione

  • Word-Representable Graphs and Locality of Words
    Philipp Böll, Pamela Fleischmann, Annika Huch, Jana Kreiß, Tim Löck, Kajus Park and Max Wiedenhöft
  • On the Decidability and Expressive Power of Several Theories Based on String Constraints
    Justus Greve-Kramer, Tore Koß, Florin Manea and Timo Specht
  • Fibonacci Pictures on a Binary Alphabet
    Marcella Anselmo, Dora Giammarresi, Maria Madonia and Carla Selmi

12:00 - 13:30 | Lunch

13:30 - 22:00 | Social activities

Thursday, 24 July

09:00 - 10:00 | Invited talk  | Chair: György Vaszil

Descriptional Complexity in Natural Computing: the Case of P Systems
Erzsébet Csuhaj-Varjú

10:00 - 11:00 | Coffee break

11:00 - 12:30 | Contributed talks | Chair: Erzsébet Csuhaj-Varjú

  • Small Balanced Vertex Separators in NFA to Regular Expression Conversion
    Derek Youngman and Kai Salomaa
  • Automata for Synchronised Shuffle on Backbones
    Sabine Broda, António Machiavelo, Nelma Moreira and Rogério Reis
  • k-Local Graphs 
    Christian Beth, Pamela Fleischmann, Annika Huch, Daniyal Kazempour, Peer Kröger, Andrea Kulow and Matthias Renz

12:30 - 14:00 | Lunch

14:00 - 15:00 | Invited Talk | Chair: Andreas Malcher

Can We Efficiently Compute Concurrency and Causality Relations in the Reversible Setting?
Irek Ulidowski

15:00 - 15:30 | Coffee break

15:30 - 17:00 | Contributed talks | Chair: Andreas Malcher

  • What is the Most Natural Generalized Pumping Lemma beyond Regular and Context-Free Languages?
    Tomoyuki Yamakami
  • Matrix Forbidding Grammars
    Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman and György Vaszil
  • Scattered Context Grammars with One Non-Context-Free Production and Six Nonterminals are Computationally Complete
    Martin Havel, Alexander Meduna and Zbyněk Křivka

17:00 | Closing