2nd Mini-Workshop on Rewriting Techniques
Information
| date: | October 14, 2009 |
| time: | 13:30 -- 17:40 |
| Place: | Room 588, 5F in IB south building Nagoya University Higashiyama Campus Furo-cho, Chikusa-ku, Nagoya, 464-8601, Japan |
Access Information
Please see Access Information.
Program (tentative)
| 13:30 - 14:00 |
An Extension of E-overlapping Notion in Term Rewriting Systems and its Applications
Mitsuhashi Ichiro (Mie Univ.) |
| 14:00 - 14:50 |
Decreasing Diagrams and Relative Termination
Nao Hirokawa (JAIST) |
| 15:20 - 15:50 |
Rewrite based Verification of XML Updates
Florent Jacquemard (INRIA) |
| 16:10 - 17:00 |
Commutative grammar
Hitoshi Ohsaki (AIST) |
| 17:00 - 17:40 |
AC properties checked by term-partition
Dominik Klein (JAIST) |
Contact
Masahiko Sakai (Nagoya University)| phone: | +81-52-789-3803 |
| email: | sakai at is.nagoya-u.ac.jp |
Previous Workshop
| 1st Mini-Workshop on Rewriting Techniques at JAIST |