Last modified: Sep 14, 2011

35th TRS meeting

About TRS meeting

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. Please see the web site for TRS meeting for more info.

Information

Date: September 12 (Mon) - 14 (Wed), 2011
Venue: Room 588, 5F in IB (Integrated Building) south building (#65, another map)
Nagoya University Higashiyama Campus
Furo-cho, Chikusa-ku, 464-8603 Nagoya, Japan

Access Information

Our campus has a metro station Nagoya Daigaku on Meijo Line. The exit #3 is connected with IB central building where you can see the map of IB buildings.

Please see Access Information.

Participants

Takahito Aoto (Tohoku University)
Yuki Chiba (JAIST)
Nao Hirokawa (JAIST)
Munehiro Iwami (Shimane University)
Dominik Klein (JAIST)
Naoki Nishida (Nagoya University)
Masahiko Sakai (Nagoya University)
Tsubasa Sakata (Nagoya University)
Haruhiko Sato (Hokkaido University)
Shoji Yuen (Nagoya University)

Program

   September 12 (Monday)

14:00

Opening
14:00 - 15:50 Session 1 (chair: N. Nishida)
Usable Replacement Maps
Nao Hirokawa (JAIST)
Disproving General Productivity Automatically in Infinitary Term Rewriting Systems
Munehiro Iwami (Shimane University)

15:50 - 16:00 break

16:00 - 16:40 Session 2 (chair: N. Nishida)
On Proving Termination of Constrained TRSs by Eliminating Edges from Dependency Graphs
Tsubasa Sakata (Nagoya University)

16:40 - 17:00 break

17:00 - 17:30 free discussion

   September 13 (Tuesday)

10:00 - 12:00 Session 3 (chair: M. Sakai)
A process algebra compiler with negative premises
Shoji Yuen (Nagoya University)
Conditions for Church-Rosser modulo Theory
Dominik Klein (JAIST)

12:00 - 14:00 lunch

14:00 - 15:20 Session 4 (chair: N. Hirokawa)
On Soundness of CTRS Transformations
Naoki Nishida (Nagoya University)
New Encodings of Pseudo-Boolean Constraints into CNF (by Olivier Bailleux, Yacine Boufkhad, and Olivier Roussel)
Masahiko Sakai (Nagoya University)

15:20 - 15:30 break

15:30 - 17:30 Session 5 (chair: Y. Chiba)
Proving Confluence of Term Rewriting Systems Containing Reversible Rules
Takahito Aoto (Tohoku University)
On Verifying Equivalence between Functions in Constrained TRSs via Tree Homomorphisms
Naoki Nishida (Nagoya University)

17:30 - 18:00 free discussion

18:30 - 20:30 Banquet

   September 14 (Wednesday)

9:50 - 10:05 Anouncements
RTA 2012 (M. Sakai)
Confluence Competition 2012 (N. Hirokawa)

10:05 - 12:10 Session 6 (chair: T. Aoto)
Pattern Matching Algorithm for Higher-Order Program Transformation
Yuki Chiba (JAIST)
Recognition of Normal Forms for Sound Generalization
Haruhiko Sato (Hokkaido University)

12:10 Closing

Banquet

Date: 18:30 on September 13 (Tue), 2011
Venue: Shirakawa (Imaike Gas Building) [しら河 今池ガスビル店]
http://www.hitsumabushi.jp/imaike.htm
http://loco.yahoo.co.jp/place/63d9cf4416e053901c635e0b5430b1a5f88fde4d/?

The building is connected with the exit #10 of the metro station Imaike on Higashiyama Line.

Mini-Kaiseki [ミニ会席] is ordered, that includes "Hitsumabushi".

Lunch

lunch map (in Japanese, not complete)

Registration

Please send the following registration form to Naoki Nishida (nishida @ is.nagoya-u.ac.jp) by September 2, 2011:
Don't hesitate to contact the organizer if you missed the deadline.

-----------------------------------------------------------------------
           Registration Form for the 35th TRS meeting

  Name: 
  Affiliation: 

  Title of talk: 
  Approximate duration of talk:

  Will you attend the banquet? yes/no

-----------------------------------------------------------------------
The title and duration can be sent later.

Contact

Naoki Nishida (Nagoya University)
Phone: +81-52-789-5141
E-mail: nishida @ is.nagoya-u.ac.jp