HOPE 2020
Sun 23 - Fri 28 August 2020
co-located with ICFP 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: Eastern Time (US & Canada) change

05:30 - 08:30: EcosystemOCaml at OCaml
Chair(s): Florian AngelettiInria

Infrastructure, tooling, and ecosystem in general.

05:30 - 06:30
Keynote
OCaml
06:30 - 07:00
Talk
OCaml
Thomas LeonardOCaml Labs, Craig FergusonTarides, Kate DeplaixOCaml Labs, Magnus SkjegstadTarides and OCaml Labs, Anil MadhavapeddyOCaml Labs
07:00 - 07:30
Talk
OCaml
Jonathan LudlamUniversity of Cambridge, Gabriel RadanneInria, Leo WhiteJane Street
07:30 - 08:00
Talk
OCaml
Joseph HarrisonUniversity of Kent, UK, Steven VaroumasUniversity of Kent, Simon ThompsonUniversity of Kent, Reuben RoweUniversity College London
08:00 - 08:30
Talk
OCaml
Sadiq JafferOpsian and OCaml Labs, Sudha ParimalaIIT Madras, KC SivaramakrishnanIIT Madras, Tom KellyOCaml Labs, Anil MadhavapeddyOCaml Labs
Pre-print
09:00 - 11:00: ApplicationsOCaml 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.

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

Sharing experience about using OCaml in various scenarios.

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

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

14:00 - 15:00
Keynote
OCaml
15:30 - 17:30: RecitationOCaml at OCaml
Chair(s): Chris CasinghinoDraper Laboratory

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

15:30 - 16:00
Talk
OCaml
Joseph HarrisonUniversity of Kent, UK, Steven VaroumasUniversity of Kent, Simon ThompsonUniversity of Kent, Reuben RoweUniversity College London
16:00 - 16:30
Talk
OCaml
Thomas LeonardOCaml Labs, Craig FergusonTarides, Kate DeplaixOCaml Labs, Magnus SkjegstadTarides and OCaml Labs, Anil MadhavapeddyOCaml Labs
16:30 - 17:00
Talk
OCaml
Jonathan LudlamUniversity of Cambridge, Gabriel RadanneInria, Leo WhiteJane Street
17:00 - 17:30
Talk
OCaml
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: Eastern Time (US & Canada) change

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