Blogs >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 3 Sep

icfp-2017-tutorials
09:00 - 10:00: Tutorials - Morning tutorial session 1 at L5
icfp-2017-tutorials150442200000009:00 - 10:00
Talk
hope-2017-talks
09:00 - 09:10: HOPE 2017 - Welcome at L3
hope-2017-talks150442200000009:00 - 09:10
Day opening
tyde-2017-papers
09:00 - 09:05: TyDe 2017 - Welcome at L2
tyde-2017-papers150442200000009:00 - 09:05
Day opening
PLMW-ICFP-2017
09:00 - 09:10: PLMW 2017 - Welcome at L1
Chair(s): Brigitte Pientka
PLMW-ICFP-2017150442200000009:00 - 09:10
Talk
scheme-2017
09:00 - 09:10: Scheme 2017 - Session 0 at L4
scheme-2017150442200000009:00 - 09:10
Day opening
tyde-2017-papers
09:05 - 10:00: TyDe 2017 - Invited talk at L2
tyde-2017-papers150442230000009:05 - 10:00
Talk
hope-2017-talks
09:10 - 10:00: HOPE 2017 - Invited talk at L3
hope-2017-talks150442260000009:10 - 10:10
Talk
scheme-2017
09:10 - 10:10: Scheme 2017 - Session 1 at L4
scheme-2017150442260000009:10 - 10: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
icfp-2017-catering
10:00 - 10:30: Catering - Sunday coffee break 1 at Catering
icfp-2017-catering150442560000010:00 - 10:30
Coffee break
icfp-2017-tutorials
10:30 - 11:30: Tutorials - Morning tutorial session 2 at L5
icfp-2017-tutorials150442740000010:30 - 11:30
Talk
tyde-2017-papers
10:30 - 11:30: TyDe 2017 - Full papers 1 at L2
tyde-2017-papers150442740000010:30 - 11:00
Talk
tyde-2017-papers150442920000011:00 - 11:30
Talk
hope-2017-talks
10:30 - 11:30: HOPE 2017 - Modular Semantics at L3
hope-2017-talks150442740000010:30 - 11:00
Talk
File Attached
hope-2017-talks150442920000011:00 - 11:30
Talk
File Attached
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
icfp-2017-catering
11:20 - 12:00: Catering - Sunday coffee break 2 at Catering
icfp-2017-catering150443040000011:20 - 12:00
Coffee break
icfp-2017-tutorials
12:00 - 12:30: Tutorials - Morning tutorial session 3 at L5
icfp-2017-tutorials150443280000012:00 - 12:30
Talk
scheme-2017
12:00 - 12:30: Scheme 2017 - Session 3 at L4
scheme-2017150443280000012:00 - 12:30
Talk
hope-2017-talks
12:00 - 12:30: HOPE 2017 - Rust at L3
hope-2017-talks150443280000012:00 - 12:30
Talk
tyde-2017-papers
12:00 - 12:25: TyDe 2017 - Extended abstracts 1 at L2
tyde-2017-papers150443280000012:00 - 12:25
Talk
PLMW-ICFP-2017
12:00 - 12:30: PLMW 2017 - Session 2 at L1
PLMW-ICFP-2017150443280000012:00 - 12:30
Talk
icfp-2017-catering
12:25 - 14:00: Catering - Sunday lunch at Catering
icfp-2017-catering150443430000012:25 - 14:00
Lunch
icfp-2017-tutorials
14:00 - 15:00: Tutorials - Afternoon tutorial session 1 at L5
icfp-2017-tutorials150444000000014:00 - 15:00
Talk
hope-2017-talks
14:00 - 15:00: HOPE 2017 - Effects and Dependent Types at L3
hope-2017-talks150444000000014:00 - 14:30
Talk
hope-2017-talks150444180000014:30 - 15:00
Talk
PLMW-ICFP-2017
14:00 - 15:00: PLMW 2017 - Session 3 at L1
PLMW-ICFP-2017150444000000014:00 - 14:30
Talk
PLMW-ICFP-2017150444180000014:30 - 15:00
Talk
scheme-2017
14:00 - 15:00: Scheme 2017 - Session 4 at L4
scheme-2017150444000000014:00 - 14:45
Talk
scheme-2017150444270000014:45 - 15:00
Talk
icfp-2017-catering
14:50 - 15:30: Catering - Sunday coffee break 3 at Catering
icfp-2017-catering150444300000014:50 - 15:30
Coffee break
icfp-2017-tutorials
15:30 - 16:20: Tutorials - Afternoon tutorial session 2 at L5
icfp-2017-tutorials150444540000015:30 - 16:20
Talk
scheme-2017
15:30 - 16:30: Scheme 2017 - Session 5 at L4
scheme-2017150444540000015:30 - 16:15
Talk
scheme-2017150444810000016:15 - 16:30
Talk
PLMW-ICFP-2017
15:30 - 16:30: PLMW 2017 - Session 4 at L1
PLMW-ICFP-2017150444540000015:30 - 16:30
Talk
tyde-2017-papers
15:30 - 16:20: TyDe 2017 - Extended abstracts 2 at L2
tyde-2017-papers150444540000015:30 - 15:55
Talk
tyde-2017-papers150444690000015:55 - 16:20
Talk
hope-2017-talks
15:30 - 16:30: HOPE 2017 - Effects at L3
hope-2017-talks150444540000015:30 - 16:00
Talk
hope-2017-talks150444720000016:00 - 16:30
Talk
icfp-2017-catering
16:20 - 16:50: Catering - Sunday coffee break 4 at Catering
icfp-2017-catering150444840000016:20 - 16:50
Coffee break
icfp-2017-tutorials
16:50 - 17:50: Tutorials - Afternoon tutorial session 3 at L5
icfp-2017-tutorials150445020000016:50 - 17:50
Talk
tyde-2017-papers
16:50 - 17:40: TyDe 2017 - Extended abstracts 3 at L2
tyde-2017-papers150445020000016:50 - 17:15
Talk
tyde-2017-papers150445170000017:15 - 17:40
Talk
scheme-2017
16:50 - 17:50: Scheme 2017 - Session 6 at L4
scheme-2017150445020000016:50 - 17:20
Talk
scheme-2017150445200000017:20 - 17:50
Day closing
hope-2017-talks
16:50 - 17:40: HOPE 2017 - Monotonicity at L3
hope-2017-talks150445020000016:50 - 17:20
Talk
Pre-print
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-catering
10:00 - 10:30: Catering - Monday coffee break 1 at Catering
icfp-2017-catering150451200000010:00 - 10:30
Coffee break
fscd-2017
10:30 - 10:45: FSCD 2017 - Welcome at L2
fscd-2017150451380000010:30 - 10:45
Other
fscd-2017
10:45 - 11:45: FSCD 2017 - Session 1 at L2
fscd-2017150451470000010:45 - 11:45
Talk
icfp-2017-catering
12:00 - 13:00: Catering - Monday lunch at Catering
icfp-2017-catering150451920000012:00 - 13:00
Lunch
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-catering
14:30 - 15:00: Catering - Monday coffee break 2 at Catering
icfp-2017-catering150452820000014:30 - 15:00
Coffee break
icfp-2017-catering
16:10 - 16:40: Catering - Monday coffee break 3 at Catering
icfp-2017-catering150453420000016:10 - 16:40
Coffee break
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
icfp-2017-Social-Events
18:30 - 20:30: Social Events - Welcome Reception at Foyer
icfp-2017-Social-Events150454260000018:30 - 20:30
Social Event

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-catering
10:00 - 10:30: Catering - Tuesday coffee break 1 at Catering
icfp-2017-catering150459840000010:00 - 10:30
Coffee break
fscd-2017
10:30 - 11:30: FSCD 2017 - Session 5 at L2
fscd-2017150460020000010:30 - 11:30
Talk
fscd-2017
11:30 - 12:00: FSCD 2017 - Session 6 at L2
fscd-2017150460380000011:30 - 12:00
Talk
icfp-2017-catering
12:00 - 13:00: Catering - Tuesday lunch at Catering
icfp-2017-catering150460560000012:00 - 13:00
Lunch
icfp-2017-catering
14:30 - 15:00: Catering - Tuesday coffee break 2 at Catering
icfp-2017-catering150461460000014:30 - 15:00
Coffee break
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 8 at L2
fscd-2017150461640000015:00 - 15:30
Talk
fscd-2017150461820000015:30 - 16:00
Talk
icfp-2017-catering
16:10 - 16:40: Catering - Tuesday coffee break 3 at Catering
icfp-2017-catering150462060000016:10 - 16:40
Coffee break
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
fscd-2017
09:00 - 10:00: FSCD 2017 - Session 10 at L2
fscd-2017150468120000009:00 - 10:00
Talk
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-catering
10:00 - 10:30: Catering - Wednesday coffee break 1 at Catering
icfp-2017-catering150468480000010:00 - 10:30
Coffee break
fscd-2017
10:30 - 12:00: FSCD 2017 - Session 11 at L2
fscd-2017150468660000010:30 - 11:00
Talk
fscd-2017150468840000011:00 - 11:30
Talk
fscd-2017150469020000011:30 - 12:00
Talk
icfp-2017-catering
12:00 - 13:00: Catering - Wednesday lunch at Catering
icfp-2017-catering150469200000012:00 - 13:00
Lunch
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 Pre-print
icfp-2017-papers150469830000013:45 - 14:07
Talk
DOI
icfp-2017-papers150469965000014:07 - 14:30
Talk
DOI
fscd-2017
13:00 - 14:30: FSCD 2017 - Session 12 at L2
fscd-2017150469560000013:00 - 13:30
Talk
fscd-2017150469740000013:30 - 14:00
Talk
fscd-2017150469920000014:00 - 14:30
Talk
icfp-2017-catering
14:30 - 15:00: Catering - Wednesday coffee break 2 at Catering
icfp-2017-catering150470100000014:30 - 15:00
Coffee break
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
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 13 at L2
fscd-2017150470280000015:00 - 15:30
Talk
fscd-2017150470460000015:30 - 16:00
Talk
icfp-2017-catering
16:10 - 16:40: Catering - Wednesday coffee break 3 at Catering
icfp-2017-catering150470700000016:10 - 16:40
Coffee break
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
fscd-2017
16:40 - 17:10: FSCD 2017 - Session 14 at L2
fscd-2017150470880000016:40 - 17:10
Talk
fscd-2017
17:10 - 17:20: FSCD 2017 - Termination and Complexity Competition 2017 at L2
fscd-2017150471060000017:10 - 17:20
Other
fscd-2017
17:20 - 18:10: FSCD 2017 - FSCD General Meeting at L2
fscd-2017150471120000017:20 - 18:10
Meeting
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
icfp-2017-Social-Events
18:30 - 22:30: Social Events - Banquet at Weston Library
icfp-2017-Social-Events150471540000018:30 - 22:30
Social Event

