Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
VenueNara Kasugano International Forum
Room nameConference Room 5
Floor2
Room number5
Capacity132
Additional information

Annex

Program

Sun 18 Sep

PLMW-ICFP-2016
09:15 - 10:15: PLMW - 1 at Conference Room 5
Chair(s): Amal AhmedNortheastern University
PLMW-ICFP-201609:15 - 09:45
Talk
Kathleen FisherTufts University
Media Attached File Attached
PLMW-ICFP-201609:45 - 10:15
Talk
PLMW-ICFP-2016
10:45 - 12:15: PLMW - 2 at Conference Room 5
Chair(s): Amal AhmedNortheastern University
PLMW-ICFP-201610:45 - 11:30
Talk
David Van HornUniversity of Maryland, USA
Link to publication
PLMW-ICFP-201611:30 - 12:15
Talk
Philip WadlerUniversity of Edinburgh
File Attached
PLMW-ICFP-2016
14:00 - 15:00: PLMW - 3 at Conference Room 5
Chair(s): Robby FindlerNorthwestern University
PLMW-ICFP-201614:00 - 14:30
Talk
File Attached
PLMW-ICFP-201614:30 - 15:00
Talk
Dan LicataWesleyan University
Link to publication
PLMW-ICFP-2016
15:30 - 16:30: PLMW - 4 at Conference Room 5
Chair(s): Atsushi IgarashiKyoto University
PLMW-ICFP-201615:30 - 16:00
Talk
Akimasa MorihataUniversity of Tokyo, Japan
File Attached
PLMW-ICFP-201616:00 - 16:30
Talk
Derek DreyerMPI-SWS, Germany
File Attached
PLMW-ICFP-2016
17:00 - 18:00: PLMW - 5 at Conference Room 5
Chair(s): Atsushi IgarashiKyoto University
PLMW-ICFP-201617:00 - 17:30
Talk
Kenichi AsaiOchanomizu University
File Attached
PLMW-ICFP-201617:30 - 18:00
Talk
John HughesChalmers University of Technology

Thu 22 Sep

icfp-2016-Tutorials
09:15 - 12:45: Tutorials - T2 at Conference Room 5
icfp-2016-Tutorials09:15 - 12:45
Talk
Oleg KiselyovTohoku University
Pre-print
icfp-2016-Tutorials
14:00 - 17:30: Tutorials - T4 at Conference Room 5
icfp-2016-Tutorials14:00 - 17:30
Talk
Andres LöhWell-Typed LLP
Pre-print

Fri 23 Sep

icfp-2016-Tutorials
09:15 - 12:45: Tutorials - T6 at Conference Room 5
icfp-2016-Tutorials09:15 - 12:45
Talk
Niki VazouUC San Diego
Pre-print

Sun 18 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Conference Room 5
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 5
09:15 - 12:45
14:00 - 17:30

Fri 23 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Conference Room 5
09:15 - 12:45
14:00 - 17:30

Thu 22 Sep 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Conference Room 5

Fri 23 Sep 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Conference Room 5