CUFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
co-located with ICFP 2016
VenueNara Kasugano International Forum
Room nameNoh Theater
Floor1
Room number
Capacity500
Additional informationThere is no additional information of this room available.
Program

Mon 19 Sep

icfp-2016-keynote-talks
09:15 - 10:15: - Keynote 1 at Noh Theater
Chair(s): Eijiro Sumii
icfp-2016-keynote-talks147426930000009:15 - 10:15
Talk

Tue 20 Sep

icfp-2016-keynote-talks
09:15 - 10:15: - Keynote 2 at Noh Theater
Chair(s): Gabriele Keller
icfp-2016-keynote-talks147435570000009:15 - 10:15
Talk
icfp-2016-ICFP-2016-Report
17:40 - 18:10: - ICFP Program Chair Report and Contest Presentation at Noh Theater
icfp-2016-ICFP-2016-Report147438600000017:40 - 17:50
Other
icfp-2016-ICFP-2016-Report147438660000017:50 - 18:10
Awards

Wed 21 Sep

icfp-2016-keynote-talks
09:15 - 10:15: - Keynote 3 at Noh Theater
Chair(s): Jacques Garrigue
icfp-2016-keynote-talks147444210000009:15 - 10:15
Talk
icfp-2016-papers
10:35 - 12:15: - Session 9 at Noh Theater
Chair(s): Sam Lindley
icfp-2016-papers147444690000010:35 - 11:00
Talk
DOI
icfp-2016-papers147444840000011:00 - 11:25
Talk
DOI
icfp-2016-papers147444990000011:25 - 11:50
Talk
DOI
icfp-2016-papers147445140000011:50 - 12:15
Talk
DOI
icfp-2016-papers
15:05 - 16:20: - Session 11 at Noh Theater
Chair(s): Alejandro Russo
icfp-2016-papers147446310000015:05 - 15:30
Talk
DOI
icfp-2016-papers147446460000015:30 - 15:55
Talk
DOI
icfp-2016-papers147446610000015:55 - 16:20
Talk
DOI
icfp-2016-papers
16:50 - 17:40: - Session 12 at Noh Theater
Chair(s): Jeremy Gibbons
icfp-2016-papers147446940000016:50 - 17:15
Talk
DOI
icfp-2016-papers147447090000017:15 - 17:40
Talk
DOI
icfp-2016-ICFP-2016-Report
17:40 - 18:10: - SRC Awards and Closing at Noh Theater
icfp-2016-ICFP-2016-Report147447240000017:40 - 17:55
Awards
icfp-2016-ICFP-2016-Report147447330000017:55 - 18:10
Day closing

Thu 22 Sep

haskellsymp-2016-papers
09:15 - 10:15: - Testing at Noh Theater
Chair(s): Stephanie Weirich
haskellsymp-2016-papers147452850000009:15 - 09:25
Day opening
haskellsymp-2016-papers147452910000009:25 - 09:50
Talk
DOI
haskellsymp-2016-papers147453060000009:50 - 10:15
Talk
DOI
haskellsymp-2016-papers
10:35 - 11:25: - FRP at Noh Theater
Chair(s): David Terei
haskellsymp-2016-papers147453330000010:35 - 11:00
Talk
DOI
haskellsymp-2016-papers147453480000011:00 - 11:25
Talk
DOI
haskellsymp-2016-papers
11:45 - 12:35: - Functors at Noh Theater
Chair(s): Zhenjiang Hu
haskellsymp-2016-papers147453750000011:45 - 12:10
Talk
DOI
haskellsymp-2016-papers147453900000012:10 - 12:35
Talk
DOI
haskellsymp-2016-papers
14:00 - 14:50: - Web Technology at Noh Theater
Chair(s): Iavor Diatchki
haskellsymp-2016-papers147454560000014:00 - 14:25
Talk
DOI
haskellsymp-2016-papers147454710000014:25 - 14:50
Talk
DOI
haskellsymp-2016-papers
15:20 - 16:10: - Language Features at Noh Theater
Chair(s): Niki Vazou
haskellsymp-2016-papers147455040000015:20 - 15:45
Talk
DOI
haskellsymp-2016-papers147455190000015:45 - 16:10
Talk
DOI
haskellsymp-2016-papers
16:40 - 18:00: - Lightning Talks at Noh Theater
Chair(s): Geoffrey Mainland
haskellsymp-2016-papers147455520000016:40 - 18:00
Talk

