From CakeML to Proof Checking, and Back Again (ML Family Workshop 2025 - Higher-order, Typed, Inferred, Strict: ML Family Workshop 2025) - ICFP/SPLASH 2025

Sun 12 - Sat 18 October 2025 Singapore

Track

ML Family Workshop 2025

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Thu 16 Oct 2025 14:45 - 15:30 at Peony NE - ML Workshop 2

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Thu 16 Oct
Displayed time zone: Perth change

	13:45 - 15:30	ML Workshop 2ML Family Workshop at Peony NE

	13:45 30m Talk		Freezing Bidirectional Typing (Extended Abstract) ML Family Workshop Wenhao Tang The University of Edinburgh, Shengyi Jiang The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Sam Lindley The University of Edinburgh
	14:15 30m Talk		A typed approach to ontology manipulation (experience report) ML Family Workshop Davide Camino University of Torino, Italy, Andrea Zito University of Torino, Italy, Viviana Bono University of Torino, Lorenzo Bafunno University of Torino, Italy, Lorenzo Pasini University of Torino, Italy, Emanuele Rovaretto University of Torino, Italy
	14:45 45m Talk		From CakeML to Proof Checking, and Back AgainInvited Talk ML Family Workshop Yong Kiam Tan Institute for Infocomm Research, A*STAR

Yong Kiam Tan

Institute for Infocomm Research, A*STAR