Kickoff Meeting

zoom link

Participants

University of Innsbruck

• Gernot Baugartner
• Dohan Kim
• Aart Middeldorp
• Jonas Schöpf
• René Thiemann

AIST

• Akihisa Yamada (online)

JAIST

• Nao Hirokawa

Nagoya University

• Misaki Kojima
• Naoki Nishida
• Shujun Zhang

Niigata University

• Takahito Aoto

Presentations (in 3W04)

Monday (morning, from 10:00)

1. Aart Middeldorp    "ARI: Automation of Rewriting Infrastructure"
2. Nao Hirokawa    "JSPS Overview and Task A (Infrastructure)"

Monday (afternoon, from 13:30)

3. Jonas Schöpf    "Task C: Logically Constrained Rewrite Systems"
4. Misaki Kojima and Naoki Nishida    "File Formats of LCTRSs"
5. Akihisa Yamada    "termCOMP and Formalization of LCTRS"

Wednesday (morning, from 10:00)

6. René Thiemann    "Task B: Formalization and Certification"
7. Takahito Aoto    "Rewriting Induction and Topics Around It"
8. Shujun Zhang    "Application of GCR Tools"

Discussions (in 3W04)

Wednesday (afternoon, from 14:00)

• task A.1 (format)

Thursday (morning, from 10:00)

• task B

Thursday (afternoon, from 13:00)

• task C

Friday (morning, from 9:00)

• free discussion

Social Program

• banquet at 甲斐, Thursday, 6 pm
• (hiking) excursion to Wolfsklamm and St. Georgenberg on Tuesday; departure at 9:30 am from south entrance of ICT building
• (informal) terrace party Aart's place on Tuesday, from 7 pm