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.

Information

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

View Larger Map

Program

Speaker Title Approximate duration
of talk (min)

Feb. 23
(Tue) 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:25 - Break

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

Feb. 24
(Wed) 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

11:45 - Lunch

13:00 - D. Klein Completion as Constraint Solving 30

Y. Chiba Formal Model for Verifying HTTP-mutual 30

14:10 - Break

14:30 - N. Hirokawa Normalisation of Strategies Revisited 30

A. Middeldorp Polynomial Interpretations Revisited 45

	Speaker	Title	Approximate duration of talk (min)
Feb. 23 (Tue)	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:25 -	Break
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
Feb. 24 (Wed)	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
11:45 -	Lunch
13:00 -	D. Klein	Completion as Constraint Solving	30
Y. Chiba	Formal Model for Verifying HTTP-mutual	30
14:10 -	Break
14:30 -	N. Hirokawa	Normalisation of Strategies Revisited	30
A. Middeldorp	Polynomial Interpretations Revisited	45

Accommodation

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.

Registration

Please fill the following registration form and send it to no later than January 24.
name: affiliation: *title of talk: *approximate duration of talk (in minutes): hotel reservation: (A) February 22: yes/no February 23: yes/no February 24: yes/no request (if any): (B) I will book my own accommodation attendance at banquet on February 23: yes/no
The items marked with * can be sent later.

Organizers

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

[Back]