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-papers09:15 - 09:35
Day opening
tyde-2016-papers09:35 - 09:55
Talk
Jeremy GibbonsUniversity of Oxford, UK
tyde-2016-papers09:55 - 10:15
Talk
tyde-2016-papers
10:45 - 12:15: TyDe - Session Two at Conference Room 1
tyde-2016-papers10:45 - 11:15
Talk
tyde-2016-papers11:15 - 11:35
Talk
Peter-Michael OseraGrinnell College
tyde-2016-papers11:35 - 11:55
Talk
David Kaloper-Meršinjak, Jeremy YallopUniversity of Cambridge, UK
tyde-2016-papers11:55 - 12:15
Talk
tyde-2016-papers
14:00 - 15:00: TyDe - Session Three at Conference Room 1
tyde-2016-papers14:00 - 14:30
Talk
Liam O'ConnorUNSW, Australia
tyde-2016-papers14:30 - 15:00
Talk
Daniel Hillerström, Sam LindleyUniversity of Edinburgh, UK
tyde-2016-papers
17:00 - 18:00: TyDe - Session Five at Conference Room 1
tyde-2016-papers17:00 - 17:20
Talk
Oleg KiselyovTohoku University
tyde-2016-papers17: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-papers09:10 - 09:15
Day opening
mlfamilyworkshop-2016-papers09: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-papers10:35 - 11:00
Talk
Pre-print
mlfamilyworkshop-2016-papers11: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-papers11:45 - 12:10
Talk
Kavon FarvardinUniversity of Chicago, John ReppyUniversity of Chicago
Pre-print
mlfamilyworkshop-2016-papers12: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-papers14:00 - 14:25
Talk
Oleg KiselyovTohoku University, KC SivaramakrishnanUniversity of Cambridge
Pre-print
mlfamilyworkshop-2016-papers14: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-papers15:20 - 15:45
Talk
Pre-print
mlfamilyworkshop-2016-papers15: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-papers16:40 - 16:55
Talk
Pre-print
mlfamilyworkshop-2016-papers16:55 - 17:20
Talk
Gabriel SchererNortheastern University, Luc MarangetINRIA Rocquencourt, Thomas Réfis
Pre-print
mlfamilyworkshop-2016-papers17: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-papers09:09 - 09:10
Day opening
Mark ShinwellJane Street
ocaml-2016-papers09:10 - 09:35
Talk
ocaml-2016-papers09:35 - 10:00
Talk
ocaml-2016-papers10:00 - 10:25
Talk
ocaml-2016-papers
10:40 - 11:30: OCaml - Session 2 at Conference Room 1
ocaml-2016-papers10:40 - 11:05
Talk
ocaml-2016-papers11: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-papers11:45 - 12:10
Talk
ocaml-2016-papers12:10 - 12:35
Talk
ocaml-2016-papers
14:00 - 14:50: OCaml - Session 4 at Conference Room 1
ocaml-2016-papers14:00 - 14:25
Talk
Timothy BourkeINRIA, Jun InoueNational Institute of Advanced Industrial Science and Technology, Japan, Marc Pouzet
ocaml-2016-papers14:25 - 14:50
Talk
ocaml-2016-papers
15:20 - 16:10: OCaml - Session 5 at Conference Room 1
ocaml-2016-papers15:20 - 15:45
Talk
ocaml-2016-papers15:45 - 16:10
Talk
ocaml-2016-papers
17:05 - 18:00: OCaml - Session 6 at Conference Room 1
ocaml-2016-papers17:05 - 17:30
Talk
ocaml-2016-papers17:30 - 17:55
Talk
ocaml-2016-papers17: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-papers09:15 - 09:45
Talk
Simon Peyton JonesMicrosoft Research, UK
hiw-2016-papers09: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-papers10:35 - 11:00
Talk
Edward Z. YangStanford University
hiw-2016-papers11:00 - 11:25
Talk
hiw-2016-papers
11:45 - 12:35: HIW - Types and Effects at Conference Room 1
hiw-2016-papers11:45 - 12:10
Talk
Richard A. EisenbergBryn Mawr College
hiw-2016-papers12: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-papers14:00 - 14:25
Talk
Ben GamariWell-Typed LLP
hiw-2016-papers14:25 - 14:50
Talk
hiw-2016-papers
15:20 - 16:10: HIW - Backends for GHC at Conference Room 1
hiw-2016-papers15:20 - 15:45
Talk
Simon MarlowFacebook
hiw-2016-papers15:45 - 16:10
Talk
hiw-2016-papers
16:40 - 18:00: HIW - Trees and Lightning Talks at Conference Room 1
hiw-2016-papers16:40 - 17:05
Talk
Shayan Najd, Simon Peyton JonesMicrosoft Research, UK, Jacques CaretteMcMaster University
hiw-2016-papers17: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