TRS Meeting is an informal workshop that aims at promoting the research on
rewriting and related areas.
Participants are required to give a talk of approximately 15-60 minutes.
The subject of the talk is acceptable not only one's own research but also to explain a paper written by someone else.
of talk (min)
|14:00 -||I. Mitsuhashi||Survey on Researches about the E-overlapping Property||15|
|T. Aoto||Automated Confluence Proof by Decreasing Diagram based on Rule Labelling||30|
|15:45 -||N. Nishida||On Improving Lemma Generation Framework for Constrained Term Rewriting Systems||30|
|M. Sakai||Decidability of Termination for CS-TRSs with Right-Linear Right-Shallow DPs||30|
|10:00 -||M. Iwami||A Procedure for Disproving Strong Head Normalization of Infinitary Term Rewriting Systems||30|
|M. Ogawa||Return of Nonlinear TRS -- an Open Problem from POPL 2010 --||30|
|T. Yamada||Argument Filterings and Usable Rules for Simply Typed TRSs||30|
|13:00 -||D. Klein||Completion as Constraint Solving||30|
|Y. Chiba||Formal Model for Verifying HTTP-mutual||30|
|14:30 -||N. Hirokawa||Normalisation of Strategies Revisited||30|
|A. Middeldorp||Polynomial Interpretations Revisited||45|
All Japanese participants are kindly requested to book their own
However, we would like to book for participants who want to stay at Hotel Isewan (in the same building as Mie-ken Kyoiku Bunka Kaikan) or overseas national participants.
Please fill the following registration form and send it to no later than January
The items marked with * can be sent later.
Michio Oyamaguchi, Toshiyuki Yamada, and Ichiro Mitsuhashi