Fri 23 Sep

haskellsymp-2016-papers
09:15 - 10:15: - Strictness and STM at Noh Theater
Chair(s): Richard A. Eisenberg
haskellsymp-2016-papers147461550000009:25 - 09:50
Talk
DOI
haskellsymp-2016-papers147461700000009:50 - 10:15
Talk
DOI
haskellsymp-2016-papers
10:35 - 11:25: - Types at Noh Theater
Chair(s): David Duke
haskellsymp-2016-papers147461970000010:35 - 11:00
Talk
DOI
haskellsymp-2016-papers147462120000011:00 - 11:25
Talk
DOI
haskellsymp-2016-papers
11:45 - 12:35: - PC Chair Report and State of Haskell at Noh Theater
haskellsymp-2016-papers147462390000011:45 - 12:35
Talk
haskellsymp-2016-papers
14:00 - 14:50: - Monads at Noh Theater
Chair(s): Yukiyoshi Kameyama
haskellsymp-2016-papers147463200000014:00 - 14:25
Talk
DOI
haskellsymp-2016-papers147463350000014:25 - 14:50
Talk
DOI
haskellsymp-2016-papers
15:20 - 16:10: - Abstractions that Scale at Noh Theater
Chair(s): Geoffrey Mainland
haskellsymp-2016-papers147463680000015:20 - 15:45
Talk
DOI
haskellsymp-2016-papers147463830000015:45 - 16:10
Talk
DOI

Sat 24 Sep

cufp-2016-papers
09:15 - 10:15: CUFP - Keynote at Noh Theater
cufp-2016-papers147470130000009:15 - 09:20
Day opening
cufp-2016-papers147470160000009:20 - 10:15
Talk
Media Attached
cufp-2016-papers
10:35 - 11:25: CUFP - Talks 1 at Noh Theater
cufp-2016-papers147470610000010:35 - 11:00
Talk
Media Attached
cufp-2016-papers147470760000011:00 - 11:25
Talk
Media Attached
cufp-2016-papers
11:45 - 12:35: CUFP - Talks 2 at Noh Theater
cufp-2016-papers147471030000011:45 - 12:10
Talk
Media Attached
cufp-2016-papers147471180000012:10 - 12:35
Talk
Media Attached
cufp-2016-papers
14:00 - 14:50: CUFP - Talks 3 at Noh Theater
cufp-2016-papers147471840000014:00 - 14:25
Talk
Media Attached
cufp-2016-papers147471990000014:25 - 14:50
Talk
Media Attached
cufp-2016-papers
15:20 - 16:10: CUFP - Talks 4 at Noh Theater
cufp-2016-papers147472320000015:20 - 15:45
Talk
Media Attached
cufp-2016-papers147472470000015:45 - 16:10
Talk
Media Attached
cufp-2016-papers
16:40 - 18:00: CUFP - Talks 5 at Noh Theater
cufp-2016-papers147472800000016:40 - 17:05
Talk
Media Attached
cufp-2016-papers147472950000017:05 - 17:55
Talk
Media Attached
cufp-2016-papers147473250000017:55 - 18:00
Day closing

Mon 19 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Noh Theater
09:15 - 10:15
10:45 - 12:25
13:40 - 14:55
15:15 - 16:30
17:00 - 18:15

Tue 20 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Noh Theater
09:15 - 10:15
10:35 - 12:15
13:30 - 14:45
15:05 - 16:20
16:50 - 17:40
17:40 - 18:10

Wed 21 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Noh Theater
09:15 - 10:15
10:35 - 12:15
13:30 - 14:45
15:05 - 16:20
16:50 - 17:40
17:40 - 18:10

Thu 22 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Noh Theater
09:15 - 10:15
10:35 - 11:25
11:45 - 12:35
14:00 - 14:50
15:20 - 16:10
16:40 - 18:00

Fri 23 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Noh Theater
09:15 - 10:15
10:35 - 11:25
11:45 - 12:35
14:00 - 14:50
15:20 - 16:10
16:40 - 18:00

Sat 24 Sep 2016

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

CUFP

Keynote
09:15 - 10:15

CUFP

Talks 1
10:35 - 11:25

CUFP

Talks 2
11:45 - 12:35

CUFP

Talks 3
14:00 - 14:50

CUFP

Talks 4
15:20 - 16:10

CUFP

Talks 5
16:40 - 18:00

Tue 20 Sep 2016

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