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) | |
| break | |
| 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) | |
| break | |
| 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) | |
| break | |
| Proving Termination of Functional Programs with Exception Handling | |
| Takeshi Hamaguchi (Nagoya University) | |
| break | |
| On determinazation of conditional rewrite systems | |
| Masahiko Sakai (Nagoya University) | |
| break | |
| Semi-unification | |
| 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
name:
affiliation:
* 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.