Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
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 Talks - 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 Talks - 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: Reports - 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 Talks - Keynote 3 at Noh Theater
Chair(s): Jacques Garrigue
icfp-2016-keynote-talks147444210000009:15 - 10:15
Talk
icfp-2016-papers
15:05 - 16:20: Research Papers - 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: Research Papers - 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: Reports - 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: Haskell - 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: Haskell - 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: Haskell - 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: Haskell - 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: Haskell - 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: Haskell - 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: Haskell - Strictness and STM at Noh Theater
Chair(s): Richard Eisenberg
haskellsymp-2016-papers147461550000009:25 - 09:50
Talk
DOI
haskellsymp-2016-papers147461700000009:50 - 10:15
Talk
DOI
haskellsymp-2016-papers
10:35 - 11:25: Haskell - 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: Haskell - PC Chair Report and State of Haskell at Noh Theater
haskellsymp-2016-papers147462390000011:45 - 12:35
Talk
haskellsymp-2016-papers
14:00 - 14:50: Haskell - 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: Haskell - 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

Tue 20 Sep 2016

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

Wed 21 Sep 2016

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

Thu 22 Sep 2016

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

Haskell

Testing
09:15 - 10:15

Haskell

FRP
10:35 - 11:25

Haskell

Functors
11:45 - 12:35

Fri 23 Sep 2016

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

Haskell

Types
10:35 - 11:25

Haskell

Monads
14:00 - 14:50

Haskell

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