1st Mini-Workshop on Rewriting Techniques
Information
| date: | August 1, 2008 |
| tentative time: | 10:00 -- 16:00 |
| venue: | School of Information Science Japan Advanced Institute of Science and Technology 1-1 Nomi, Ishikawa, 923-1292, Japan |
| room: | Seminar room on the 6th floor of Information Science |
Access to JAIST
Please see Location and Access (JAIST homepage).
Program
| 10:00 - 10:30 25 min |
Recognizability of Redexes for Higher-Order Rewrite Systems
Hideto Kasuya (Aichi Prefectural University) |
| 10:30 - 11:05 30 min |
KBO revisited
Nao Hirokawa (JAIST) |
| 11:15 - 12:00 45 min |
Multi-Completion with Termination Tools
Aart Middeldorp (University of Innsbruck) |
| 13:15 - 14:00 40 min |
Matrix Interpretations May Induce Polynomial Complexity
Georg Moser (University of Innsbruck) |
| 14:00 - 14:45 40 min |
Antichain for Visibly Pushdown Automata
Mizuhito Ogawa (JAIST) |
| 14:45 - 15:20 30 min |
On Decidability of Innermost Termination for Shallow Term Rewriting Systems
Masahiko Sakai (Nagoya University) |
Contact
Nao Hirokawa (JAIST)| phone: | +81-761-51-1277 |
| email: | hirokawa@jaist.ac.jp |