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 3
Venue
Nara Kasugano International Forum
Room name
Conference Room 3
Floor
2
Room number
3
Capacity
100
Room Information
No extra information available
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:10 - 10:15
Welcome and Invited Talk
HOPE
at
Conference Room 3
09:10
5m
Day opening
Opening remarks
HOPE
Lars Birkedal
Aarhus University, Denmark
,
Aleksandar Nanevski
IMDEA Software Institute
09:15
60m
Talk
Effective programming: bringing algebraic effects and handlers to OCaml
HOPE
Leo White
Jane Street
10:45 - 12:15
Session 1 (Effects)
HOPE
at
Conference Room 3
10:45
30m
Talk
Effects as Capabilities
HOPE
Fengyun Liu
EPFL
,
Nicolas Stucki
EPFL, LAMP
,
Sandro Stucki
EPFL
,
Nada Amin
EPFL
,
Martin Odersky
Ecole Polytechnique Federale de Lausanne
11:15
30m
Talk
A Logical Account of a Type-and-Effect System
HOPE
Morten Krogh-Jespersen
Aarhus University
,
Kasper Svendsen
Aarhus University
,
Lars Birkedal
Aarhus University, Denmark
11:45
30m
Talk
Simple Dependent Polymorphic I/O Effects
HOPE
Amin Timany
,
Bart Jacobs
iMinds - Distrinet, KU Leuven
14:00 - 15:00
Session 2 (Verification)
HOPE
at
Conference Room 3
14:00
30m
Talk
Concurrent Data Structures Linked in Time
HOPE
Germán Andrés Delbianco
IMDEA Software Institute
,
Ilya Sergey
University College London, UK
,
Aleksandar Nanevski
IMDEA Software Institute
,
Anindya Banerjee
IMDEA Software Institute
14:30
30m
Talk
Growing a Proof Assistant
HOPE
William J. Bowman
Northeastern University
15:30 - 16:30
Session 3 (Compilation)
HOPE
at
Conference Room 3
15:30
30m
Talk
Type Directed Compilation of Row-typed Algebraic Effects
HOPE
Daan Leijen
Microsoft Research
Link to publication
16:00
30m
Talk
Administrative normal form, continued: Sharing control in direct style
HOPE
Luke Maurer
University of Oregon, USA
,
Paul Downen
University of Oregon, USA
,
Zena M. Ariola
University of Oregon, USA
,
Simon Peyton Jones
Microsoft Research, UK
17:00 - 17:30
Session 4 (Semantics)
HOPE
at
Conference Room 3
17:00
30m
Talk
Functional models of full ground, and general, reference cells
HOPE
Ohad Kammar
,
Sean Moss
Sat 24 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:15 - 10:15
1
FARM
at
Conference Room 3
09:15
30m
Talk
Bithoven: Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis
FARM
Jay McCarthy
University of Massachusetts Lowell
09:45
30m
Talk
Structured reactive programming with polymorphic temporal tiles
FARM
Simon Archipoff
CNRS LaBRI, Inria Bordeaux,
,
David Janin
University of Bordeaux
10:35 - 11:25
2
FARM
at
Conference Room 3
10:35
25m
Talk
Demo: Juniper: A Functional Reactive Programming Language for the Arduino
FARM
Caleb Helbling
Tufts University
,
Sam Guyer
11:00
25m
Talk
Juniper: A Functional Reactive Programming Language for the Arduino
FARM
Caleb Helbling
Tufts University
,
Sam Guyer
11:45 - 12:35
3
FARM
at
Conference Room 3
11:45
25m
Talk
Arrp: A Functional Language with Multi-dimensional Signals and Recurrence Equations
FARM
Jakob Leben
University of Victoria
12:10
25m
Talk
Demo: Klangmeister
FARM
Chris Ford
ThoughtWorks (UK) Ltd.
14:00 - 14:50
4
FARM
at
Conference Room 3
14:00
25m
Talk
Demo: VoxelCAD, a collaborative voxel-based CAD tool
FARM
Csongor Kiss
Imperial College London
,
Toby Shaw
Imperial College London
Link to publication
14:25
25m
Talk
o.OM: Structured-Functional Communication between Computer Music Systems using OSC and Odot
FARM
Jean Bresson
UMR STMS: IRCAM-CNRS-UPMC
,
John MacCallum
CNMAT - UC Berkeley
,
Adrian Freed
CNMAT - UC Berkeley
15:20 - 16:10
5
FARM
at
Conference Room 3
15:20
25m
Talk
Call for Collaboration: Computational Musicology, ????, Profit
FARM
Chris Ford
ThoughtWorks (UK) Ltd.
15:45
25m
Talk
Demo: Alda: A text-based music composition language
FARM
Dave Yarwood
Adzerk
Link to publication
16:40 - 18:00
6
FARM
at
Conference Room 3
16:40
40m
Talk
A Livecoding Semantics for Functional Reactive Programming
FARM
Tom Murphy
17:20
40m
Talk
Demo: Epimorphism
FARM
Francis Shuman
Link to publication
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 3
HOPE
Welcome and Invited Talk
HOPE
Session 1 (Effects)
HOPE
Session 2 (Verification)
HOPE
Session 3 (Compilation)
HOPE
Session 4 (Semantics)
Sat 24 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 3
FARM
1
FARM
2
FARM
3
FARM
4
FARM
5
FARM
6
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 3
HOPE
Opening remarks
09:10 - 09:15
HOPE
Effective programming: bringing algebraic effects and handlers to OCaml
09:15 - 10:15
HOPE
Effects as Capabilities
10:45 - 11:15
HOPE
A Logical Account of a Type-and-Effect System
11:15 - 11:45
HOPE
Simple Dependent Polymorphic I/O Effects
11:45 - 12:15
HOPE
Concurrent Data Structures Linked in Time
14:00 - 14:30
HOPE
Growing a Proof Assistant
14:30 - 15:00
HOPE
Type Directed Compilation of Row-typed Algebraic Effects
15:30 - 16:00
HOPE
Administrative normal form, continued: Sharing control in direct style
16:00 - 16:30
HOPE
Functional models of full ground, and general, reference cells
17:00 - 17:30
Sat 24 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 3
FARM
Bithoven: Gödel Encoding of Chamber Music and Functional 8-Bit Audio Sy ...
09:15 - 09:45
FARM
Structured reactive programming with polymorphic temporal tiles
09:45 - 10:15
FARM
Demo: Juniper: A Functional Reactive Programming Language for the Arduino
10:35 - 11:00
FARM
Juniper: A Functional Reactive Programming Language for the Arduino
11:00 - 11:25
FARM
Arrp: A Functional Language with Multi-dimensional Signals and Recurren ...
11:45 - 12:10
FARM
Demo: Klangmeister
12:10 - 12:35
FARM
Demo: VoxelCAD, a collaborative voxel-based CAD tool
14:00 - 14:25
FARM
o.OM: Structured-Functional Communication between Computer Music System ...
14:25 - 14:50
FARM
Call for Collaboration: Computational Musicology, ????, Profit
15:20 - 15:45
FARM
Demo: Alda: A text-based music composition language
15:45 - 16:10
FARM
A Livecoding Semantics for Functional Reactive Programming
16:40 - 17:20
FARM
Demo: Epimorphism
17:20 - 18:00
x
Sat 21 Dec 13:46