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) Greenwich Mean Time : Belfast.

Use conference time zone: (GMT) Greenwich Mean Time : BelfastSelect other time zone

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