Thu 7 Sep

FHPC-2017-papers
09:00 - 09:10: FHPC 2017 - Welcome to FHPC'17 at L4
FHPC-2017-papers150476760000009:00 - 09:10
Day opening
mlfamilyworkshop-2017-papers
09:00 - 09:05: ML 2017 - Welcome at L3
Chair(s): Sam Lindley
mlfamilyworkshop-2017-papers150476760000009:00 - 09:05
Day opening
fscd-2017
09:00 - 10:00: FSCD 2017 - Session 15 at L2
fscd-2017150476760000009:00 - 10:00
Talk
haskellsymp-2017-papers
09:00 - 10:00: Haskell 2017 - Day 1, Session 1 at L1
haskellsymp-2017-papers150476760000009:00 - 10:00
Talk
cufp-2017-talks
09:00 - 10:00: CUFP 2017 - CUFP Tutorials C1 at L5
Chair(s): Runhang Li
cufp-2017-talks150476760000009:00 - 10:00
Other
cufp-2017-talks
09:00 - 10:00: CUFP 2017 - CUFP Tutorials C2 at L6
Chair(s): Runhang Li
cufp-2017-talks150476760000009:00 - 10:00
Other
mlfamilyworkshop-2017-papers
09:05 - 10:00: ML 2017 - Invited talk at L3
Chair(s): Sam Lindley
mlfamilyworkshop-2017-papers150476790000009:05 - 10:00
Talk
FHPC-2017-papers
09:10 - 10:10: FHPC 2017 - First Keynote at L4
FHPC-2017-papers150476820000009:10 - 10:10
Talk
icfp-2017-catering
10:00 - 10:30: Catering - Thursday coffee break 1 at Catering
icfp-2017-catering150477120000010:00 - 10:30
Coffee break
mlfamilyworkshop-2017-papers
10:30 - 11:45: ML 2017 - Types and modules at L3
mlfamilyworkshop-2017-papers150477300000010:30 - 10:55
Talk
mlfamilyworkshop-2017-papers150477450000010:55 - 11:20
Talk
mlfamilyworkshop-2017-papers150477600000011:20 - 11:45
Talk
fscd-2017
10:30 - 11:59: FSCD 2017 - Session 16 at L2
fscd-2017150477300000010:30 - 11:00
Talk
fscd-2017150477480000011:00 - 11:30
Talk
fscd-2017150477660000011:30 - 11:59
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
cufp-2017-talks
10:30 - 11:30: CUFP 2017 - CUFP Tutorials C2 at L6
cufp-2017-talks150477300000010:30 - 11:30
Talk
cufp-2017-talks
10:30 - 11:30: CUFP 2017 - CUFP Tutorials C1 at L5
cufp-2017-talks150477300000010:30 - 11:30
Talk
icfp-2017-catering
11:20 - 12:00: Catering - Thursday coffee break 2 at Catering
icfp-2017-catering150477600000011:20 - 12:00
Coffee break
FHPC-2017-papers
12:00 - 12:30: FHPC 2017 - Tools at L4
FHPC-2017-papers150477840000012:00 - 12:30
Talk
mlfamilyworkshop-2017-papers
12:00 - 12:25: ML 2017 - Verification at L3
mlfamilyworkshop-2017-papers150477840000012:00 - 12:25
Talk
haskellsymp-2017-papers
12:00 - 12:30: Haskell 2017 - Day 1, Session 3 at L1
haskellsymp-2017-papers150477840000012:00 - 12:30
Talk
cufp-2017-talks
12:00 - 12:30: CUFP 2017 - CUFP Tutorials C1 at L5
cufp-2017-talks150477840000012:00 - 12:30
Talk
cufp-2017-talks
12:00 - 12:30: CUFP 2017 - CUFP Tutorials C2 at L6
cufp-2017-talks150477840000012:00 - 12:30
Talk
icfp-2017-catering
12:25 - 14:00: Catering - Thursday lunch at Catering
icfp-2017-catering150477990000012:25 - 14:00
Lunch
FHPC-2017-papers
14:00 - 15:00: FHPC 2017 - Parallel Programming at L4
FHPC-2017-papers150478560000014:00 - 14:30
Talk
FHPC-2017-papers150478740000014:30 - 15:00
Talk
mlfamilyworkshop-2017-papers
14:00 - 15:15: ML 2017 - Programming language design at L3
mlfamilyworkshop-2017-papers150478560000014:00 - 14:25
Talk
mlfamilyworkshop-2017-papers150478710000014:25 - 14:50
Talk
mlfamilyworkshop-2017-papers150478860000014:50 - 15:15
Talk
cufp-2017-talks
14:00 - 15:00: CUFP 2017 - CUFP Tutorials C3 at L5
Chair(s): Runhang Li
cufp-2017-talks150478560000014:00 - 15:00
Other
cufp-2017-talks
14:00 - 15:00: CUFP 2017 - CUFP Tutorials C4 at L6
Chair(s): Runhang Li
cufp-2017-talks150478560000014:00 - 15:00
Talk
icfp-2017-catering
14:50 - 15:30: Catering - Thursday coffee break 3 at Catering
icfp-2017-catering150478860000014:50 - 15:30
Coffee break
FHPC-2017-papers
15:30 - 16:30: FHPC 2017 - Demo Session at L4
FHPC-2017-papers150479100000015:30 - 16:00
Talk
FHPC-2017-papers150479280000016:00 - 16:30
Demonstration
mlfamilyworkshop-2017-papers
15:30 - 16:20: ML 2017 - Performance at L3
mlfamilyworkshop-2017-papers150479100000015:30 - 15:55
Talk
mlfamilyworkshop-2017-papers150479250000015:55 - 16:20
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
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Tutorials C4 at L6
cufp-2017-talks150479100000015:30 - 16:20
Talk
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Tutorials C3 at L5
cufp-2017-talks150479100000015:30 - 16:20
Talk
icfp-2017-catering
16:20 - 16:50: Catering - Thursday coffee break 4 at Catering
icfp-2017-catering150479400000016:20 - 16:50
Coffee break
mlfamilyworkshop-2017-papers
16:50 - 17:40: ML 2017 - Effects at L3
mlfamilyworkshop-2017-papers150479580000016:50 - 17:15
Talk
mlfamilyworkshop-2017-papers150479730000017:15 - 17:40
Talk
FHPC-2017-papers
16:50 - 17:50: FHPC 2017 - Demo and Panel at L4
FHPC-2017-papers150479580000016:50 - 17:20
Demonstration
FHPC-2017-papers150479760000017:20 - 17:50
Day closing
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
cufp-2017-talks
16:50 - 17:30: CUFP 2017 - CUFP Tutorials C3 at L5
cufp-2017-talks150479580000016:50 - 17:30
Talk
cufp-2017-talks
16:50 - 17:30: CUFP 2017 - CUFP Tutorials C4 at L6
cufp-2017-talks150479580000016:50 - 17:30
Talk
icfp-2017-Social-Events
18:15 - 20:30: Social Events - Industry Reception at Ashmolean Museum
icfp-2017-Social-Events150480090000018:15 - 20:30
Social Event

