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
The building is number 17 on the campus map.
Monday, July 30, 2018
|Session Chair||Cezar Campeanu|
|9:00-10:00||Invited Talk: On the Design and Analysis of Algorithms for Chemical Reaction Networks||Anne Condon|
|Session Chair||Chair Session 1: Martin Kutrib|
|10:30-11:00||Towards the Algorithmic Molecular Self-Assembly of Fractals by Cotranscriptional Folding||Yusei Masuda, Shinnosuke Seki and Yuki Ubukata|
|11:00-11:30||Solving Parity Games: Explicit vs Symbolic||Antonio DiStasio, Aniello Murano, and Moshe Vardi|
|Session Chair||Chair Session 2: Markus Holzer|
|13:30-14:00||Parametrizing String Assembling Systems||Martin Kutrib and Matthias Wendlandt|
|14:00-14:30||A new hierarchy for automaton semigroups||Laurent Bartholdi, Thibault Godin, Ines Klimannand Matthieu Picantin|
|14:30-15:00||On Values for Factor Complexity||Birzhan Moldagaliyev, Ludwig Staigeri, and Frank Stephan|
|Session Chair||Chair Session 3: Rogerio Reis|
|15:30-16:00||Semilinearity of Families of Languages||Oscar Ibarra and Ian McQuillan|
|16:00-16:30||The Bottom-Up Position Tree Automaton and its Compact Version||Samira Attou, Ludovic Mignot, and Ziadi Djelloul|
|16:30-17:00||Generalised Twinning Property||Stefan Gerdjikov|
|17:00-17:30||On Syntactic Complexity of Circular Semi-Flower Automata||Shubh Narayan Singh and Venkata Krishna Kanduru|
Tuesday, July 31, 2018
|Session Chair||Chair Session 4: Stavros Konstantinidis |
|8:30-9:30||Invited Talk: Validity of weighted automata||Jacques Sakarovitch|
|Session Chair||Chair Session 5: Nelma Moreira|
|10:00-10:30||Algorithms for Weighted Finite Automata with Failure Transitions||Cyril Allauzen and Michael Riley|
|10:30-11:00||Algorithms and Training for Weighted Multiset Automata and Regular Expressions||Justin Debenedetto and David Chiang|
|11:00-11:30||A Comparison of Two N-Best Extraction Methods for Weighted Tree Automata||Johanna Björklund, Frank Drewes and Anna Jonsson|
Wednesday, August 1, 2018
|Session Chair||Chair Session 6: Yo-Sub Han|
|8:30-9:30||Invited Talk: Boosting Pushdown and Queue Machines by Preprocessing||Andreas Malcher |
|Session Chair||Chair Session 7: Marek Szykuła |
|10:00-10:30||Enumeration of Cryptarithms Using Deterministic Finite Automata||Yuki Nozaki, Diptarama Hendrian, Ryo Yoshinaka and Ayumi Shinohara|
|10:30-11:00||Non-Self-Embedding Grammars, Constant Height Pushdown Automata, and Limited Automata||Bruno Guillon, Giovanni Pighizzini, and Luca Prigioniero|
|11:00-11:30||Synchronizing random almost-group automata||Mikhail Berlinkov and Cyril Nicaud|
|Session Chair||Chair Session 8: Ian McQuillan |
|14:00-14:30||Online Stochastic Pattern Matching||Marco Cognetta and Yo-Sub Han|
|14:30-15:00||One-Counter Automata for Parsing and Language Approximation||Alexander Sakharov|
|15:00-15:30||Two routes to automata minimization and the ways to reach it efficiently||Sylvain Lombardy and Jacques Sakarovitch|
|Session Chair||Chair Session 9: Jacques Sakarovitch|
|16:00-16:30||State Complexity of Overlap Assembly||Janusz Brzozowski, Lila Kari, Bai Li and Marek Szykuła|
|16:30-17:00||State Complexity of Reversals of Deterministic Finite Automata with Output||Sylvie Davies|
Thursday, August 2, 2018
|Session Chair||Chair Session 10: Galina Jiraskova|
|8:30-9:30||Invited Talk: Regular Expressions and Transducers over Alphabet-invariant and User-defined Labels||Stavros Konstantinidis|
|Session Chair||Chair Session 11: Kai Salomaa|
|10:00-10:30||Complexity of Proper Suffix-Convex Regular Languages||Corwin Sinnamon|
|10:30-11:00||The Exact Complexity of Star-Complement-Star||Jozef Jirasek and Galina Jiraskova|
|11:00-11:30||The Range of Accepting State Complexities of Languages Resulting From Some Operations||Michal Hospodár and Markus Holzer|
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.
- 1lb Lobster supper
- AAA PEI 9 oz Steak
- Breaded Scallops
- 1/4 Chicken
- Jumbo Breaded Shrimp
- Breaded Haddock
All you can eat 60ft Salad Bar including Rolls, Chowder, Desserts, Coffee, Tea.
Dinner time is 5:30pm, confirmed.