...

Course Schedule


21st International Summer School Program

2025.06.30

Monday

2025.07.01

Tuesday

2025.07.02

Wednesday

2025.07.03

Thursday

2025.07.04

Friday

09:00-10:00

John Hughes

09:00-10:00

Nobuko Yoshida

09:00-10:00

Moshe Vardi

09:00-10:00

Giuseppe De Giacomo

09:00-10:00

Jinsong Dong

10:00-10:30

Coffee break

10:30-11:30

John Hughes

10:30-11:30

Nobuko Yoshida

10:30-11:30

Nobuko Yoshida

10:30-11:30

Moshe Vardi

10:30-11:30

Jinsong Dong

11:30-14:00

Lunch break

14:00-15:00

Giuseppe De Giacomo

14:00-15:00

Moshe Vardi

14:00-15:00

Nobuko Yoshida

14:00-15:00

John Hughes

14:00-15:00

Moshe Vardi

15:00-15:30

Coffee break

15:30-16:30

Giuseppe De Giacomo

15:30-16:30

John Hughes

15:30-16:30

Panel

15:30-16:30

Jinsong Dong

15:30-16:30

Close Events

17:30-20:00

Spare time

17:30-20:00

Spare time

17:30-20:00

Spare time

17:30-20:00

Banquet

17:30-20:00

-

Courses:
  • Jinsong Dong, Trusted AI and Reasoning Beyond LLM

  • Giuseppe De Giacomo, Game-theoretic Approach to LTLf Planning and Synthesis

  • John Hughes, Property-based testing

  • Moshe Vardi, Logic in Computer Science

  • Nobuko Yoshida, From Binary Session Types to Multiparty Session Types