Fri 8 Sep

erlang-2017-papers
09:00 - 09:10: Erlang 2017 - Opening & Welcome at L6
erlang-2017-papers150485400000009:00 - 09:10
Day opening
ocaml-2017-talks
09:00 - 09:10: OCaml 2017 - Opening at L3
ocaml-2017-talks150485400000009:00 - 09:05
Day opening
haskellsymp-2017-papers
09:00 - 10:00: Haskell 2017 - Day 2, Session 1 at L1
haskellsymp-2017-papers150485400000009:00 - 10:00
Talk
cufp-2017-talks
09:00 - 10:00: CUFP 2017 - CUFP Tutorials C5 at L5
Chair(s): Runhang Li
cufp-2017-talks150485400000009:00 - 10:00
Talk
cufp-2017-talks
09:00 - 10:00: CUFP 2017 - CUFP Tutorials C6 at L4
Chair(s): Runhang Li
cufp-2017-talks150485400000009:00 - 10:00
Talk
erlang-2017-papers
09:10 - 10:00: Erlang 2017 - Keynote Invited Talk at L6
erlang-2017-papers150485460000009:10 - 10:00
Talk
ocaml-2017-talks
09:10 - 10:10: OCaml 2017 - Talk session 1 at L3
ocaml-2017-talks150485430000009:05 - 09:40
Talk
ocaml-2017-talks150485640000009:40 - 10:05
Talk
icfp-2017-catering
10:00 - 10:30: Catering - Friday coffee break 1 at Catering
icfp-2017-catering150485760000010:00 - 10:30
Coffee break
erlang-2017-papers
10:30 - 11:20: Erlang 2017 - Session 2 at L6
erlang-2017-papers150485940000010:30 - 10:55
Talk
erlang-2017-papers150486090000010:55 - 11:20
Talk
ocaml-2017-talks
10:30 - 11:30: OCaml 2017 - Talk session 2 at L3
ocaml-2017-talks150485940000010:30 - 10:50
Talk
Link to publication Pre-print
ocaml-2017-talks150486060000010:50 - 11:10
Talk
Link to publication Pre-print
ocaml-2017-talks150486180000011:10 - 11:30
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
cufp-2017-talks
10:30 - 11:30: CUFP 2017 - CUFP Tutorials C5 at L5
cufp-2017-talks150485940000010:30 - 11:30
Talk
cufp-2017-talks
10:30 - 11:30: CUFP 2017 - CUFP Tutorials C6 at L4
cufp-2017-talks150485940000010:30 - 11:30
Talk
icfp-2017-catering
11:20 - 12:00: Catering - Friday coffee break 2 at Catering
icfp-2017-catering150486240000011:20 - 12:00
Coffee break
ocaml-2017-talks
11:35 - 12:30: OCaml 2017 - Poster session at L3
ocaml-2017-talks150486330000011:35 - 11:45
Talk
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Link to publication
ocaml-2017-talks150486390000011:45 - 12:30
Talk
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Link to publication
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Link to publication
erlang-2017-papers
12:00 - 12:25: Erlang 2017 - Session 3 at L6
erlang-2017-papers150486480000012:00 - 12:25
Talk
haskellsymp-2017-papers
12:00 - 12:30: Haskell 2017 - Day 2, Session 3 at L1
haskellsymp-2017-papers150486480000012:00 - 12:30
Talk
cufp-2017-talks
12:00 - 12:30: CUFP 2017 - CUFP Tutorials C5 at L5
cufp-2017-talks150486480000012:00 - 12:30
Talk
cufp-2017-talks
12:00 - 12:30: CUFP 2017 - CUFP Tutorials C6 at L4
cufp-2017-talks150486480000012:00 - 12:30
Talk
icfp-2017-catering
12:25 - 14:00: Catering - Friday lunch at Catering
icfp-2017-catering150486630000012:25 - 14:00
Lunch
erlang-2017-papers
14:00 - 14:50: Erlang 2017 - Session 4 at L6
erlang-2017-papers150487200000014:00 - 14:25
Talk
erlang-2017-papers150487350000014:25 - 14:50
Talk
ocaml-2017-talks
14:00 - 15:00: OCaml 2017 - Talk session 3 at L3
ocaml-2017-talks150487200000014:00 - 14:20
Talk
Link to publication
ocaml-2017-talks150487320000014:20 - 14:40
Talk
Link to publication
ocaml-2017-talks150487440000014:40 - 15:00
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
cufp-2017-talks
14:00 - 15:00: CUFP 2017 - CUFP Tutorials C8 at L4
Chair(s): Runhang Li
cufp-2017-talks150487200000014:00 - 15:00
Talk
cufp-2017-talks
14:00 - 15:00: CUFP 2017 - CUFP Tutorials C7 at L5
Chair(s): Runhang Li
cufp-2017-talks150487200000014:00 - 15:00
Talk
icfp-2017-catering
14:50 - 15:30: Catering - Friday coffee break 3 at Catering
icfp-2017-catering150487500000014:50 - 15:30
Coffee break
erlang-2017-papers
15:30 - 16:20: Erlang 2017 - Session 5 at L6
erlang-2017-papers150487740000015:30 - 15:55
Talk
erlang-2017-papers150487890000015:55 - 16:20
Talk
ocaml-2017-talks
15:30 - 16:30: OCaml 2017 - Talk session 4 at L3
ocaml-2017-talks150487740000015:30 - 15:50
Talk
Link to publication
ocaml-2017-talks150487860000015:50 - 16:10
Talk
Link to publication
ocaml-2017-talks150487980000016:10 - 16:30
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
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Tutorials C8 at L4
cufp-2017-talks150487740000015:30 - 16:20
Talk
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Tutorials C7 at L5
cufp-2017-talks150487740000015:30 - 16:20
Talk
icfp-2017-catering
16:20 - 16:50: Catering - Friday coffee break 4 at Catering
icfp-2017-catering150488040000016:20 - 16:50
Coffee break
erlang-2017-papers
16:50 - 17:50: Erlang 2017 - Session 6 at L6
erlang-2017-papers150488220000016:50 - 17:20
Talk
erlang-2017-papers150488400000017:20 - 17:50
Talk
ocaml-2017-talks
16:50 - 17:40: OCaml 2017 - Talk session 5 at L3
ocaml-2017-talks150488280000017:00 - 17:20
Talk
Link to publication
ocaml-2017-talks150488400000017:20 - 17:40
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
cufp-2017-talks
16:50 - 17:30: CUFP 2017 - CUFP Tutorials C7 at L5
cufp-2017-talks150488220000016:50 - 17:30
Talk
cufp-2017-talks
16:50 - 17:30: CUFP 2017 - CUFP Tutorials C8 at L4
cufp-2017-talks150488220000016:50 - 17:30
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
farm-2017-papers
09:00 - 09:10: FARM 2017 - Introduction at L3
farm-2017-papers150494040000009:00 - 09:10
Day opening
farm-2017-papers
09:10 - 10:00: FARM 2017 - Session 1: Papers/Demos (Music) at L3
Chair(s): Jean Bresson
farm-2017-papers150494100000009:10 - 09:40
Talk
farm-2017-papers150494280000009:40 - 10:00
Demonstration
Pre-print
cufp-2017-talks
09:10 - 10:00: CUFP 2017 - CUFP Talks 1 at L2
cufp-2017-talks150494100000009:10 - 09:35
Talk
cufp-2017-talks150494250000009:35 - 10:00
Talk
icfp-2017-catering
10:00 - 10:30: Catering - Saturday coffee break 1 at Catering
icfp-2017-catering150494400000010:00 - 10:30
Coffee break
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
farm-2017-papers
10:30 - 11:30: FARM 2017 - Session 2: Demos (Music) at L3
Chair(s): Ivan Perez
farm-2017-papers150494580000010:30 - 10:50
Demonstration
Pre-print
farm-2017-papers150494700000010:50 - 11:10
Demonstration
Pre-print
farm-2017-papers150494820000011:10 - 11:30
Demonstration
Pre-print
cufp-2017-talks
10:30 - 11:20: CUFP 2017 - CUFP Talks 2 at L2
cufp-2017-talks150494580000010:30 - 10:55
Talk
cufp-2017-talks150494730000010:55 - 11:20
Talk
icfp-2017-catering
11:20 - 12:00: Catering - Saturday coffee break 2 at Catering
icfp-2017-catering150494880000011:20 - 12:00
Coffee break
hiw-2017
12:00 - 12:25: HIW 2017 - Constraints at L1
Chair(s): Ben Gamari
hiw-2017150495120000012:00 - 12:25
Talk
farm-2017-papers
12:00 - 12:30: FARM 2017 - Session 3: Paper at L3
Chair(s): Michael Sperber
farm-2017-papers150495120000012:00 - 12:30
Talk
cufp-2017-talks
12:00 - 12:25: CUFP 2017 - CUFP Talks 3 at L2
cufp-2017-talks150495120000012:00 - 12:25
Talk
icfp-2017-catering
12:25 - 14:00: Catering - Saturday lunch at Catering
icfp-2017-catering150495270000012:25 - 14:00
Lunch
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
farm-2017-papers
14:00 - 15:00: FARM 2017 - Session 4: Paper/Tutorial at L3
Chair(s): Jean Bresson
farm-2017-papers150495840000014:00 - 15:00
Talk
cufp-2017-talks
14:00 - 14:50: CUFP 2017 - CUFP Talks 4 at L2
cufp-2017-talks150495840000014:00 - 14:25
Talk
cufp-2017-talks150495990000014:25 - 14:50
Talk
icfp-2017-catering
14:50 - 15:30: Catering - Saturday coffee break 3 at Catering
icfp-2017-catering150496140000014:50 - 15:30
Coffee break
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
farm-2017-papers
15:30 - 16:20: FARM 2017 - Session 5: Papers/Demos at L3
Chair(s): David Janin
farm-2017-papers150496380000015:30 - 16:00
Talk
farm-2017-papers150496560000016:00 - 16:20
Demonstration
Pre-print
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Talks 5 at L2
cufp-2017-talks150496380000015:30 - 15:55
Talk
cufp-2017-talks150496530000015:55 - 16:20
Talk
icfp-2017-catering
16:20 - 16:50: Catering - Saturday coffee break 4 at Catering
icfp-2017-catering150496680000016:20 - 16:50
Coffee break
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
farm-2017-papers
16:50 - 17:40: FARM 2017 - Session 6: Papers/Demos at L3
Chair(s): Henrik Nilsson
farm-2017-papers150496860000016:50 - 17:20
Talk
farm-2017-papers150497040000017:20 - 17:40
Demonstration
Pre-print
cufp-2017-talks
16:50 - 17:40: CUFP 2017 - CUFP Talks 6 at L2
cufp-2017-talks150496860000016:50 - 17:15
Talk
cufp-2017-talks150497010000017:15 - 17:40
Talk
icfp-2017-Social-Events
19:30 - 22:00: Social Events - FARM Performance Evening at Old Fire Station
icfp-2017-Social-Events150497820000019:30 - 22:00
Social Event

