21th 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 Jingsong 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 Jingsong Dong |
|
11:30-14:00 Lunch break |
||||
|
14:00-15:00 Giuseppe De Giacomo |
14:00-15:00 Moshe Vardi |
14:00-15:00 Panel |
14:00-15:00 John Hughes |
14:00-15:00 Nobuko Yoshida |
|
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 Jingsong Dong |
15:30-16:30 Moshe Vardi |
|
17:30-20:00 Dinner&Spare time |
17:30-20:00 Dinner&Spare time |
17:30-20:00 Dinner&Spare time |
17:30-20:00 Banquet |
17:30-20:00 Close |
Jingsong 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
