CIAA 2017

22nd International Conference Implementation and Application of Automata

27--30 June 2017, Université Paris-Est Marne-la-Vallée

Program

Tuesday 27th

  • 9h30-10h: Welcome
  • 10h-11h: Damien Pous (invited speaker): CoInductive Automata Algorithms.
  • 11h-11h30: Coffee break
  • 11h30-12h: Henning Bordihn and Markus Holzer. On the Number of Active States in Deterministic and Nondeterministic Finite Automata.
  • 12h-12h30: Michal Hospodár, Galina Jirásková and Peter Mlynárčik. Nondeterministic Complexity of Operations on Free and Convex Languages.
  • 12h30-14h: Lunch
  • 14h-14h30: Janusz Brzozowski and Corwin Sinnamon. Complexity of Proper Prefix-Convex Regular Languages.
  • 14h30-15h: Robert Ferens and Marek Szykuła. Complexity of Regular Bifix-Free Languages.
  • 15h-15h30: Marek Szykuła and John Wittnebel. Syntactic Complexity of Bifix-Free Languages.
  • 15h30-16h: Coffee break
  • 16h-16h30: Andrew Ryzhikov. Synchronization Problems in Automata without Non-trivial Cycles.
  • 16h30-17h: Claudia Cauli and Nir Piterman. Equivalence of Probabilistic $\mu$-calculus and p-Automata.

Wenesday 28th

  • 9h30-10h30: Kim Larsen (invited speaker): Timed and Untimed Energy Game.
  • 10h30-11h: Coffee break
  • 11h-11h30: Yo-Sub Han and Sang-Ki Ko. Alignment Distance of Regular Tree Languages.
  • 11h30-12h: Martin Berglund, Brink van der Merwe, Bruce Watson and Nicolaas Weideman. On the Semantics of Atomic Subgroups in Practical Regular Expressions.
  • 12h-12h30: Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi and Denis Kuperberg. Stamina: Stabilisation Monoids IN Automata theory.
  • 12h30-14h: Lunch

    • Tools demonstration session

  • 14h-14h30: Victor Marsault. Wali : Weighted Automata and Transducers [abstract]
  • 14h30-15h00: Miguel Ferreira. FAdo and GUItar [abstract]
  • 15h-15h30: Vincent Delecroix. The SageMath project [abstract]
  • 15h30-16h: Coffee Break
  • 16h-16h30: Kristoffer Søholm. Kleenex [abstract]
  • 16h30-16h45: Julien David. RDOS - Random Discrete Objects Suite [abstract]
  • 16h45-17h: Denis Kuperberg. Stamina: Stabilisation Monoids IN Automata theory. [abstract]

Thursday 29th

  • 9h30-10h30 Véronique Cortier (invited speaker) Electronic Voting: How Logic Can Help
  • 10h30-11h: Coffee break
  • 11h-11h30: Martin Kutrib, Andreas Malcher and Matthias Wendlandt. Transducing Reversibly with Finite State Machines
  • 11h30-12h: Louis-Marie Dando and Sylvain Lombardy. From Hadamard Expressions to Weighted Rotating Automata and Back
  • 12h-12h30: Business meeting
  • 12h30-14h: Lunch
  • 16h-18h: Guided tour of the Rodin exhibition at the Grand Palais
  • 19h30-22h: Conference diner at Les Petits Plats d'Emile

Friday 30th

  • 9h30-10h Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingolfsdottir and Saevar Orn Kjartansson. On the Complexity of Determinizing Monitors
  • 10h-10h30: Stefan Gerdjikov, Stoyan Mihov and Klaus Schulz. A Simple Method for Building Bimachines from Functional Finite-State Transducers.
  • 10h30-11h: Coffee break
  • 11h-11h30: Henrik Björklund, Johanna Björklund and Petter Ericson. On the Regularity and Learnability of Ordered DAG Languages
  • 11h30-12h: Paolo Massazza. On the conjecture L_DFCM ⊊ RCM
  • 12h-12h30: Henning Fernau, Lakshmanan Kuppusamy and Indhumathi Raman. Computational Completeness of Path-Structured Graph-Controlled Insertion-Deletion Systems
  • 12h30-14h: Lunch
  • 14h: End of CIAA 2017