Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
VenueOnline
Room nameOCaml
Floor0
Additional informationThere is no additional information of this room available.
Program

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

Fri 28 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

ocaml-2020-papers
05:30 - 08:30: OCaml 2020 - Ecosystem at OCaml
Chair(s): Florian AngelettiInria

Infrastructure, tooling, and ecosystem in general.

ocaml-2020-papers05:30 - 06:30
Keynote
ocaml-2020-papers06:30 - 07:00
Talk
Thomas LeonardOCaml Labs, Craig FergusonTarides, Kate DeplaixOCaml Labs, Magnus SkjegstadTarides and OCaml Labs, Anil MadhavapeddyOCaml Labs
ocaml-2020-papers07:00 - 07:30
Talk
Jonathan LudlamUniversity of Cambridge, Gabriel RadanneInria, Leo WhiteJane Street
ocaml-2020-papers07:30 - 08:00
Talk
Joseph HarrisonUniversity of Kent, UK, Steven VaroumasUniversity of Kent, Simon ThompsonUniversity of Kent, Reuben RoweUniversity College London
ocaml-2020-papers08:00 - 08:30
Talk
Sadiq JafferOpsian and OCaml Labs, Sudha ParimalaIIT Madras, KC SivaramakrishnanIIT Madras, Tom KellyOCaml Labs, Anil MadhavapeddyOCaml Labs
Pre-print
ocaml-2020-papers
09:00 - 11:00: OCaml 2020 - Applications at OCaml
Chair(s): Marcello SeriBernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen

Talks about new and existing OCaml applications and libraries.

ocaml-2020-papers09:00 - 09:30
Talk
Jan MidtgaardUniversity of Southern Denmark
ocaml-2020-papers09:30 - 10:00
Talk
Tom RidgeUniversity of Leicester, UK
ocaml-2020-papers10:00 - 10:30
Talk
ocaml-2020-papers10:30 - 11:00
Talk
Markus MottlUnaffiliated
ocaml-2020-papers
11:30 - 13:30: OCaml 2020 - Experience at OCaml
Chair(s): Greta YorshJane Street

Sharing experience about using OCaml in various scenarios.

ocaml-2020-papers11:30 - 12:00
Talk
ocaml-2020-papers12:00 - 12:30
Talk
Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Pre-print
ocaml-2020-papers12:30 - 13:00
Talk
Patrik KellerUniversity of Innsbruck, Marc LassonLexiFi
ocaml-2020-papers13:00 - 13:30
Talk
Paul StecklerO(1) Labs, Matthew RyanO(1) Labs
ocaml-2020-papers
14:00 - 15:00: OCaml 2020 - Keynote II at OCaml
Chair(s): Chris CasinghinoDraper Laboratory

The recitation of the Keynote speech for those who weren’t able to attend the first one.

ocaml-2020-papers14:00 - 15:00
Keynote
ocaml-2020-papers
15:30 - 17:30: OCaml 2020 - Recitation at OCaml
Chair(s): Chris CasinghinoDraper Laboratory

Repeats Session I for those who weren’t able to attend the earlier time slot.

ocaml-2020-papers15:30 - 16:00
Talk
Joseph HarrisonUniversity of Kent, UK, Steven VaroumasUniversity of Kent, Simon ThompsonUniversity of Kent, Reuben RoweUniversity College London
ocaml-2020-papers16:00 - 16:30
Talk
Thomas LeonardOCaml Labs, Craig FergusonTarides, Kate DeplaixOCaml Labs, Magnus SkjegstadTarides and OCaml Labs, Anil MadhavapeddyOCaml Labs
ocaml-2020-papers16:30 - 17:00
Talk
Jonathan LudlamUniversity of Cambridge, Gabriel RadanneInria, Leo WhiteJane Street
ocaml-2020-papers17:00 - 17:30
Talk
Sadiq JafferOpsian and OCaml Labs, Sudha ParimalaIIT Madras, KC SivaramakrishnanIIT Madras, Tom KellyOCaml Labs, Anil MadhavapeddyOCaml Labs
Pre-print

Fri 28 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Room5:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
OCaml