Tutorial T1: Writing Verified Programs in CakeML (part 3) (ICFP 2017 - Tutorials)

Blogs (28) >>

Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

Who

Ramana Kumar, Michael Norrish, Scott Owens, Magnus O. Myreen

Track

ICFP 2017 Tutorials

Time Zone

The program is currently displayed in (GMT+01:00) Belfast.

Use conference time zone: (GMT+01:00) BelfastSelect 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

Save

When

Sun 3 Sep 2017 12:00 - 12:30 at L5 - Morning tutorial session 3

Ramana KumarPresenter

Data61 at CSIRO, Australia / UNSW, Australia

Australia

Michael NorrishPresenter

Data61 at CSIRO, Australia / Australian National University, Australia

Australia

Scott OwensPresenter

University of Kent, UK

United Kingdom

Magnus O. MyreenPresenter

Chalmers University of Technology, Sweden

Sweden