Workshop Programme

Saturday 4th July

09:30 to 10:30:
Session One
09:30
Invited Talk: Hiroshi Unno
Higher-order Program Verification as Refinement Type Inference
10:30 to 11:00
Coffee Break
11:00 to 12:30
Session Two
11:00
Invited Talk: Andrzej Murawski
Games for Equivalence Checking of Higher-Order Programs
12:00
Charles Grellois and Paul-André Melliès
12:30 to 14:00
Lunch Break
14:00 to 15:30
Session Three
14:30
Ryosuke Sato, Kazuyuki Asada and Naoki Kobayashi
15:00
Matthew Hague and Vincent Penelle