Sun 3 Sep 2017

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

PLMW 2017

Welcome
09:00 - 09:10

PLMW 2017

09:10 - 10:10

PLMW 2017

Keynote
09:10 - 10:00

PLMW 2017

10:30 - 11:20

PLMW 2017

Session 1
10:30 - 11:30

PLMW 2017

12:00 - 12:25

PLMW 2017

Session 2
12:00 - 12:30

PLMW 2017

Session 3
14:00 - 15:00

PLMW 2017

14:00 - 14:50

PLMW 2017

15:30 - 16:20

PLMW 2017

Session 4
15:30 - 16:30

PLMW 2017

16:50 - 17:50

PLMW 2017

Session 5
16:50 - 17:40
L2

TyDe 2017

Welcome
09:00 - 09:05

TyDe 2017

09:10 - 10:10

TyDe 2017

10:30 - 11:20

TyDe 2017

12:00 - 12:30

TyDe 2017

14:00 - 14:50

TyDe 2017

15:30 - 16:30

TyDe 2017

16:50 - 17:50
L3

HOPE 2017

Welcome
09:00 - 09:10

HOPE 2017

09:10 - 10:10

HOPE 2017

10:30 - 11:20

HOPE 2017

Rust
12:00 - 12:30

HOPE 2017

12:00 - 12:25

