Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
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