ICFP 2023 - Tutorials

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

No information available yet.

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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

You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 8 Sep
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30	Tutorial: Vehicle - A Specification Language for Neural Network Properties (1)Tutorials at St Helens

09:00 90m Tutorial		Vehicle - A Specification Language for Neural Network Properties Tutorials Ekaterina Komendantskaya Heriot-Watt University and Southampton University, Matthew L. Daggitt Heriot-Watt University, Wen Kokke University of Edinburgh Pre-print

	10:30 - 11:00	Coffee BreakICFP Catering and Social at Grand Foyer

11:00 - 12:30	Tutorial: Vehicle - A Specification Language for Neural Network Properties (2)Tutorials at St Helens

11:00 90m Tutorial		Vehicle - A Specification Language for Neural Network Properties Tutorials Ekaterina Komendantskaya Heriot-Watt University and Southampton University, Matthew L. Daggitt Heriot-Watt University, Wen Kokke University of Edinburgh Pre-print

	12:30 - 14:00	LunchICFP Catering and Social at Grand Ballroom 1

14:00 - 15:30	Tutorial: Porting Lwt applications to OCaml 5 and Eio (1)Tutorials at St Helens

14:00 90m Tutorial		Porting Lwt applications to OCaml 5 and Eio Tutorials Thomas Leonard Tarides, Jonathan Ludlam University of Cambridge

	15:30 - 16:00	Coffee BreakICFP Catering and Social at Grand Foyer

16:00 - 17:30	Tutorial: Porting Lwt applications to OCaml 5 and Eio (2)Tutorials at St Helens

16:00 90m Tutorial		Porting Lwt applications to OCaml 5 and Eio Tutorials Thomas Leonard Tarides, Jonathan Ludlam University of Cambridge

Sat 9 Sep
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30	Tutorial: Teaching Functional Programming (1)Tutorials at St Helens

09:00 90m Tutorial		Teaching Functional Programming Tutorials Michael Sperber Active Group GmbH

	10:30 - 11:00	Coffee BreakICFP Catering and Social at Grand Foyer

11:00 - 12:30	Tutorial: Teaching Functional Programming (2)Tutorials at St Helens

11:00 90m Tutorial		Teaching Functional Programming Tutorials Michael Sperber Active Group GmbH

	12:30 - 14:00	LunchICFP Catering and Social at Grand Ballroom 1

14:00 - 15:30	Tutorial: Teaching and Learning Compilers Incrementally (1)Tutorials at St Helens

14:00 90m Tutorial		Teaching and Learning Compilers Incrementally Tutorials Jeremy G. Siek Indiana University, USA Pre-print

	15:30 - 16:00	Coffee BreakICFP Catering and Social at Grand Foyer

16:00 - 17:30	Tutorial: Teaching and Learning Compilers Incrementally (2)Tutorials at St Helens

16:00 90m Tutorial		Teaching and Learning Compilers Incrementally Tutorials Jeremy G. Siek Indiana University, USA Pre-print

Accepted Tutorials

	Title
	Porting Lwt applications to OCaml 5 and Eio Tutorials Thomas Leonard, Jonathan Ludlam
	Teaching and Learning Compilers Incrementally Tutorials Jeremy G. Siek Pre-print
	Teaching Functional Programming Tutorials Michael Sperber
	Vehicle - A Specification Language for Neural Network Properties Tutorials Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke Pre-print

TutorialsICFP 2023

Fri 8 Sep
Displayed time zone: Pacific Time (US & Canada) change

Sat 9 Sep
Displayed time zone: Pacific Time (US & Canada) change

Accepted Tutorials

Nikhil Swamy

Microsoft Research

United States

Sam Lindley

University of Edinburgh

United Kingdom

Arthur Azevedo de Amorim

Rochester Institute of Technology, USA

United States

Yannick Forster

Inria

France

Tracks

Workshops

Co-hosted Symposia

TutorialsICFP 2023

Program Display Configuration

Fri 8 SepDisplayed time zone: Pacific Time (US & Canada) change

Sat 9 SepDisplayed time zone: Pacific Time (US & Canada) change

Accepted Tutorials

Nikhil Swamy

Microsoft Research

United States

Sam Lindley

University of Edinburgh

United Kingdom

Arthur Azevedo de Amorim

Rochester Institute of Technology, USA

United States

Yannick Forster

Inria

France

Fri 8 Sep
Displayed time zone: Pacific Time (US & Canada) change

Sat 9 Sep
Displayed time zone: Pacific Time (US & Canada) change