36th TRS Meeting

February 27(Mon)-29(Wed), 2012
Matsue, Shimane

About TRS Meeting

Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk(s) of approximately 15 - 60 minutes in English on their research activities. The subject of the talk may not be one's original result; for example, explaining an interesting paper is perfectly OK. (See Rewriting Researchers Forum for further information.)


Date: February 27(Mon)-29(Wed), 2012
Venue: Interdisciplinary Faculty of Science and Engineering, Shimane University
Lecture Room 101, 1F of Interdisciplinary Faculty of Sci. & Eng. Bld. I, (Information Bld) (Access Map) (Campus map)


February 27 (Mon)
 14:00 - 16:00  meeting
Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems
Aart Middeldorp (University of Innsbruck)
A Relative Dependency Pair Framework
Christian Sternagel (JAIST)
February 28 (Tue)
 10:00 - 17:30  meeting
A Rewriting Solution to the Parsing Problem
Nao Hirokawa (JAIST)
Higher Order Program Transformation by Templates based on Rewriting
Yuki Chiba (JAIST)
On Disproving and Postulating for Multi-Context Rewriting Induction
Tsubasa Sakata (Nagoya University)
 12:00 - 13:30  lunch
Metamorphism, Jigsaw and String Rewriting
Keisuke Nakano (The University of Electro-Communications)
Proving Termination of Functional Programs with Exception Handling
Takeshi Hamaguchi (Nagoya University)
On determinazation of conditional rewrite systems
Masahiko Sakai (Nagoya University)
Munehiro Iwami (Shimane University)
 18:30 -  banquet (Syunmon)
February 29 (Wed)
 10:00 - 12:00  meeting
Free discussion


All participants are kindly requested to book their own accommodation.


Please send the registration form below to Munehiro Iwami(munehiro[at]cis.shimane-u.ac.jp) no later than January 31, 2012.

                Registration Form of 36th TRS meeting


* title of talk:
* approximate duration of talk (in minutes):

Will you attend the banquet on Feb.28: [yes/no]

The items marked with * can be sent later.

[Munehiro Iwami] [Interdisciplinary Faculty of Science and Engineering] [Shimane University]