Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
VenueNara Kasugano International Forum
Room nameConference Room 1
Floor1
Room number1
Capacity108
Additional informationThere is no additional information of this room available.
Program

Sun 18 Sep

tyde-2016-papers
09:15 - 10:15: TyDe - Session One at Conference Room 1
tyde-2016-papers147418290000009:15 - 09:35
Day opening
tyde-2016-papers147418410000009:35 - 09:55
Talk
tyde-2016-papers147418530000009:55 - 10:15
Talk
tyde-2016-papers
10:45 - 12:15: TyDe - Session Two at Conference Room 1
tyde-2016-papers147418830000010:45 - 11:15
Talk
tyde-2016-papers147419010000011:15 - 11:35
Talk
tyde-2016-papers147419130000011:35 - 11:55
Talk
tyde-2016-papers147419250000011:55 - 12:15
Talk
tyde-2016-papers
14:00 - 15:00: TyDe - Session Three at Conference Room 1
tyde-2016-papers147420000000014:00 - 14:30
Talk
tyde-2016-papers147420180000014:30 - 15:00
Talk
tyde-2016-papers
15:30 - 16:30: TyDe - Session Four at Conference Room 1
tyde-2016-papers147420540000015:30 - 16:00
Talk
tyde-2016-papers147420720000016:00 - 16:30
Talk
tyde-2016-papers
17:00 - 18:00: TyDe - Session Five at Conference Room 1
tyde-2016-papers147421080000017:00 - 17:20
Talk
tyde-2016-papers147421200000017:20 - 17:40
Talk
Pre-print

Thu 22 Sep

mlfamilyworkshop-2016-papers
09:10 - 10:15: ML - Invited Talk at Conference Room 1
Chair(s): Kenichi Asai
mlfamilyworkshop-2016-papers147452820000009:10 - 09:15
Day opening
mlfamilyworkshop-2016-papers147452850000009:15 - 10:15
Talk
mlfamilyworkshop-2016-papers
10:35 - 11:25: ML - Web at Conference Room 1
Chair(s): Katsuhiro Ueno
mlfamilyworkshop-2016-papers147453330000010:35 - 11:00
Talk
Pre-print
mlfamilyworkshop-2016-papers147453480000011:00 - 11:25
Talk
Pre-print
mlfamilyworkshop-2016-papers
11:45 - 12:25: ML - Implementation at Conference Room 1
Chair(s): Didier Rémy
mlfamilyworkshop-2016-papers147453750000011:45 - 12:10
Talk
Pre-print
mlfamilyworkshop-2016-papers147453900000012:10 - 12:25
Talk
Pre-print
mlfamilyworkshop-2016-papers
14:00 - 14:50: ML - Effects at Conference Room 1
Chair(s): Sam Lindley
mlfamilyworkshop-2016-papers147454560000014:00 - 14:25
Talk
Pre-print
mlfamilyworkshop-2016-papers147454710000014:25 - 14:50
Talk
Pre-print
mlfamilyworkshop-2016-papers
15:20 - 16:10: ML - Classes at Conference Room 1
Chair(s): John Reppy
mlfamilyworkshop-2016-papers147455040000015:20 - 15:45
Talk
Pre-print
mlfamilyworkshop-2016-papers147455190000015:45 - 16:10
Talk
Pre-print
mlfamilyworkshop-2016-papers
16:40 - 17:35: ML - Future at Conference Room 1
Chair(s): Kenichi Asai
mlfamilyworkshop-2016-papers147455520000016:40 - 16:55
Talk
Pre-print
mlfamilyworkshop-2016-papers147455610000016:55 - 17:20
Talk
Pre-print
mlfamilyworkshop-2016-papers147455760000017:20 - 17:35
Talk
Pre-print

Fri 23 Sep

