Final Meeting

20 – 23 February, Kira Onsen   photo

Participants

AIST

• Akihisa Yamada

JAIST

• Nao Hirokawa
• René Thiemann

Nagoya University

• Misaki Kojima
• Naoki Nishida
• Shujun Zhang

Niigata University

• Takahito Aoto

University of Innsbruck

• Dohan Kim
• Aart Middeldorp
• Fabian Mitterwallner
• Jonas Schöpf
• René Thiemann

Presentations

Tuesday 20 February

15:00 – 17:00    session 1

• Aart Middeldorp slides (4-up)    "ARI: Past, Present, Future"
• Nao Hirokawa slides (4-up)    "Duplicate Check"
• free discussion

Wednesday 21 February

09:00 – 12:00    session 2

• Takahito Aoto slides (4-up)    "Interpreting LCTRSs in TRSs"
• Jonas Schöpf slides (4-up)    "Logically Constrained Analysis in CREST"
• Naoki Nishida & Misaki Kojima slides (4-up)    "BV-LCTRSs Obtained from Concurrent Programs"
• Shujun Zhang slides (4-up)    "GCR Examples from Transformation of Cyclic Proofs into RI Proofs"

14:00 – 17:00

• free discussion

Thursday 22 February

09:00 – 12:00    session 3

• Dohan Kim slides (4-up)    "Isabelle/HOL Formalization of Narrowing and Applications to E-Unifiability, Reachability and Infeasibility"
• Teppei Saito slides (4-up)    "Certification of Completion-Based Infeasibility Proofs"
• Fabian Mitterwallner slides (4-up)    "LiveView – Work in Progress"
• René Thiemann slides (4-up)    "CeTA 3.0 – Improved Support for ARI, CoCo and Infeasibility"
• Akihisa Yamada slides (4-up)    "ARI adoption in termCOMP"

14:00 – 17:00

• free discussion

Friday 23 February

9:00 – 12:00

• free discussion