Write a Blog >>
HOPE 2017
Sun 3 Sep 2017 Oxford, United Kingdom
co-located with ICFP 2017
VenueMathematical Institute
Room nameL1
Floor0
Room number
Capacity360
Additional informationThere is no additional information of this room available.
Program

Sun 3 Sep

PLMW-ICFP-2017
09:00 - 09:10: PLMW 2017 - Welcome at L1
Chair(s): Brigitte Pientka
PLMW-ICFP-2017150442200000009:00 - 09:10
Talk
PLMW-ICFP-2017
09:10 - 10:00: PLMW 2017 - Keynote at L1
Chair(s): Neelakantan R. Krishnaswami
PLMW-ICFP-2017150442260000009:10 - 10:00
Talk
PLMW-ICFP-2017
10:30 - 11:30: PLMW 2017 - Session 1 at L1
PLMW-ICFP-2017150442740000010:30 - 11:00
Talk
PLMW-ICFP-2017150442920000011:00 - 11:30
Talk
File Attached
PLMW-ICFP-2017
12:00 - 12:30: PLMW 2017 - Session 2 at L1
PLMW-ICFP-2017150443280000012:00 - 12:30
Talk
File Attached
PLMW-ICFP-2017
14:00 - 15:00: PLMW 2017 - Session 3 at L1
PLMW-ICFP-2017150444000000014:00 - 14:30
Talk
File Attached
PLMW-ICFP-2017150444180000014:30 - 15:00
Talk
File Attached
PLMW-ICFP-2017
15:30 - 16:30: PLMW 2017 - Session 4 at L1
PLMW-ICFP-2017150444540000015:30 - 16:30
Talk
Media Attached
PLMW-ICFP-2017
16:50 - 17:40: PLMW 2017 - Session 5 at L1
PLMW-ICFP-2017150445020000016:50 - 17:40
Talk

Mon 4 Sep

icfp-2017-Keynote-Talks
09:00 - 10:00: Keynotes and Reports - Monday Keynote at L1
Chair(s): Jeremy Gibbons
icfp-2017-Keynote-Talks150450840000009:00 - 10:00
Talk
icfp-2017-papers
13:00 - 14:30: Research Papers - Functional Programming Techniques at L1
Chair(s): Graham Hutton
icfp-2017-papers150452280000013:00 - 13:22
Talk
DOI
icfp-2017-papers150452415000013:22 - 13:45
Talk
DOI
icfp-2017-papers150452550000013:45 - 14:07
Talk
DOI
icfp-2017-papers150452685000014:07 - 14:30
Talk
DOI
icfp-2017-Keynote-Talks
18:10 - 18:20: Keynotes and Reports - Monday Closing Events at L1
Chair(s): Peter Thiemann
icfp-2017-Keynote-Talks150454140000018:10 - 18:20
Day closing

Tue 5 Sep

icfp-2017-Keynote-Talks
09:00 - 10:00: Keynotes and Reports - Tuesday Keynote at L1
Chair(s): Mark Jones
icfp-2017-Keynote-Talks150459480000009:00 - 10:00
Talk
icfp-2017-papers
16:40 - 17:50: Research Papers - Program Construction at L1
Chair(s): John Hughes
icfp-2017-papers150462240000016:40 - 17:03
Talk
DOI
icfp-2017-papers150462380000017:03 - 17:26
Talk
DOI
icfp-2017-papers150462520000017:26 - 17:50
Talk
DOI Pre-print
icfp-2017-Keynote-Talks
17:50 - 18:20: Keynotes and Reports - Tuesday Closing Events at L1
icfp-2017-Keynote-Talks150462660000017:50 - 18:20
Talk

Wed 6 Sep

icfp-2017-Student-Research-Competition
09:00 - 09:37: Student Research Competition - SRC Presentations at L1
Chair(s): Ilya Sergey
icfp-2017-Student-Research-Competition150468120000009:00 - 09:37
Awards
icfp-2017-papers
09:37 - 10:00: Research Papers - Domain-Specific Languages at L1
Chair(s): Martin Erwig
icfp-2017-papers150468342000009:37 - 10:00
Talk
DOI
icfp-2017-papers
13:00 - 14:30: Research Papers - Contracts and Sessions at L1
Chair(s): Matthew Flatt
icfp-2017-papers150469560000013:00 - 13:22
Talk
DOI
icfp-2017-papers150469695000013:22 - 13:45
Talk
DOI
icfp-2017-papers150469830000013:45 - 14:07
Talk
DOI
icfp-2017-papers150469965000014:07 - 14:30
Talk
DOI
icfp-2017-papers
15:00 - 16:10: Research Papers - Integrating Static and Dynamic Typing at L1
Chair(s): Ronald Garcia
icfp-2017-papers150470280000015:00 - 15:23
Talk
DOI
icfp-2017-papers150470420000015:23 - 15:46
Talk
DOI
icfp-2017-papers150470560000015:46 - 16:10
Talk
DOI
icfp-2017-papers
16:40 - 17:50: Research Papers - Inference and Analysis at L1
Chair(s): Mark Jones
icfp-2017-papers150470880000016:40 - 17:03
Talk
DOI
icfp-2017-papers150471020000017:03 - 17:26
Talk
DOI
icfp-2017-papers150471160000017:26 - 17:50
Talk
DOI
icfp-2017-Student-Research-Competition
17:50 - 18:00: Student Research Competition - SRC Awards at L1
Chair(s): Ilya Sergey
icfp-2017-Student-Research-Competition150471300000017:50 - 18:00
Awards
icfp-2017-Keynote-Talks
18:00 - 18:20: Keynotes and Reports - Wednesday Closing Events at L1
icfp-2017-Keynote-Talks150471360000018:00 - 18:10
Talk
icfp-2017-Keynote-Talks150471420000018:10 - 18:20
Talk

