26th TRS Meeting
Thursday, February 9 - Saturday, February 11, 2006
Sakunami, Sendai

The TRS Meeting is an informal workshop aiming at promoting the research on rewriting and related areas. Participants are required to give a talk of approximately 15 - 60 minutes in English. The subject of the talk is not necessarily restricted to one's own current research; it is perfectly acceptable to introduce their on-going studies or projects in the field.
(See Rewriting Researchers Forum for further information.)

The 26th TRS meeting will be held at Sakunami Onsen, a hot spring area located near Sendai City.


Hotel Ichinobo   (An english information provided by Miyagi Prefecture)

Schedule (tentative)

February 9, 13:30 - February 11, 12:00, 2006


Please send the registration form below to contact address (Takahito Aoto) no later than December 21.
               Registration Form of 26th TRS meeting

* title of talk:
* approximate duration of talk (in minutes):
accommodation (\12,000 yen per person per night, shared room):
      February 9:  yes/no
      February 10:  yes/no

The items marked with * can be sent later.


Takahito Aoto (Tohoku University) Dealing with Non-Orientable Equations in Rewriting Induction
Yuki Chiba (Tohoku University) Program Transformation by Template based on Term Rewriting
Makoto Hamana (Gunma Univeristy) Higher-Order Semantic Labelling
Nao Hirokawa (University of Innsbruck) Predictive Labeling
Takeuti Izumi(CVS, AIST) CPS Translation and Boolean Algebra embedded in Heyting Algebra
Kentaro Kikuchi (Tohoku University) On the Correspondence between Normalization and Cut-Elimination in Classical Logic
Ichiro Mitsuhashi (Mie University) The Confluence Problem for Flat TRSs
Naoki Nishida (Nagoya University) Improving Unraveling for Deterministic Conditional Term Rewriting Systems
Hitoshi Ohsaki (AIST & JST) Monotone AC-Tree Automata
Mizuhito Ogawa (JAIST) View on Pushdown Model Checking
Georg Struth (The University of Sheffield) Abstract Abstract Reduction
Toshinori Takai (AIST) Essentially Algebraic Structure for Simple Regular Tree Expressions
Yoshihito Toyama (Tohoku University) Reduction Strategies of Left-Linear Term Rewriting Systems
Toshiyuki Yamada (Mie University) Embedding for Simply Typed TRS
Yuuichi Yamada (Mie University) Recursive Path Ordering for Simply Typed Term Rewriting Systems

Pictures of meeting

[Toyama Lab.]