29th TRS Meeting

February 28(Thu), 29(Fri), 2008.
Sanjo Conference Hall, University of Tokyo

Objectives

The TRS meetings are biannual informal workshops aiming to promote research on rewriting and related areas (e.g. term rewriting, lambda calculi, ...). Participants are required to give a talk(s) of approximately 15 - 60 minutes in English. The subject of the talk is not restricted to one's own research; it's perfectly OK to explain another paper in the field of rewriting. (See http://staff.aist.go.jp/hitoshi.ohsaki/rewriting/ for more info.)

Location

Sanjo Conference Hall, Room 001, University of Tokyo
(東京大学山上会館地下会議室001)
地図(Map) 情報
 アクセス (access info.)

Program (tentative)

February 28

10:00-12:30

Jeroen Ketema (Tohoku University)
On Fully-Extendedness in Infinitary Higher-Order Rewriting
Nao Hirokawa (JAIST)
Automated Complexity Analysis based on the Dependency Pair Method
Keisuke Nakano (University of Tokyo)
ρ-Property of Combinators

12:30-14:00

Lunch

14:00-16:30

Yuki Chiba (Tohoku University)
Automated Construction of Transformation Templates by Second-Order Generalization Algorithm
Zhenjiang Hu (University of Tokyo)
Towards Bidirectional Graph Transformation
Tetsuo Ida (Tsukuba University)
Rewrite Techniques in Origami Construction and Theorem Proving

16:30-17:00

Free Discussion

18:00-

Party

February 29

10:00-12:30

Takahito Aoto (Tohoku University)
Rewriting Induction for Non-Orientable Conjectures
Kazutaka Matsuda (University of Tokyo)
Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions
Junichi Yoshida (Tohoku University)
Automating Confluence Check of Term Rewriting Systems

12:30-14:00

Lunch

14:00-16:30

Kentaro Kikuchi (Tohoku University)
On a Cut-Elimination Procedure that Simulates β-Reduction
Akimasa Morihata (University of Tokyo)
A Quantifier-Elimination-Based Method for Parallelization
Makoto Hamana (Gunma University)
Term Syntax for Cyclic Sharing Structures

16:30-16:50

Free discussion

16:50

Closing

Participants

Takahito Aoto* (Tohoku University)
Jeroen Ketema* (Tohoku University)
Kentaro Kikuchi* (Tohoku University)
Junichi Yoshida* (Tohoku University)
Yuki Chiba* (Tohoku University)
Tetsuo Ida* (Tsukuba University)
Makoto Hamana* (Gunma University)
Nao Hirokawa* (JAIST)
Zhenjiang Hu* (University of Tokyo)
Kazutaka Matsuda* (University of Tokyo)
Keisuke Nakano* (University of Tokyo)
Akimasa Morihata (University of Tokyo)
* ... attending the party

Fee

The participation fee is 2500 yen.

Party

We will have a small party after the meeting on Feb. 28th in some izakaya near the university (the fee will be 3000-4000yen). If you want to participate the party, please mail to me.

Registration

If you want to participate the meeting, please mail to hamana ## ipl.t.u-tokyo.ac.jp (replace ## with @).

Last modified Feb. 28, 2008.
Makoto Hamana Keisuke Nakano