Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016
Nara, Japan
Toggle navigation
Attending
Venue: Nara Kasugano International Forum
Travel information
Accommodation
Visas
Registration
Student Travel Support
Student Volunteers
Code of Conduct
Program
ICFP Program
Your Program
Submission and Reviewing FAQ
Call for Sponsorships
Student Research Competition
Filter by Day
Sun 18 Sep
Mon 19 Sep
Tue 20 Sep
Wed 21 Sep
Thu 22 Sep
Fri 23 Sep
Sat 24 Sep
Tracks
ICFP 2016
Keynote Talks
Reports
Research Papers
Tutorials
Workshops
Co-hosted Conferences
CUFP
Workshops
Erlang
FARM
FHPC
HIW
HOPE
ML
OCaml
PLMW
Scheme
TyDe
Co-hosted Symposia
Haskell
Organization
ICFP 2016 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Program Committee
Research Papers
External Review Committee
Tutorials
Contributors
People Index
Co-hosted Conferences
CUFP
Organizing Committee
Program Committee
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPC
Organizing Committee
Program Committee
HIW
Program Committee
HOPE
Program Committee
ML
Program Committee
Steering Committee
OCaml
Organizing Committee
Program Committee
PLMW
Speakers
Organizers
Scheme
Organizing Committee
Program Committee
Steering Committee
TyDe
Organizing Committee
Program Committee
Co-hosted Symposia
Haskell
Organizing Committee
Program Committee
Search
Series
Series
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2016
(
series
) /
Nara Kasugano International Forum
/
Room information: Conference Room 5
Venue
Nara Kasugano International Forum
Room name
Conference Room 5
Floor
2
Room number
5
Capacity
132
Room Information
Annex
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Osaka, Sapporo, Tokyo
.
Use conference time zone: (GMT+09:00) Osaka, Sapporo, Tokyo
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 18 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:15 - 10:15
1
PLMW
at
Conference Room 5
Chair(s):
Amal Ahmed
Northeastern University
09:15
30m
Talk
Welcome to ICFP!
PLMW
Kathleen Fisher
Tufts University
Media Attached
File Attached
09:45
30m
Talk
Rust: PL research in industry
PLMW
Aaron Turon
MPI-SWS
10:45 - 12:15
2
PLMW
at
Conference Room 5
Chair(s):
Amal Ahmed
Northeastern University
10:45
45m
Talk
Basic Mechanics of Operational Semantics
PLMW
David Van Horn
University of Maryland, USA
Link to publication
11:30
45m
Talk
Some Types of Types
PLMW
Philip Wadler
University of Edinburgh
File Attached
14:00 - 15:00
3
PLMW
at
Conference Room 5
Chair(s):
Robert Bruce Findler
Northwestern University
14:00
30m
Talk
Analyzing JavaScript Web Applications in the Wild (Mostly) Statically
PLMW
Sukyoung Ryu
KAIST
File Attached
14:30
30m
Talk
Introduction to Dependent Types
PLMW
Daniel R. Licata
Wesleyan University
Link to publication
15:30 - 16:30
4
PLMW
at
Conference Room 5
Chair(s):
Atsushi Igarashi
Kyoto University
15:30
30m
Talk
Program Transformations for Developing Efficient and Correct Programs with Ease
PLMW
Akimasa Morihata
University of Tokyo, Japan
File Attached
16:00
30m
Talk
How to Write Papers So People Can Read Them
PLMW
Derek Dreyer
MPI-SWS, Germany
File Attached
17:00 - 18:00
5
PLMW
at
Conference Room 5
Chair(s):
Atsushi Igarashi
Kyoto University
17:00
30m
Talk
Principle and Practice of OCaml Type Debugger
PLMW
Kenichi Asai
Ochanomizu University
File Attached
17:30
30m
Talk
Unaccustomed as I am to public speaking
PLMW
John Hughes
Chalmers University of Technology
Thu 22 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:15 - 12:45
T2
Tutorials
at
Conference Room 5
09:15
3h30m
Talk
T2: Extensible Effects: understanding them, implementing them, using them
Tutorials
Oleg Kiselyov
Tohoku University
Pre-print
14:00 - 17:30
T4
Tutorials
at
Conference Room 5
14:00
3h30m
Talk
T4: An Introduction to to Type-Level and Generic Programming in Haskell
Tutorials
Andres Löh
Well-Typed LLP
Pre-print
Fri 23 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:15 - 12:45
T6
Tutorials
at
Conference Room 5
09:15
3h30m
Talk
T6: LiquidHaskell: Verification of Haskell Programs with SMTs
Tutorials
Niki Vazou
UC San Diego
Pre-print
14:00 - 17:30
T8
Tutorials
at
Conference Room 5
14:00
3h30m
Talk
T8: Transforming data into GUI: a new style graphical user interface library for Haskell
Tutorials
Fumiaki Kinoshita
Tsuru Capital
Pre-print
Sun 18 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Conference Room 5
PLMW
1
PLMW
2
PLMW
3
PLMW
4
PLMW
5
Thu 22 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Conference Room 5
Tutorials
T2
Tutorials
T4
Fri 23 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Conference Room 5
Tutorials
T6
Tutorials
T8
Sun 18 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Conference Room 5
PLMW
Welcome to ICFP!
09:15 - 09:45
PLMW
Rust: PL research in industry
09:45 - 10:15
PLMW
Basic Mechanics of Operational Semantics
10:45 - 11:30
PLMW
Some Types of Types
11:30 - 12:15
PLMW
Analyzing JavaScript Web Applications in the Wild (Mostly) Statically
14:00 - 14:30
PLMW
Introduction to Dependent Types
14:30 - 15:00
PLMW
Program Transformations for Developing Efficient and Correct Programs w ...
15:30 - 16:00
PLMW
How to Write Papers So People Can Read Them
16:00 - 16:30
PLMW
Principle and Practice of OCaml Type Debugger
17:00 - 17:30
PLMW
Unaccustomed as I am to public speaking
17:30 - 18:00
Thu 22 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Conference Room 5
ICFP Tutorials
T2: Extensible Effects: understanding them, implementing them, using them
09:15 - 12:45
ICFP Tutorials
T4: An Introduction to to Type-Level and Generic Programming in Haskell
14:00 - 17:30
Fri 23 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Conference Room 5
ICFP Tutorials
T6: LiquidHaskell: Verification of Haskell Programs with SMTs
09:15 - 12:45
ICFP Tutorials
T8: Transforming data into GUI: a new style graphical user interface li ...
14:00 - 17:30
x
Sat 21 Dec 14:10