Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019
Berlin, Germany
Toggle navigation
Attending
Venue: Hotel Scandic Berlin Potsdamer Platz
Local Information
Travel info
Registration
Code of Conduct
Remote participation
Students
Visa
Call For Sponsorship
Program
Complete Program
Your Program
Sun 18 Aug
Mon 19 Aug
Tue 20 Aug
Wed 21 Aug
Thu 22 Aug
Fri 23 Aug
Tracks
ICFP 2019
Keynotes and Reports
Research Papers
Workshops
Tutorials
Research Artifacts
Student Volunteering
Student Research Competition
Workshops
Erlang
FARM
FHPNC
HIW
ML
OCaml
PLMW @ ICFP
Scheme
TyDe
miniKanren
Co-hosted Symposia
Haskell
Organization
ICFP 2019 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Program Committee
External Review Committee
Research Artifacts
Student Volunteering
Student Research Competition
Poster and Presentation Judges
Program Committee
Contributors
People Index
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPNC
Organizing Committee
Program Committee
HIW
Program Committee
ML
Organizing Committee
Program Committee
OCaml
Organizing Committee
Program Committee
PLMW @ ICFP
Organizing Committee
Speakers
Scheme
Organizing Committee
Program Committee
TyDe
Organizing Committee
Program Committee
miniKanren
Organizing Committee
Program Committee
Co-hosted Symposia
Haskell
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 2019
(
series
) /
Hotel Scandic Berlin Potsdamer Platz
/
Room information: Stockholm
Venue
Hotel Scandic Berlin Potsdamer Platz
Room name
Stockholm
Floor
0
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+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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-06: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-04: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 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:20
Session 1
PLMW @ ICFP
at
Stockholm
09:00
10m
Day opening
Welcome
PLMW @ ICFP
David Van Horn
University of Maryland, USA
09:10
35m
Talk
Effect handler oriented programming
PLMW @ ICFP
Sam Lindley
The University of Edinburgh and Imperial College London
09:45
35m
Talk
Types and verification
PLMW @ ICFP
Niki Vazou
IMDEA Software Institute
10:50 - 12:10
Session 2
PLMW @ ICFP
at
Stockholm
10:50
40m
Talk
Managing your research, your advisor, your PhD
PLMW @ ICFP
Amal Ahmed
Northeastern University, USA
11:30
40m
Talk
Time management, family, and quality of life
PLMW @ ICFP
Kathleen Fisher
Tufts University, USA
13:40 - 14:50
Session 3
PLMW @ ICFP
at
Stockholm
13:40
35m
Talk
Functional Programming is Everywhere
PLMW @ ICFP
Ilya Sergey
Yale-NUS College and National University of Singapore
14:15
35m
Talk
How to give talks that people can follow
PLMW @ ICFP
Derek Dreyer
MPI-SWS
15:20 - 16:40
Session 4
PLMW @ ICFP
at
Stockholm
15:20
80m
Talk
Social activity
PLMW @ ICFP
Niki Vazou
IMDEA Software Institute
,
Joachim Breitner
DFINITY Foundation
17:10 - 18:10
Session 5
PLMW @ ICFP
at
Stockholm
17:10
60m
Talk
Panel Discussion: Research in Functional Programming
PLMW @ ICFP
Simon Peyton Jones
Microsoft, UK
,
Satnam Singh
Google Research
,
Zoe Paraskevopoulou
Princeton University
,
Jeremy Gibbons
Department of Computer Science, University of Oxford
,
Andrey Mokhov
Newcastle University, UK
,
Amal Ahmed
Northeastern University, USA
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Sound
FARM
at
Stockholm
Chair(s):
Youyou Cong
Tokyo Institute of Technology
09:10
30m
Talk
Csound-expression: Haskell framework for computer music
FARM
Anton Kholomiov
HXR team
09:40
30m
Talk
Screaming in the IO monad
FARM
David Janin
Bordeaux INP / CNRS LaBRI / Bordeaux University
10:30 - 12:00
Music Generation
FARM
at
Stockholm
Chair(s):
David Janin
Bordeaux INP / CNRS LaBRI / Bordeaux University
10:30
30m
Talk
Music as Language: Putting Probabilistic Temporal Graph Grammars to Good Use
FARM
Orestis Melkonian
Utrecht University
11:00
30m
Talk
A Functional Model of Jazz Improvisation
FARM
Donya Quick
Stevens Institute of Technology
,
Kelland Thomas
Stevens Institute of Technology
11:30
30m
Talk
Demo: Counterpoint by Construction
FARM
Youyou Cong
Tokyo Institute of Technology
,
John Leo
Halfaya Research
13:30 - 15:00
Games and Graphics
FARM
at
Stockholm
Chair(s):
April Gonçalves
Roskilde University, Denmark
13:30
30m
Talk
Fun with Interfaces (SVG Interfaces for Musical Expression)
FARM
Benedict R. Gaster
University of the West of England
,
Nathan Renney
University of West of England
,
Carinna Parraman
University of West of England
14:00
30m
Talk
Mobile Game Programming in Haskell
FARM
Christina Zeller
Keera Studios Ltd
,
Ivan Perez
NIA / NASA Formal Methods
14:30
30m
Talk
Demo: Kaleidogen
FARM
Joachim Breitner
DFINITY Foundation
15:20 - 16:30
Live-Coding
FARM
at
Stockholm
Chair(s):
Donya Quick
Stevens Institute of Technology
15:30
30m
Demonstration
Demo: Functors and Music
FARM
Heinrich Apfelmus
independent
DOI
16:00
30m
Talk
The sound of lambda
FARM
Felipe Ignacio Noriega
Robot Theater Electronics
,
Anne Veinberg
anne veinberg
16:50 - 18:00
Musical Patterns
FARM
at
Stockholm
Chair(s):
Daniel Winograd-Cort
Target Corp
16:50
30m
Talk
Analyzing Music with Prefix Trees
FARM
Yan Han
University of Cambridge
,
Nada Amin
Harvard University
,
Neel Krishnaswami
Computer Laboratory, University of Cambridge
17:20
30m
Talk
What Constitutes a Musical Pattern?
FARM
Orestis Melkonian
Utrecht University
,
Iris Yuping Ren
Utrecht University
,
Wouter Swierstra
Utrecht University, Netherlands
,
Anja Volk
Utrecht University
Sun 18 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
18:00
30
Stockholm
PLMW @ ICFP
Session 1
PLMW @ ICFP
Session 2
PLMW @ ICFP
Session 3
PLMW @ ICFP
Session 4
PLMW @ ICFP
Session 5
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
Stockholm
FARM
Sound
FARM
Music Generation
FARM
Games and Graphics
FARM
Live-Coding
FARM
Musical Patterns
Sun 18 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
18:00
15
30
45
Stockholm
PLMW @ ICFP
Welcome
09:00 - 09:10
PLMW @ ICFP
Effect handler oriented programming
09:10 - 09:45
PLMW @ ICFP
Types and verification
09:45 - 10:20
PLMW @ ICFP
Managing your research, your advisor, your PhD
10:50 - 11:30
PLMW @ ICFP
Time management, family, and quality of life
11:30 - 12:10
PLMW @ ICFP
Functional Programming is Everywhere
13:40 - 14:15
PLMW @ ICFP
How to give talks that people can follow
14:15 - 14:50
PLMW @ ICFP
Social activity
15:20 - 16:40
PLMW @ ICFP
Panel Discussion: Research in Functional Programming
17:10 - 18:10
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
Stockholm
FARM
Csound-expression: Haskell framework for computer music
09:10 - 09:40
FARM
Screaming in the IO monad
09:40 - 10:10
FARM
Music as Language: Putting Probabilistic Temporal Graph Grammars to Goo ...
10:30 - 11:00
FARM
A Functional Model of Jazz Improvisation
11:00 - 11:30
FARM
Demo: Counterpoint by Construction
11:30 - 12:00
FARM
Fun with Interfaces (SVG Interfaces for Musical Expression)
13:30 - 14:00
FARM
Mobile Game Programming in Haskell
14:00 - 14:30
FARM
Demo: Kaleidogen
14:30 - 15:00
FARM
Demo: Functors and Music
15:30 - 16:00
FARM
The sound of lambda
16:00 - 16:30
FARM
Analyzing Music with Prefix Trees
16:50 - 17:20
FARM
What Constitutes a Musical Pattern?
17:20 - 17:50
x
Tue 12 Nov 21:30