ML 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
co-located with ICFP 2019
VenueHotel Scandic Berlin Potsdamer Platz
Room nameReindeer
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 18 Aug

FHPNC-2019-papers
09:00 - 10:20: FHPNC - Accelerate at Reindeer
Chair(s): Dominic SteinitzTweag I/O
FHPNC-2019-papers09:00 - 10:00
Talk
Trevor L. McDonellUtrecht University
FHPNC-2019-papers10:00 - 10:10
Talk
FHPNC-2019-papers10:10 - 10:20
Talk
Jesse SigalUniversity of Edinburgh
FHPNC-2019-papers
10:50 - 12:10: FHPNC - Orthogonal Bases at Reindeer
Chair(s): Gabriele KellerUtrecht University
FHPNC-2019-papers10:50 - 11:16
Talk
Bastian KöpckeUniversity of Münster, Michel SteuwerUniversity of Glasgow, Sergei Gorlatch
Link to publication DOI Pre-print File Attached
FHPNC-2019-papers11:16 - 11:43
Talk
Olivier Verdier, Justus SagemüllerWestern Norway University of Applied Sciences
Link to publication Pre-print
FHPNC-2019-papers11:43 - 12:10
Talk
Wojciech Michal PawlakUniversity of Copenhagen, Denmark, Martin ElsmanUniversity of Copenhagen, Denmark, Cosmin OanceaUniversity of Copenhagen, Denmark
Link to publication
FHPNC-2019-papers
13:40 - 14:50: FHPNC - Machine Learning at Reindeer
Chair(s): Dominic SteinitzTweag I/O
FHPNC-2019-papers13:40 - 14:03
Talk
Duc Minh TranDIKU, University of Copenhagen, Troels HenriksenUniversity of Copenhagen, Denmark, Martin ElsmanUniversity of Copenhagen, Denmark
Link to publication
FHPNC-2019-papers14:03 - 14:26
Talk
FHPNC-2019-papers14:26 - 14:50
Talk
Abhiroop SarkarChalmers University of Technology, Mary Sheeran
FHPNC-2019-papers
15:20 - 16:40: FHPNC - Arrays at Reindeer
Chair(s): Fritz HengleinDepartment of Computer Science, University of Copenhagen (DIKU)
FHPNC-2019-papers15:20 - 15:45
Talk
Sune HellfritzschUniversity of Copenhagen, Niels G. W. SerupDIKU, University of Copenhagen, Troels HenriksenUniversity of Copenhagen, Denmark, Cosmin OanceaUniversity of Copenhagen, Denmark
FHPNC-2019-papers15:46 - 16:13
Talk
Federico PizzutiUniversity of Edinburgh, Michel SteuwerUniversity of Glasgow, Christophe DubachUniversity of Edinburgh
Link to publication DOI Pre-print File Attached
FHPNC-2019-papers16:14 - 16:40
Talk
Markus Aronsson, Koen ClaessenChalmers University of Technology, Mary Sheeran, Nicholas SmallboneChalmers University of Technology, Sweden
FHPNC-2019-papers
17:10 - 18:10: FHPNC - Verification at Reindeer
Chair(s): Gabriele KellerUtrecht University
FHPNC-2019-papers17:10 - 18:10
Talk
Micaela MayeroLIPN, Université Paris 13

Thu 22 Aug

icfp-2019-tutorials
09:00 - 12:00: Tutorials - Tutorials R1 at Reindeer
icfp-2019-tutorials09:00 - 12:00
Tutorial
icfp-2019-tutorials
13:30 - 16:30: Tutorials - Tutorials R2 at Reindeer
icfp-2019-tutorials13:30 - 16:30
Tutorial

Fri 23 Aug

icfp-2019-tutorials
09:00 - 12:00: Tutorials - Tutorials R3 at Reindeer
icfp-2019-tutorials09:00 - 12:00
Tutorial
Philip WadlerUniversity of Edinburgh, UK
icfp-2019-tutorials
13:30 - 16:30: Tutorials - Tutorials R4 at Reindeer
icfp-2019-tutorials13:30 - 16:30
Tutorial
Philip WadlerUniversity of Edinburgh, UK

Sun 18 Aug 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Reindeer
09:00 - 10:20
15:20 - 16:40
17:10 - 18:10

Thu 22 Aug 2019

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Reindeer

Fri 23 Aug 2019

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Reindeer

Thu 22 Aug 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Reindeer

Fri 23 Aug 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Reindeer