Group, Ring, Language and Related Areas in Computer Science
Organizer: Tsunekazu Nishinaka(University of Hyogo)
E-mail: nishinaka@em.u-hyogo.ac.jp
The Kyoto University Research Institute for Mathematical Science (RIMS) workshop”Group, Ring, Language and Related Areas in Computer Science”
will be held as follows:
Period: 2023-02-15 – 2023-02-17
Room 111
Research Institute for Mathematical Sciences
Kyoto University, Kyoto 606-8502, Japan
Program■ Feb. 15 (Wednesday)
9:30–10:00 Igor Potapov University of Liverpool
Computational Problems on Combinatorial Necklaces and Crystal Structure Prediction
10:00–10:30 Tomoko Adachi Shizuoka Institute of Science and Technology
Orthogonality of Quasigroups and Secret Sharing Scheme with Perfect Concealment

Break
10:40–11:10
11:10–12:00

Lunch break
13:10–13:40
13:40–14:10
14:10–14:40

Break
14:50–15:40

15:40–16:10
16:10–16:40

Yoshiyuki Kunimochi Shizuoka Institute of Science and Technology
Some classes of strong codes
Invited Talk
Yuko Murakami Rikkyo University
Elucidation of completeness of achievement stit logic of agency

Machida, Hajime Hitotsubashi University
Centralizing monoids of majority operations
Noriaki Kamiya University of Aizu
On triality relations of normal triality algebras and Lie algebras
Hisaya Tsutsui Embry-Riddle Aeronautical University
An infective test lemma and primitivity of certain classes of rings

Invited Talk
Alexander Meduna Brno University of Technology
Grammars with Context Conditions and Their Applications
Christopher Briggs Embry-Riddle Aeronautical University
Emergent gender diﬀerentiation in gendered genetic algorithm meta-optimization
Szilard Fazekas Akita University
The general case of the clusters conjecture■ Feb.16 (Thursday)
9:30–10:00 Shuji Jimbo Okayama University
Partition of an Eulerian circuit search problem for the complete graph of order 15
10:00–10:30 Fujita, Kenetsu
Gunma University, Kurata, Toshihiko Hosei University
Boolos’ ”The Hardest Logic Puzzle Ever” and coinduction

Break
10:40–11:10
11:10–11:40

Lunch break
12:50–13:40

Jiryo Komeda Kanagawa Institute of Technology
On numerical semigroups whose quotients by two are generated by two or three elements
Michiro Kondo Tokyo Denki University, Mayuka F.Kawaguchi Hokkaido University
Note on quotient normal eo-algebras

Invited Talk
Collin Bleak University of St Andrews
Embeddings into Finitely Presented Simple Groups13:40–14:20
14:20–14:50

Break
15:00–15:50

15:50–16:20
16:20–16:50

18:30–Brent Solie Embry-Riddle Aeronautical University
Some questions on primitivity and Thompson’s group
Haruki Fukaura, Szilard Fazekas, Akihiro Yamamura Akita University
Some Theorems of Free Burnside Group

Invited Talk
Takeo Uramoto Kyushu University Inst. of Math. for Ind.
On algebraic language theory, Galois theory, and class ﬁeld theory
Takao Yuyama Tokyo Institute of Technology
Groups whose Word Problem is Accepted by an Abelian G-automaton
Marcin J. Schroeder Tohoku University
The Relationship Between Rota’s Logic of Information
Based on Partitions and Logic of Information Deﬁned in a Closure SpaceBanquet■ Feb.17 (Friday)
9:30–10:00 MunehiroIwami ShimaneUniversity
RewritingofRationalTermsbyTreeTransducerRevisited
10:00–10:30 Huang Xinhao, Szilard Fazekas, Akihiro Yamamura Akita University
Reconstructing Words from Mirror Words

Break
10:40–11:10
11:10–12:00

Lunch break
13:20–13:50
13:50–14:20
14:20–14:50

Break
15:00–15:30
15:30–16:00
16:00–16:30

Kunitaka Shoji Shimane University
Self-injective inverse semigroups
Invited Talk
Carl-Fredrik Nyberg-Brodda University Gustave EiﬀelLanguage-theoretic methods in semigroup theory

Akihiro Yamamura Akita University
Latin Hexahedra and Related Combinatorial Structures
Kiyomitsu Horiuchi Konan University
On an algebraic system similar to logic using trice
Yuji Kobayashi Toho University, Laboratory of Mathematics and Games
Multipliers and weak multipliers of algebras

Satoshi Yamanaka National Institute of Technology, Tsuyama
On Galois polynomials with cyclic Galois group in skew polynomial rings II
Masaaki Kumazawa Mino Jiyu Gakuen High School
Remarks on BCK-algebras with condition (S) satisfying Cornish’s identity
Fugen Hagihara Kyoto University
The ultimate signs of second-order holonomic sequences