-------------5th Japanese Term Rewriting Meeting------------- Institute of Information Sciences and Electronics University of Tsukuba Thursday, February 3 (13:00 - 18:30) 13:00-13:45 Masahito Kurihara (Hokkaido University) "On the Modularity of Termination of Term Rewriting Systems" (Enno Ohlebusch, Report no.11, University of Bielefeld, 1993) 13:45-14:30 Ken Mano (NTT CSL, Kyoto) 15:00-15:45 Tohru Naoi (Gifu University) 15:45-16:30 Mizuhito Ogawa (NTT BRL, Tokyo) 17:00-17:45 Michio Oyamaguchi (Mie University) "Some Decidable Conditions for Confluence of Right-Ground Term Rewriting Systems" 17:45-18:30 Akihiko Ohsuga (Toshiba, Kawasaki) Friday, February 4 (9:30 - 15:30) 9:30-10:15 Koichi Nakahara (University of Tsukuba) "Leftmost Outside-in Narrowing Calculi" 10:15-11:00 Yoshihito Toyama (JAIST Hokuriku) "Well Rewrite Ordering and Well Quasi-Ordering" by Pierre Lescanne, J. Symb. Comput. 14 (1992) 419-435 11:15-12:00 Fer-Jan de Vries (CWI, Amsterdam) "Syntactic Definitions of Undefined: on Defining the Undefined" 12:00-12:45 Ko Sakai (University of Tsukuba) "On automatic proof system" by Komori 14:00-14:45 Junnosuke Yamada (NTT CSL, Kyoto) 14:45-15:30 Aart Middeldorp (University of Tsukuba) "Simple Termination Revisited" -------------------------------------------------------------