Logic, Language, Algebraic system and Related Areas in Computer Science
Organizer: Munehiro Iwami(Shimane University)
E-mail: munehiro@cis.shimane-u.ac.jp
The Kyoto University Research Institute for Mathematical Science (RIMS) workshop"Logic, Language, Algebraic system and Related Areas in Computer Science"
will be held as follows:
Period: 2021-02-17 -- 2021-02-19
Location：

Online (Zoom)

Program
Feb. 17 (Wednesday)
Chair

Munehiro Iwami Shimane University

9:00～9:50(JST) Invited Talk
Janet Page

University of Michigan

The non-Gorenstein locus of certain rings arising from finite posets
9:50～10:20 Hisaya Tsutsui

Embry-Riddle University

Some aspects of TTF theory
BreakChair Mitsuhiro Miyazaki Kyoto University of Education
10:40～11:10 Jiryo Komeda Kanagawa Institute of Technology
Quasi-symmetric numerical semigroups on triple covers of curves
11:10～11:40 Tomoko Adachi and Daichi Kuwajima Toho University
On Modular Magic Sudoku Solution of small order
11:40～12:10 Ryoma Sin'ya Akita University
Asymptotic Approximation by Regular Languages
Lunch
Chair Tomoko Adachi Toho University
13:30～14:20 Invited Talk
FUTATSUGI, Kokichi JAISTSpecification Verification in CafeOBJ
14:20～15:10 Noriaki Kamiya

Aizu University

On certain algebraic structures associated with symmetric spaces
Break
Chair Ryoma Sin'ya Akita University
15:30～16:00 Tsunekazu Nishinaka

University of Hyogo

On group algebras of R. Thompson's group F
16:00～16:30 Quawai, Shin Imamura, Takuma (Kyoto University) andMatsumoto, Shuya (Keio University)
Hypersequent calculi for first order intermediate logics
16:30～17:00 Peter Leupold

University of Bremen

Tree Languages defined by Patterns
Feb.18 (Thursday)
Chair Tsunekazu Nishinaka University of Hyogo
9:00～9:50(JST) Invited Talk
Christopher Briggs Embry-Riddle Aeronautical University
A growth dichotomy for twisted polynomial algebras
9:50～10:20 Mirai Ikebuchi MITA Lower Bound of the Number of Axioms by Homological Methods
BreakChair Michiro Kondo Tokyo Denki University
10:40～11:10 Cancellation
11:10～11:40 Arimoto Koichi Kurashiki Amaki Junior High School and
Hirano Yasuyuki

Hiroshima Institute of Technology

On lattice points which become vertices of Heronian triangles II
11:40～12:10 Kase Riki Akita UniversityPuzzle on Projective Plane P3 of Order 3 and Mathieu Groups
LunchChair

Jiryo Komeda Kanagawa Institute of Technology

13:30～14:00 Satoshi Yamanaka National Institute of Technology, Tsuyama CollegeOn (ρ,D)-separable polynomials and Galois polynomials in skew
polynomial rings
14:00～14:30 Mitsuhiro Miyazaki Kyoto University of Education
Some variations of the stable set polytope of a graph and Gorenstein
property of the Ehrhart rings of them
14:30～15:00 Yoshiharu Shibata Yamaguchi University
On the square of a uniserial module

BreakChair Szilard Fazekas Akita University
15:20～15:50 Ken-etsu Fujita Gunma University
On formalization of logic puzzles a la Smullyan
15:50～16:20 TANIGUCHI Masaya JAISTContinuations and Polymorphic Lambek Calculus
16:20～16:50 Pál Dömösi

University of Debrecen & University of Nyíregyháza,Géza Horváth University of Debrecen,
Ferenc Tamás Molnár

CCLAB LtdandAdama Diene University of United Arab Emirates

Cryptosystems Based on Abstract Finite Automata
Feb.19 (Friday)
Chair Ken-etsu Fujita Gunma University
9:00～9:20(JST) Haruhisa Nakajima Oberlin University
Some properties of rings of invariants of certain reductive groups
9:20～9:50 Yoshiyuki Kunimochi Shizuoka Inst. of Sci. and Tech.
On Closures of Extractable Codes
9:50～10:20 Szilard Fazekas, Kaito Hoshi and Akihiro Yamamura Akita University
Two-way jumping automata
Break
Chair Yoshiyuki Kunimochi Shizuoka Inst. of Sci. and Tech.
10:40～11:10 Tatsuya Maruta Osaka Prefecture University
Extension theorems for linear codes
11:10～11:40 Yuji Kobayashi Laboratory of mathematics and games
Zeropotent algebras of dimension 3 over R
11:40～12:10 Michiro Kondo Tokyo Denki University
Stabilizers in residuated lattices
Lunch
Chair Yuji Kobayashi Laboratory of mathematics and games
13:30～14:00 Takao Yuyama Tokyo Institute of Technology
Word Problem for Virtually Abelian Groups and Constrained Automata
14:00～14:30 Shuji Jimbo Okayama University
Conjectures on the Variation in the Eulerian Recurrent Length ofComplete Graphs

14:30～14:50 Masaaki Kumazawa Mino Jiyu Gakuen High School
Two topics on BCK-algebras
BreakChair Shuji Jimbo Okayama University
15:10～15:40 Akihiro Yamamura Akita University
Left simple and left cancellative semigroups without idempotents
15:40～16:30 Invited Talk
Collin Bleak University of St Andrews
On maximal subgroups of R. Thompson's group V.