CIAA 2018 :: Charlottetown :: PE :: Canada :: ::
23rd International Conference on Implementation and Applications of Automata
Charlottetown, Prince Edward Island, Canada July 30-August 2, 2018


Tentative timetable


You may park in any of the General Parking Lots at no cost and without a permit from mid-April to mid-September. These lots are labeled as General Parking Lots A, lower B, D, and E on the UPEI Campus Map.

Demo session was canceled and we moved some presentations to fill the available spots. Please check the new presentation time and date, as it might have been changed.

The Conference will take place in KCI 104. The building is number 17 on the campus map.

Monday, July 30, 2018

Session ChairCezar Campeanu
9:00-10:00Invited Talk: On the Design and Analysis of Algorithms for Chemical Reaction NetworksAnne Condon
10:00-10:30Coffee Break
Session ChairChair Session 1: Martin Kutrib
10:30-11:00Towards the Algorithmic Molecular Self-Assembly of Fractals by Cotranscriptional FoldingYusei Masuda, Shinnosuke Seki and Yuki Ubukata
11:00-11:30Solving Parity Games: Explicit vs SymbolicAntonio DiStasio, Aniello Murano, and Moshe Vardi
Session ChairChair Session 2: Markus Holzer
13:30-14:00Parametrizing String Assembling SystemsMartin Kutrib and Matthias Wendlandt
14:00-14:30A new hierarchy for automaton semigroupsLaurent Bartholdi, Thibault Godin, Ines Klimannand Matthieu Picantin
14:30-15:00On Values for Factor ComplexityBirzhan Moldagaliyev, Ludwig Staigeri, and Frank Stephan
15:00-15:30Coffee Break
Session ChairChair Session 3: Rogerio Reis
15:30-16:00Semilinearity of Families of LanguagesOscar Ibarra and Ian McQuillan
16:00-16:30The Bottom-Up Position Tree Automaton and its Compact VersionSamira Attou, Ludovic Mignot, and Ziadi Djelloul
16:30-17:00Generalised Twinning PropertyStefan Gerdjikov
17:00-17:30On Syntactic Complexity of Circular Semi-Flower AutomataShubh Narayan Singh and Venkata Krishna Kanduru
18:30Welcome Party

Tuesday, July 31, 2018

Session ChairChair Session 4: Stavros Konstantinidis
8:30-9:30Invited Talk: Validity of weighted automataJacques Sakarovitch
9:30-10:00Coffee Break
Session ChairChair Session 5: Nelma Moreira
10:00-10:30Algorithms for Weighted Finite Automata with Failure TransitionsCyril Allauzen and Michael Riley
10:30-11:00Algorithms and Training for Weighted Multiset Automata and Regular ExpressionsJustin Debenedetto and David Chiang
11:00-11:30A Comparison of Two N-Best Extraction Methods for Weighted Tree AutomataJohanna Björklund, Frank Drewes and Anna Jonsson
14:00-17:30Social Event
17:30-20:00Conference Dinner

Wednesday, August 1, 2018

Session ChairChair Session 6: Yo-Sub Han
8:30-9:30Invited Talk: Boosting Pushdown and Queue Machines by PreprocessingAndreas Malcher
9:30-10:00Coffee Break
Session ChairChair Session 7: Marek Szykuła
10:00-10:30Enumeration of Cryptarithms Using Deterministic Finite AutomataYuki Nozaki, Diptarama Hendrian, Ryo Yoshinaka and Ayumi Shinohara
10:30-11:00Non-Self-Embedding Grammars, Constant Height Pushdown Automata, and Limited AutomataBruno Guillon, Giovanni Pighizzini, and Luca Prigioniero
11:00-11:30Synchronizing random almost-group automataMikhail Berlinkov and Cyril Nicaud
Session ChairChair Session 8: Ian McQuillan
14:00-14:30Online Stochastic Pattern MatchingMarco Cognetta and Yo-Sub Han
14:30-15:00One-Counter Automata for Parsing and Language ApproximationAlexander Sakharov
15:00-15:30Two routes to automata minimization and the ways to reach it efficientlySylvain Lombardy and Jacques Sakarovitch
15:30-16:00Coffee Break
Session ChairChair Session 9: Jacques Sakarovitch
16:00-16:30State Complexity of Overlap AssemblyJanusz Brzozowski, Lila Kari, Bai Li and Marek Szykuła
16:30-17:00State Complexity of Reversals of Deterministic Finite Automata with OutputSylvie Davies

Thursday, August 2, 2018

Session ChairChair Session 10: Galina Jiraskova
8:30-9:30Invited Talk: Regular Expressions and Transducers over Alphabet-invariant and User-defined LabelsStavros Konstantinidis
9:30-10:00Coffee Break
Session ChairChair Session 11: Kai Salomaa
10:00-10:30Complexity of Proper Suffix-Convex Regular LanguagesCorwin Sinnamon
10:30-11:00The Exact Complexity of Star-Complement-StarJozef Jirasek and Galina Jiraskova
11:00-11:30The Range of Accepting State Complexities of Languages Resulting From Some OperationsMichal Hospodár and Markus Holzer
11:30-12:00Bussiness Meeting
14:00-14:30Free Discussions
14:30-15:00Free Discussions
15:00-15:30Free Discussions
15:30-16:00Free Discussions
16:00-16:30Free Discussions
16:30-17:00Free Discussions

Information about the route on July 31

Begins with a city tour of historic Charlottetown with a stop at PEI Preserves in New Glasgow. Continue on to the coastal fishing village of North Rustico and the famous PEI National Park, home of Cavendish and Anne of Green Gables. You'll have more than enough time to sample homemade Island jams, visit the Anne of Green Gables homestead and stroll the boardwalk, overlooking the beautiful sandy beaches of our Island. Continue on to Rustico Harbour, where you will visit a traditional fishing village and learn about the history of the PEI fishery. The afternoon would not be complete without stopping for dinner at the World Famous Fisherman's Wharf with its 60 foot Salad Bar where you have your choice of 1lb lobster, 9oz AAA PEI steak, Breaded Scallops, 1/4 chicken, Jumbo Breaded Shrimp or Breaded Haddock. After your belly is full relax and enjoy the picturesque landscape on the drive back to the city as your tour winds to a close.

Dinner options

One of

All you can eat 60ft Salad Bar including Rolls, Chowder, Desserts, Coffee, Tea.

Dinner time is 5:30pm, confirmed.



Last modified: Saturday March 09, 2019 at 10:22 am AST
CIAA 2018