ocaml-2016-papers
09:09 - 10:25: OCaml - Session 1 at Conference Room 1
ocaml-2016-papers147461454000009:09 - 09:10
Day opening
ocaml-2016-papers147461460000009:10 - 09:35
Talk
ocaml-2016-papers147461610000009:35 - 10:00
Talk
ocaml-2016-papers147461760000010:00 - 10:25
Talk
ocaml-2016-papers
10:40 - 11:30: OCaml - Session 2 at Conference Room 1
ocaml-2016-papers147462000000010:40 - 11:05
Talk
ocaml-2016-papers147462150000011:05 - 11:30
Talk
ocaml-2016-papers
11:45 - 12:35: OCaml - Session 3 at Conference Room 1
ocaml-2016-papers147462390000011:45 - 12:10
Talk
ocaml-2016-papers147462540000012:10 - 12:35
Talk
ocaml-2016-papers
14:00 - 14:50: OCaml - Session 4 at Conference Room 1
ocaml-2016-papers147463200000014:00 - 14:25
Talk
ocaml-2016-papers147463350000014:25 - 14:50
Talk
ocaml-2016-papers
15:20 - 16:10: OCaml - Session 5 at Conference Room 1
ocaml-2016-papers147463680000015:20 - 15:45
Talk
ocaml-2016-papers147463830000015:45 - 16:10
Talk
ocaml-2016-papers
16:10 - 17:05: OCaml - Break and Poster Session at Conference Room 1
ocaml-2016-papers147463980000016:10 - 16:28
ocaml-2016-papers147464090000016:28 - 16:46
ocaml-2016-papers147464200000016:46 - 17:05
ocaml-2016-papers
17:05 - 18:00: OCaml - Session 6 at Conference Room 1
ocaml-2016-papers147464310000017:05 - 17:30
Talk
ocaml-2016-papers147464460000017:30 - 17:55
Talk
ocaml-2016-papers147464610000017:55 - 18:00
Day closing

Sat 24 Sep

hiw-2016-papers
09:15 - 10:15: HIW - The State of GHC at Conference Room 1
hiw-2016-papers147470130000009:15 - 09:45
Talk
hiw-2016-papers147470310000009:45 - 10:15
Talk
hiw-2016-papers
10:35 - 11:25: HIW - Pluggability and Modularity at Conference Room 1
hiw-2016-papers147470610000010:35 - 11:00
Talk
hiw-2016-papers147470760000011:00 - 11:25
Talk
hiw-2016-papers
11:45 - 12:35: HIW - Types and Effects at Conference Room 1
hiw-2016-papers147471030000011:45 - 12:10
Talk
hiw-2016-papers147471180000012:10 - 12:35
Talk
hiw-2016-papers
14:00 - 14:50: HIW - The Engineering of GHC at Conference Room 1
hiw-2016-papers147471840000014:00 - 14:25
Talk
hiw-2016-papers147471990000014:25 - 14:50
Talk
hiw-2016-papers
15:20 - 16:10: HIW - Backends for GHC at Conference Room 1
hiw-2016-papers147472320000015:20 - 15:45
Talk
hiw-2016-papers147472470000015:45 - 16:10
Talk
hiw-2016-papers
16:40 - 18:00: HIW - Trees and Lightning Talks at Conference Room 1
hiw-2016-papers147472800000016:40 - 17:05
Talk
hiw-2016-papers147472950000017:05 - 18:00
Other

Sun 18 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Conference Room 1

TyDe

Session One
09:15 - 10:15

TyDe

Session Two
10:45 - 12:15

TyDe

Session Three
14:00 - 15:00

TyDe

Session Four
15:30 - 16:30

TyDe

Session Five
17:00 - 18:00

Thu 22 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Conference Room 1

ML

Invited Talk
09:10 - 10:15

ML

Web
10:35 - 11:25

ML

Implementation
11:45 - 12:25

ML

Effects
14:00 - 14:50

ML

Classes
15:20 - 16:10

ML

Future
16:40 - 17:35

Fri 23 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Conference Room 1

OCaml

Session 1
09:09 - 10:25

OCaml

Session 2
10:40 - 11:30

OCaml

Session 3
11:45 - 12:35

OCaml

Session 4
14:00 - 14:50

OCaml

Session 5
15:20 - 16:10

OCaml

Session 6
17:05 - 18:00

Sat 24 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Conference Room 1

HIW

The State of GHC
09:15 - 10:15

HIW

Backends for GHC
15:20 - 16:10

Sat 24 Sep 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Conference Room 1
15:20 - 15:45