http://www.nue.riec.tohoku.ac.jp/trs-meeting06/Thursday, February 9 - Saturday, February 11, 2006
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.
(Takahito Aoto) no later than December 21.
----------------------------------------------------------------------
Registration Form of 26th TRS meeting
name:
affiliation:
* 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 |