ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
VenueCankarjev Dom
Room nameE2
Room InformationNo extra information available
Program

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

Sun 11 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

14:00 - 15:30
Teaching functional programmingTutorials at E2
14:00
90m
Talk
Teaching functional programming
Tutorials
Michael Sperber Active Group GmbH
16:00 - 17:30
Teaching functional programmingTutorials at E2
16:00
90m
Talk
Teaching functional programming
Tutorials
Michael Sperber Active Group GmbH

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:30
OCaml 5 (1)Tutorials at E2
09:00
90m
Tutorial
OCaml 5 for the working programmer
Tutorials
11:00 - 12:30
OCaml 5 (2)Tutorials at E2
11:00
90m
Tutorial
OCaml 5 for the working programmer
Tutorials

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

12:30 - 14:00
OCaml Industry LunchCatering & social at E2
12:30
90m
Social Event
OCaml Industry Lunch
Catering & social

14:00 - 15:30
Verified Quantum ComputingTutorials at E2
14:00
90m
Tutorial
Verified Quantum Computing
Tutorials
Ben Caldwell University of Chicago, Robert Rand University of Chicago
16:00 - 17:30
Verified Quantum ComputingTutorials at E2
16:00
90m
Tutorial
Verified Quantum Computing
Tutorials
Ben Caldwell University of Chicago, Robert Rand University of Chicago

Sun 11 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Room9:003010:003011:003012:0030
E2

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Sun 11 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Room14:0015304515:0015304516:0015304517:00153045
E2

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Room9:0015304510:0015304511:0015304512:00153045
E2

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Room12:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
E2