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
Jeremy GibbonsUniversity of Oxford, UK
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
Peter-Michael OseraGrinnell College
tyde-2016-papers147419130000011:35 - 11:55
Talk
David Kaloper-Meršinjak, Jeremy YallopUniversity of Cambridge, UK
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
Liam O'ConnorUNSW, Australia
tyde-2016-papers147420180000014:30 - 15:00
Talk
Daniel Hillerström, Sam LindleyUniversity of Edinburgh, UK
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
Larry Diehl, Tim SheardPortland State University
tyde-2016-papers
17:00 - 18:00: TyDe - Session Five at Conference Room 1
tyde-2016-papers147421080000017:00 - 17:20
Talk
Oleg KiselyovTohoku University
tyde-2016-papers147421200000017:20 - 17:40
Talk
Patrik JanssonChalmers University of Technology, Adam Sandberg Eriksson
Pre-print

Thu 22 Sep

mlfamilyworkshop-2016-papers
09:10 - 10:15: ML - Invited Talk at Conference Room 1
Chair(s): Kenichi AsaiOchanomizu University
mlfamilyworkshop-2016-papers147452820000009:10 - 09:15
Day opening
mlfamilyworkshop-2016-papers147452850000009:15 - 10:15
Talk
Neelakantan R. KrishnaswamiUniversity of Birmingham, UK
mlfamilyworkshop-2016-papers
10:35 - 11:25: ML - Web at Conference Room 1
Chair(s): Katsuhiro UenoTohoku University, Japan
mlfamilyworkshop-2016-papers147453330000010:35 - 11:00
Talk
Pre-print
mlfamilyworkshop-2016-papers147453480000011:00 - 11:25
Talk
Jonathan ProtzenkoMicrosoft Research, Karthikeyan BhargavanINRIA, Jean-Karim ZinzindohouéINRIA, Abhishek Anand, Cédric FournetMicrosoft Research, Bryan Parno, Aseem RastogiMicrosoft Research India, Nikhil SwamyMicrosoft Research
Pre-print
mlfamilyworkshop-2016-papers
11:45 - 12:25: ML - Implementation at Conference Room 1
Chair(s): Didier RémyINRIA
mlfamilyworkshop-2016-papers147453750000011:45 - 12:10
Talk
Kavon FarvardinUniversity of Chicago, John ReppyUniversity of Chicago
Pre-print
mlfamilyworkshop-2016-papers147453900000012:10 - 12:25
Talk
Tomohiro SasakiTohoku University, Katsuhiro UenoTohoku University, Japan, Atsushi OhoriTohoku University, Japan
Pre-print
mlfamilyworkshop-2016-papers
14:00 - 14:50: ML - Effects at Conference Room 1
Chair(s): Sam LindleyUniversity of Edinburgh, UK
mlfamilyworkshop-2016-papers147454560000014:00 - 14:25
Talk
Oleg KiselyovTohoku University, KC SivaramakrishnanUniversity of Cambridge
Pre-print
mlfamilyworkshop-2016-papers147454710000014:25 - 14:50
Talk
Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, KC SivaramakrishnanUniversity of Cambridge
Pre-print
mlfamilyworkshop-2016-papers
15:20 - 16:10: ML - Classes at Conference Room 1
Chair(s): John ReppyUniversity of Chicago
mlfamilyworkshop-2016-papers147455040000015:20 - 15:45
Talk
Pre-print
mlfamilyworkshop-2016-papers147455190000015:45 - 16:10
Talk
Yutaka NagashimaData61, Australia, Liam O'ConnorUNSW, Australia
Pre-print
mlfamilyworkshop-2016-papers
16:40 - 17:35: ML - Future at Conference Room 1
Chair(s): Kenichi AsaiOchanomizu University
mlfamilyworkshop-2016-papers147455520000016:40 - 16:55
Talk
Pre-print
mlfamilyworkshop-2016-papers147455610000016:55 - 17:20
Talk
Gabriel SchererNortheastern University, Luc MarangetINRIA Rocquencourt, Thomas Réfis
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
Mark ShinwellJane Street
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
KC SivaramakrishnanUniversity of Cambridge, Théo Laurent
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
Timothy BourkeINRIA, Jun InoueNational Institute of Advanced Industrial Science and Technology, Japan, Marc Pouzet
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
Simon Peyton JonesMicrosoft Research, UK
hiw-2016-papers147470310000009:45 - 10:15
Talk
Ben GamariWell-Typed LLP
hiw-2016-papers
10:35 - 11:25: HIW - Pluggability and Modularity at Conference Room 1
hiw-2016-papers147470610000010:35 - 11:00
Talk
Edward Z. YangStanford University
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
Richard A. EisenbergBryn Mawr College
hiw-2016-papers147471180000012:10 - 12:35
Talk
Ben LippmeierUniversity of New South Wales
hiw-2016-papers
14:00 - 14:50: HIW - The Engineering of GHC at Conference Room 1
hiw-2016-papers147471840000014:00 - 14:25
Talk
Ben GamariWell-Typed LLP
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
Simon MarlowFacebook
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
Shayan Najd, Simon Peyton JonesMicrosoft Research, UK, Jacques CaretteMcMaster University
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
09:15 - 10:15
10:45 - 12:15
14:00 - 15:00
15:30 - 16:30
17:00 - 18:00

Thu 22 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Conference Room 1
09:10 - 10:15
10:35 - 11:25
11:45 - 12:25
14:00 - 14:50
15:20 - 16:10
16:40 - 17:35

Fri 23 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Conference Room 1
09:09 - 10:25
10:40 - 11:30
11:45 - 12:35
14:00 - 14:50
15:20 - 16:10
17:05 - 18:00

Sat 24 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Conference Room 1
09:15 - 10:15
15:20 - 16:10

Sat 24 Sep 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Conference Room 1
09:15 - 09:45
14:25 - 14:50
15:20 - 15:45
16:40 - 17:05
17:05 - 18:00