Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Filter
Dates
Rooms
Tracks
Badges
Your 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) and Deon Digital
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

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
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)