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)
- Printed ones are available in the meeting room.
- A few restaurants are around the campus.
- Canteens (#1, #2, #5, #7, #8) inside the campus are convenient.
- The closest food place is "IB Cafe" (#6) where light meals are served.
- The restaurant "Hana-no-Ki (花の木)" (#4) is closed on September.
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 |