Write a Blog >>
FARM 2019
Sun 18 - Fri 23 August 2019
Berlin, Germany
co-located with
ICFP 2019
Toggle navigation
Attending
Venue: Hotel Scandic Berlin Potsdamer Platz
Program
Complete Program
Your Program
Sun 18 Aug
Mon 19 Aug
Tue 20 Aug
Wed 21 Aug
Thu 22 Aug
Fri 23 Aug
Track/Call
Organization
FARM 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
FARM 2024
FARM 2023
FARM 2022
FARM 2021
FARM 2020
FARM 2019
FARM 2018
FARM 2017
FARM 2016
Sign in
Sign up
ICFP 2019
(
series
) /
FARM 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 2019
at
Stockholm
Chair(s):
Youyou Cong
Tokyo Institute of Technology
09:10
30m
Talk
Csound-expression: Haskell framework for computer music
FARM 2019
Anton Kholomiov
HXR team
09:40
30m
Talk
Screaming in the IO monad
FARM 2019
David Janin
Bordeaux INP / CNRS LaBRI / Bordeaux University
10:30 - 12:00
Music Generation
FARM 2019
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 2019
Orestis Melkonian
Utrecht University
11:00
30m
Talk
A Functional Model of Jazz Improvisation
FARM 2019
Donya Quick
Stevens Institute of Technology
,
Kelland Thomas
Stevens Institute of Technology
11:30
30m
Talk
Demo: Counterpoint by Construction
FARM 2019
Youyou Cong
Tokyo Institute of Technology
,
John Leo
Halfaya Research
13:30 - 15:00
Games and Graphics
FARM 2019
at
Stockholm
Chair(s):
April Gonçalves
Roskilde University, Denmark
13:30
30m
Talk
Fun with Interfaces (SVG Interfaces for Musical Expression)
FARM 2019
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 2019
Christina Zeller
Keera Studios Ltd
,
Ivan Perez
NIA / NASA Formal Methods
14:30
30m
Talk
Demo: Kaleidogen
FARM 2019
Joachim Breitner
DFINITY Foundation
15:20 - 16:30
Live-Coding
FARM 2019
at
Stockholm
Chair(s):
Donya Quick
Stevens Institute of Technology
15:30
30m
Demonstration
Demo: Functors and Music
FARM 2019
Heinrich Apfelmus
independent
DOI
16:00
30m
Talk
The sound of lambda
FARM 2019
Felipe Ignacio Noriega
Robot Theater Electronics
,
Anne Veinberg
anne veinberg
16:50 - 18:00
Musical Patterns
FARM 2019
at
Stockholm
Chair(s):
Daniel Winograd-Cort
Target Corp
16:50
30m
Talk
Analyzing Music with Prefix Trees
FARM 2019
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 2019
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 2019
Sound
FARM 2019
Music Generation
FARM 2019
Games and Graphics
FARM 2019
Live-Coding
FARM 2019
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
Fri 19 Apr 11:13