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
Room Information

Annex

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
1PLMW at Conference Room 5
Chair(s): Amal AhmedNortheastern University
09:15
30m
Talk
Welcome to ICFP!
PLMW
Kathleen FisherTufts University
Media Attached File Attached
09:45
30m
Talk
Rust: PL research in industry
PLMW
10:45 - 12:15
2PLMW at Conference Room 5
Chair(s): Amal AhmedNortheastern University
10:45
45m
Talk
Basic Mechanics of Operational Semantics
PLMW
David Van HornUniversity of Maryland, USA
Link to publication
11:30
45m
Talk
Some Types of Types
PLMW
Philip WadlerUniversity of Edinburgh
File Attached
17:00 - 18:00
5PLMW at Conference Room 5
Chair(s): Atsushi IgarashiKyoto University
17:00
30m
Talk
Principle and Practice of OCaml Type Debugger
PLMW
Kenichi AsaiOchanomizu University
File Attached
17:30
30m
Talk
Unaccustomed as I am to public speaking
PLMW
John HughesChalmers University of Technology

Conference Day
Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Conference Day
Fri 23 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Conference Day
Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

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

Conference Day
Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

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

Conference Day
Fri 23 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

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

Conference Day
Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

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

Conference Day
Fri 23 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

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