HOPE 2017

14:00 - 14:50

HOPE 2017

15:30 - 16:20

HOPE 2017

Effects
15:30 - 16:30

HOPE 2017

16:50 - 17:50
L4

Scheme 2017

09:10 - 10:00

Scheme 2017

10:30 - 11:20

Scheme 2017

12:00 - 12:25

Scheme 2017

14:00 - 14:50

Scheme 2017

15:30 - 16:20

Scheme 2017

16:50 - 17:40
L5

Mon 4 Sep 2017

Thu 7 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Ashmolean Museum
Catering
L1

Haskell 2017

09:00 - 09:10

Haskell 2017

09:10 - 10:00

Haskell 2017

09:10 - 10:10

Haskell 2017

10:30 - 11:20

Haskell 2017

12:00 - 12:25

Haskell 2017

14:00 - 14:50

Haskell 2017

15:30 - 16:20

Haskell 2017

16:50 - 17:40
L2

FSCD 2017

Session 15
09:00 - 10:00

FSCD 2017

Session 16
10:30 - 11:59
L3

ML 2017

Welcome
09:00 - 09:05

ML 2017

Invited talk
09:05 - 10:00

ML 2017

09:10 - 10:10

ML 2017

10:30 - 11:20

ML 2017

12:00 - 12:30

ML 2017

Verification
12:00 - 12:25

ML 2017

14:00 - 14:50

ML 2017

15:30 - 16:30

ML 2017

Performance
15:30 - 16:20

ML 2017

Effects
16:50 - 17:40

ML 2017

16:50 - 17:50
L4

FHPC 2017

09:10 - 10:00

FHPC 2017

10:30 - 11:20

FHPC 2017

Tools
12:00 - 12:30

FHPC 2017

12:00 - 12:25

FHPC 2017

14:00 - 14:50

FHPC 2017

15:30 - 16:20

FHPC 2017

16:50 - 17:40
L5
L6

Fri 8 Sep 2017

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

Haskell 2017

09:00 - 09:10

Haskell 2017

09:10 - 10:00

Haskell 2017

09:10 - 10:10

Haskell 2017

10:30 - 11:20

Haskell 2017

12:00 - 12:25

Haskell 2017

14:00 - 14:50