DLT Satellite Workshop in Kyoto
  In honour of Masami Ito's KIJU and Pál Dömösi's 75th birthday
     
  PROGRAM
     
     
    Wednesday, September 5, 2018 
     
  9:30 - 10:10 Registration
  10:10 - 10:20 Opening
  10:20 - 10:50 Professor Pál Dömösi's Speech:
Old Stories on Context-Free Languages and Primitive Words.
 
     
  10:50 - 11:50 INVITED TALK
  Volker Diekert (University of Stuttgart): 
Word Equations in SL(s,Z)
 
  11:50 - 12:05 Information about Kyoto
  12:05 - 13:15 Lunch
     
  13:15 - 13:45 Arseny Shur (Ural Federal University):
Words Separation and Positive Identities in Symmetric Groups
 
  13:45 - 14:15 Juhani Karhumäki (University of Turku):
Regular Aspects of k-Abelian Equivalence
 
  14:15 - 14:45 Mikhail Volkov (Ural Federal University):
Slowly Synchronizing Automata with Idempotent Letters of Low Rank
 
  14:45 - 15:00 Coffee break
     
  15:00 - 15:30 Bundit Pibaljommee (Khon Kaen University):
Generalized Superposition of Linear Tree Languages and Products of Linear Tree Languages
 
  15:30 - 16:00 Jiryo Komeda (Kanagawa Institute of Technology):
The Quotient of a Numerical Semigroup with High Conductor by Two or Three
 
  16:00 - 16:30 Tomoko Adachi (Toho University):
Magic Cube and Its Application to Secret Sharing Scheme
 
  17:00 - 18:30 Welcome Party
 
     
     
    Thursday, September 6, 2018 
     
  9:00 - 9:30 Munehiro Iwami (Shimane University):
Syntactic Unification over Rational Terms Revisited
 
  9:30 - 10:00 Thawhat Changphas (Khon Kaen University):
Equivalent Variaties of Multialgebras
 
  10:00 - 10:30 Benedek Nagy (Eastern Mediterranean University):
On the NP-completeness of the Word Problem for Permutation Grammars
 
  10:30 - 10:45 Coffee break
     
   10:45 - 11:15 Jozef Jirásek (Pavol Jozef Šafárik University):
Deterministic Blow-ups of Binary Nondeterministic Finite Automata (work in progress)
 
  11:15 - 12:15 INVITED TALK
  Galina Jirásková (Slovak Academy of Sciences):
Deterministic blow-ups of nondeterministic finite automata
 
  12:15 - 13:15 Lunch
     
  13:15 - 13:45 Nelma Moreira (University of Porto):
Conversions from Regular Expressions to Automata: a Taxonomy and Some Average Size Results
 
  13:45- 14:15 Michál Hospodar (Mathematical Institute, Slovak Academy of Sciences):
The Range of State Complexities of Languages Resulting from the Cut Operation
 
   14:15 - 14:45 Michál Hospodar (Mathematical Institute, Slovak Academy of Sciences):
Nondeterministic Complexity of Power and Positive Closure on Subclasses of Convex Languages
 
  14:45 - 15:00 Coffee break
     
  15:00 - 15:30 Dávid Nagy (University of Debrecen):
Different Types of Search Algorithms for Rough Sets Using Barabasi-Albert and Erdős-Rényi Graphs
 
   15:30 - 16:00 F. Masafumi Toyama (Kyoto Sangyo University):
Additive Decomposition of Iterative Quantum Search Operations and Its Significance for Quantum Searches
 
   16:00 - 16:30 Giuseppe Pirillo (Dipartimento di Matematica "Ulisse Dini"):
On a Result of a Student of Erdős
 
  19:00 -- Workshop Banquet
 
     
     
    Friday, September 7, 2018 
     
  9:15 - 9:45 Maksims Dimitrijevs (University of Latvia):
Verifying Every Language in Constant Space
 
  9:45 - 10:15 Giuseppe Pirillo (Dipartimento di Matematica "Ulisse Dini"):
The Carboncettus Quasi-Regular Octagon and Other Polygons
 
  10:15 - 10:45 Szilárd Fazekas (Akita University):
Clusters of Distinct Square Roots
 
  10:45 - 11:00 Coffee break
     
  11:00 - 12:00 INVITED TALK
  Amy Glen (Murdoch University):
More Properties of the Fibonacci Word on an Infinite Alphabet
 
  12:00 - 13:00 Lunch
     
  13:00 - 13:30 Friedrich Otto (Charles University):
On Two-Sided Locally Testable Languages
 
  13:30 - 14:00 Kenichi Morita (Hiroshima University):
Reversible Turing Machines in a Simple Reversible Triangular Cellular Automaton
 
  14:00 - 14:30 Attila Egri-Nagy (Akita International University):
Reversible Computing and Algebraic Compositionality
 
  14:30 - 14:45 Coffee break
     
  14:45 - 15:15 Carolin Hannusch (University of Debrecen):
A Cryptosystem Based on a New Class of Error-Correcting Codes
 
  15:15 - 15:45 Géza Horváth (University of Debrecen):
Security Analysis of Stream Ciphers: DH3 vs. OTP
 
  15:45 - 16:00 Coffee break
     
  16:00 - 16:30 F. Masafumi Toyama (Kyoto Sangyo University):
Weak-Measurement Experiments on Qubits of IBM Cloud Q
 
  16:30 - 17:00 Professor Masami Ito's Speech:
A Cryptosystem Based on Automaton
 
  17:00 - 17:10 Closing