ML 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
co-located with ICFP 2019
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 SivaramakrishnanIIT 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 Stiftung
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