42nd TRS Meeting

February 7 – 9, 2015
Chuo, Tokyo, Japan


Meeting room:   Room 534 (5th floor)
Length of talk:   30 minutes

Saturday, February 7

14:00 Registration (at the reception desk)
14:30 Opening
14:30 – 16:00 Free discussion
15:30 Coffee break
16:00 – 17:00 Session 1 (chair: Akihisa Yamada)
Derivational Complexity vs. Minimal Function Graphs
Naohi Eguchi(Chiba University)
Formalization of Safety Requirement for ISO 26262
Yuki Chiba(JAIST)
18:00 Banquet   (Lounge, ground floor)

Sunday, February 8

10:15 – 12:00 Session 2 (chair: Yuki Chiba)
Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules
Aart Middeldorp(University of Innsbruck)
Confluence via Church-Rosser Modulo
Nao Hirokawa(JAIST)
Some Results on Confluence of Left-Linear TRSs
Michio Oyamaguchi(Nagoya University)
12:00 Lunch   (Restaurant Diamond, ground floor)
13:30 – 15:30 Free discussion
15:00 Coffee break
15:30 – 17:00 Session 3 (chair: Naohi Eguchi)
Why Ordinals are Sometimes Good for You
Georg Moser(University of Innsbruck)
Confluence proofs for lambda calculi with permutative conversion
Koji Nakazawa(Kyoto University)
A heuristic procedure for inverse unfold problem
Masahiko Sakai(Nagoya University)
18:00 Dinner   (Restaurant Diamond, ground floor)

Monday, February 9

10:00 – 11:30 Session 4 (chair: Nao Hirokawa)
SAT Solvers in Combinatorial Testing
Akihisa Yamada(AIST)
Proving ground confluence by rewriting induction
Yoshihito Toyama(Tohoku University)
Proving Ground Confluence of TRSs Automatically
Takahito Aoto(Tohoku University)
11:30 Closing

[Back to Top]   [Back to Home]