Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
VenueHotel Scandic Berlin Potsdamer Platz
Room namePine
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Thu 22 Aug

mlfamilyworkshop-2019-papers
09:00 - 10:00: ML 2019 - Session 1 at Pine
Chair(s): KC SivaramakrishnanIndian Institute of Technology, Madras
mlfamilyworkshop-2019-papers09:00 - 10:00
Talk
Grant PassmoreImandra Inc.
mlfamilyworkshop-2019-papers
10:30 - 12:00: ML 2019 - Session 2 at Pine
Chair(s): Andreas RossbergDfinity
mlfamilyworkshop-2019-papers10:30 - 10:55
Talk
Alban ReynaudENS Lyon, Gabriel SchererINRIA Saclay, Jeremy YallopUniversity of Cambridge, UK
Pre-print
mlfamilyworkshop-2019-papers10:55 - 11:20
Talk
Oleg Kiselyov, Jeremy YallopUniversity of Cambridge, UK
Pre-print
mlfamilyworkshop-2019-papers11:20 - 11:45
Talk
Frank EmrichThe University of Edinburgh, Sam LindleyThe University of Edinburgh and Imperial College London, Jan StolarekUniversity of Edinburgh, UK, James CheneyUniversity of Edinburgh, UK
tyde-2019-papers
11:20 - 11:45: TyDe 2019 - Presented at ML Workshop at Pine
tyde-2019-papers11:20 - 11:45
Talk
Frank EmrichThe University of Edinburgh, Sam LindleyThe University of Edinburgh and Imperial College London, Jan StolarekUniversity of Edinburgh, UK, James CheneyUniversity of Edinburgh, UK
Pre-print
mlfamilyworkshop-2019-papers
13:30 - 15:00: ML 2019 - Session 3 at Pine
Chair(s): Zoe ParaskevopoulouPrinceton University
mlfamilyworkshop-2019-papers13:30 - 13:55
Talk
Steven CheungUniversity of Birmingham, UK
File Attached
mlfamilyworkshop-2019-papers13:55 - 14:20
Talk
Jean-Baptiste JeanninUniversity of Michigan, USA
File Attached
mlfamilyworkshop-2019-papers14:20 - 14:45
Talk
Pre-print
mlfamilyworkshop-2019-papers
15:20 - 16:30: ML 2019 - Session 4 at Pine
Chair(s): Gabriel SchererINRIA Saclay
mlfamilyworkshop-2019-papers15:20 - 15:45
Talk
Robert AtkeyUniversity of Strathclyde, Ioan LucaUniversity of Strathclyde
File Attached
mlfamilyworkshop-2019-papers15:45 - 16:10
Talk
File Attached
mlfamilyworkshop-2019-papers
16:50 - 18:15: ML 2019 - Session 5 at Pine
Chair(s): Edwin BradyUniversity of St. Andrews, UK
mlfamilyworkshop-2019-papers16:50 - 17:15
Talk
John ReppyUniversity of Chicago, Mona ZahirUniversity of Chicago
Pre-print
mlfamilyworkshop-2019-papers17:15 - 17:40
Talk
Tom RidgeUniversity of Leicester, UK
File Attached
mlfamilyworkshop-2019-papers17:40 - 18:05
Talk
Yutaka NagashimaData61, Australia
File Attached

Fri 23 Aug

ocaml-2019-papers
09:00 - 10:00: OCaml 2019 - Ecosystem at Pine
Chair(s): David AllsoppUniversity of Cambridge
ocaml-2019-papers09:00 - 09:05
Day opening
David AllsoppUniversity of Cambridge
ocaml-2019-papers09:05 - 09:30
Talk
Xavier LeroyCollège de France
ocaml-2019-papers09:30 - 10:00
Talk
Anil MadhavapeddyOCaml Labs, Gemma GordonUniversity of Cambridge
ocaml-2019-papers
10:30 - 12:00: OCaml 2019 - Applications at Pine
Chair(s): Igor Pikovets
ocaml-2019-papers10:30 - 10:55
Talk
Marcello SeriBernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, Ta-Chu KaoComputational and Biological Learning Lab, Department of Engineering, University of Cambridge
ocaml-2019-papers10:55 - 11:20
Talk
ocaml-2019-papers11:20 - 11:45
Talk
Jianxin ZhaoUniversity of Cambridge
ocaml-2019-papers
13:30 - 15:00: OCaml 2019 - Tools at Pine
Chair(s): Thomas GazagnaireTarides
ocaml-2019-papers13:30 - 13:55
Talk
ocaml-2019-papers13:55 - 14:20
Talk
Nathan ReboursTarides, Jeremie DiminoJane Street Europe, Xavier Clercocamljava.org, Carl EastlundJane Street Europe
ocaml-2019-papers14:20 - 14:45
Talk
Tom KellyOCaml Labs
ocaml-2019-papers
15:20 - 16:50: OCaml 2019 - Experience at Pine
Chair(s): Gemma GordonUniversity of Cambridge
ocaml-2019-papers15:20 - 15:45
Talk
ocaml-2019-papers15:45 - 16:10
Talk
ocaml-2019-papers16:10 - 16:35
Talk

Thu 22 Aug 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Pine
09:00 - 10:00
10:30 - 12:00
13:30 - 15:00
15:20 - 16:30
16:50 - 18:15

Fri 23 Aug 2019

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Pine
09:00 - 10:00
10:30 - 12:00
13:30 - 15:00
15:20 - 16:50