Blogs >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
VenueMathematical Institute
Room nameL1
Floor0
Room number
Capacity360
Additional informationThere is no additional information of this room available.
Program

Mon 4 Sep

icfp-2017-Keynote-Talks
09:00 - 10:00: Keynotes and Reports - Monday Keynote at L1
icfp-2017-Keynote-Talks150450840000009:00 - 10:00
Talk
icfp-2017-papers
13:00 - 14:30: Research Papers - Functional Programming Techniques at L1
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
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
icfp-2017-Keynote-Talks150459480000009:00 - 10:00
Talk
icfp-2017-papers
16:40 - 17:50: Research Papers - Program Construction at L1
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 - SRCs and DSLs at L1
icfp-2017-Student-Research-Competition150468120000009:00 - 09:37
Talk
icfp-2017-papers
09:37 - 10:00: Research Papers - SRCs and DSLs at L1
icfp-2017-papers150468342000009:37 - 10:00
Talk
DOI
icfp-2017-papers
13:00 - 14:30: Research Papers - Contracts and Sessions at L1
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
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
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-Keynote-Talks
17:50 - 18:00: Keynotes and Reports - Wednesday Closing Events at L1
icfp-2017-Keynote-Talks150471300000017:50 - 18:00
Talk
icfp-2017-Student-Research-Competition
18:00 - 18:10: Student Research Competition - Student Research Competition Awards at L1
icfp-2017-Student-Research-Competition150471360000018:00 - 18:10
Awards
icfp-2017-Keynote-Talks
18:10 - 18:20: Keynotes and Reports - Wednesday Closing Events at L1
icfp-2017-Keynote-Talks150471420000018:10 - 18:20
Talk

Sun 3 Sep 2017

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

PLMW 2017

09:00 - 09:10

PLMW 2017

09:10 - 10:10

PLMW 2017

09:10 - 10:00

PLMW 2017

10:30 - 11:20

PLMW 2017

10:30 - 11:30

PLMW 2017

12:00 - 12:25

PLMW 2017

12:00 - 12:30

PLMW 2017

14:00 - 15:00

PLMW 2017

14:00 - 14:50

PLMW 2017

15:30 - 16:20

PLMW 2017

15:30 - 16:30

PLMW 2017

16:50 - 17:50

PLMW 2017

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

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

10:30 - 11:30

Haskell 2017

12:00 - 12:25

Haskell 2017

12:00 - 12:30

Haskell 2017

14:00 - 15:00

Haskell 2017

14:00 - 14:50

Haskell 2017

15:30 - 16:20

Haskell 2017

15:30 - 16:30

Haskell 2017

16:50 - 17:40

Haskell 2017

16:50 - 17:50

Fri 8 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

10:30 - 11:30

Haskell 2017

12:00 - 12:30

Haskell 2017

12:00 - 12:25

Haskell 2017

14:00 - 14:50

Haskell 2017

14:00 - 15:00

Haskell 2017

15:30 - 16:30

Haskell 2017

15:30 - 16:20

Haskell 2017

16:50 - 17:50

Haskell 2017

16:50 - 17:40

Sat 9 Sep 2017

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

HIW 2017

09:00 - 09:10

HIW 2017

09:10 - 10:10

HIW 2017

09:10 - 10:00

HIW 2017

10:30 - 11:20

HIW 2017

10:30 - 11:30

HIW 2017

12:00 - 12:30

HIW 2017

12:00 - 12:25

HIW 2017

14:00 - 14:50

HIW 2017

14:00 - 15:00

HIW 2017

15:30 - 16:20

HIW 2017

15:30 - 16:30

HIW 2017

16:50 - 17:40

HIW 2017

16:50 - 17:50

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