Thu 7 Sep

haskellsymp-2017-papers
09:00 - 10:00: Haskell 2017 - Day 1, Session 1 at L1
haskellsymp-2017-papers150476760000009:00 - 10:00
Talk
haskellsymp-2017-papers
10:30 - 11:30: Haskell 2017 - Day 1, Session 2 at L1
haskellsymp-2017-papers150477300000010:30 - 11:00
Talk
haskellsymp-2017-papers150477480000011:00 - 11:30
Talk
haskellsymp-2017-papers
12:00 - 12:30: Haskell 2017 - Day 1, Session 3 at L1
haskellsymp-2017-papers150477840000012:00 - 12:30
Talk
haskellsymp-2017-papers
15:30 - 16:30: Haskell 2017 - Day 1, Session 5 at L1
haskellsymp-2017-papers150479100000015:30 - 16:00
Talk
haskellsymp-2017-papers150479280000016:00 - 16:30
Talk
haskellsymp-2017-papers
16:50 - 17:50: Haskell 2017 - Day 1, Session 6 at L1
haskellsymp-2017-papers150479580000016:50 - 17:20
Talk
haskellsymp-2017-papers150479760000017:20 - 17:50
Talk

Fri 8 Sep

haskellsymp-2017-papers
09:00 - 10:00: Haskell 2017 - Day 2, Session 1 at L1
haskellsymp-2017-papers150485400000009:00 - 10:00
Talk
haskellsymp-2017-papers
10:30 - 11:30: Haskell 2017 - Day 2, Session 2 at L1
haskellsymp-2017-papers150485940000010:30 - 11:00
Talk
haskellsymp-2017-papers150486120000011:00 - 11:30
Talk
haskellsymp-2017-papers
12:00 - 12:30: Haskell 2017 - Day 2, Session 3 at L1
haskellsymp-2017-papers150486480000012:00 - 12:30
Talk
haskellsymp-2017-papers
14:00 - 15:00: Haskell 2017 - Day 2, Session 4 at L1
haskellsymp-2017-papers150487200000014:00 - 14:30
Talk
haskellsymp-2017-papers150487380000014:30 - 15:00
Talk
haskellsymp-2017-papers
15:30 - 16:30: Haskell 2017 - Day 2, Session 5 at L1
haskellsymp-2017-papers150487740000015:30 - 16:00
Talk
haskellsymp-2017-papers150487920000016:00 - 16:30
Talk
haskellsymp-2017-papers
16:50 - 17:50: Haskell 2017 - Day 2, Session 6 at L1
haskellsymp-2017-papers150488220000016:50 - 17:20
Talk
haskellsymp-2017-papers150488400000017:20 - 17:50
Talk

Sat 9 Sep

hiw-2017
09:00 - 10:10: HIW 2017 - State of GHC at L1
Chair(s): Richard A. Eisenberg
hiw-2017150494040000009:00 - 09:30
Talk
hiw-2017150494220000009:30 - 10:00
Talk
hiw-2017150494400000010:00 - 10:10
Talk
hiw-2017
10:30 - 11:30: HIW 2017 - Compiling to LLVM at L1
Chair(s): Jan Stolarek
hiw-2017150494580000010:30 - 10:55
Talk
hiw-2017150494730000010:55 - 11:20
Talk
hiw-2017150494880000011:20 - 11:30
Talk
hiw-2017
12:00 - 12:25: HIW 2017 - Constraints at L1
Chair(s): Ben Gamari
hiw-2017150495120000012:00 - 12:25
Talk
hiw-2017
14:00 - 15:00: HIW 2017 - Working in Core at L1
Chair(s): Adam Gundry
hiw-2017150495840000014:00 - 14:25
Talk
hiw-2017150495990000014:25 - 14:50
Talk
hiw-2017150496140000014:50 - 15:00
Talk
hiw-2017
15:30 - 16:30: HIW 2017 - Tool Support at L1
Chair(s): Wren Romano
hiw-2017150496380000015:30 - 15:55
Talk
hiw-2017150496530000015:55 - 16:20
Talk
hiw-2017150496680000016:20 - 16:30
Talk
hiw-2017
16:50 - 17:50: HIW 2017 - All Broken Up at L1
Chair(s): Bartosz Nitka
hiw-2017150496860000016:50 - 17:15
Talk
hiw-2017150497010000017:15 - 17:50
Talk

Sun 3 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
L1

PLMW 2017

Welcome
09:00 - 09:10

PLMW 2017

Keynote
09:10 - 10:00

PLMW 2017

Session 1
10:30 - 11:30

PLMW 2017

Session 2
12:00 - 12:30

PLMW 2017

Session 3
14:00 - 15:00

PLMW 2017

Session 4
15:30 - 16:30

PLMW 2017

Session 5
16:50 - 17:40

Mon 4 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
L1

Thu 7 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
L1

Fri 8 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
L1

Sat 9 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
L1

HIW 2017

Constraints
12:00 - 12:25

Sun 3 Sep 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
L1
09:00 - 09:10
09:10 - 10:00

Mon 4 Sep 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
L1

Wed 6 Sep 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
L1