33rd TRS Meeting

February 23(Tue) - 24(Wed), 2010
Tsu, Mie

About TRS Meeting

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.


February 23 14:00-17:00, banquet 18:00-20:00 (at Kaze no Kurabito)
February 24 10:00-16:00
1st Conference Room in Mie-ken Kyoiku Bunka Kaikan


SpeakerTitleApproximate duration
of talk (min)
Feb. 23
14:00 -I. MitsuhashiSurvey on Researches about the E-overlapping Property15
T. AotoAutomated Confluence Proof by Decreasing Diagram based on Rule Labelling30
15:25 -Break
15:45 -N. NishidaOn Improving Lemma Generation Framework for Constrained Term Rewriting Systems30
M. SakaiDecidability of Termination for CS-TRSs with Right-Linear Right-Shallow DPs30
Feb. 24
10:00 -M. IwamiA Procedure for Disproving Strong Head Normalization of Infinitary Term Rewriting Systems30
M. OgawaReturn of Nonlinear TRS -- an Open Problem from POPL 2010 --30
T. YamadaArgument Filterings and Usable Rules for Simply Typed TRSs30
11:45 -Lunch
13:00 -D. KleinCompletion as Constraint Solving30
Y. ChibaFormal Model for Verifying HTTP-mutual30
14:10 -Break
14:30 -N. HirokawaNormalisation of Strategies Revisited30
A. MiddeldorpPolynomial Interpretations Revisited45


All Japanese participants are kindly requested to book their own accommodation.
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 24.

The items marked with * can be sent later.


Michio Oyamaguchi, Toshiyuki Yamada, and Ichiro Mitsuhashi
(Mie University)