Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
VenueHotel Scandic Berlin Potsdamer Platz
Room nameStockholm
Floor0
Room InformationNo extra information available
Program

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

Sun 18 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:20
09:00
10m
Day opening
Welcome
PLMW @ ICFP
David Van HornUniversity of Maryland, USA
09:10
35m
Talk
Effect handler oriented programming
PLMW @ ICFP
Sam LindleyThe University of Edinburgh and Imperial College London
09:45
35m
Talk
Types and verification
PLMW @ ICFP
Niki VazouIMDEA Software Institute
10:50 - 12:10
10:50
40m
Talk
Managing your research, your advisor, your PhD
PLMW @ ICFP
Amal AhmedNortheastern University, USA
11:30
40m
Talk
Time management, family, and quality of life
PLMW @ ICFP
Kathleen FisherTufts University, USA
13:40 - 14:50
13:40
35m
Talk
Functional Programming is Everywhere
PLMW @ ICFP
Ilya SergeyYale-NUS College and National University of Singapore
14:15
35m
Talk
How to give talks that people can follow
PLMW @ ICFP
15:20 - 16:40
15:20
80m
Talk
Social activity
PLMW @ ICFP
Niki VazouIMDEA Software Institute, Joachim BreitnerDFINITY Foundation
17:10 - 18:10
17:10
60m
Talk
Panel Discussion: Research in Functional Programming
PLMW @ ICFP
Simon Peyton JonesMicrosoft, UK, Satnam SinghGoogle Research, Zoe ParaskevopoulouPrinceton University, Jeremy GibbonsDepartment of Computer Science, University of Oxford, Andrey MokhovNewcastle University, UK, Amal AhmedNortheastern University, USA

Fri 23 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
SoundFARM at Stockholm
Chair(s): Youyou CongTokyo Institute of Technology
09:10
30m
Talk
Csound-expression: Haskell framework for computer music
FARM
09:40
30m
Talk
Screaming in the IO monad
FARM
David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
10:30 - 12:00
Music GenerationFARM at Stockholm
Chair(s): David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
10:30
30m
Talk
Music as Language: Putting Probabilistic Temporal Graph Grammars to Good Use
FARM
Orestis MelkonianUtrecht University
11:00
30m
Talk
A Functional Model of Jazz Improvisation
FARM
Donya QuickStevens Institute of Technology, Kelland ThomasStevens Institute of Technology
11:30
30m
Talk
Demo: Counterpoint by Construction
FARM
Youyou CongTokyo Institute of Technology, John LeoHalfaya Research
13:30 - 15:00
Games and GraphicsFARM at Stockholm
Chair(s): April GonçalvesRoskilde University, Denmark
13:30
30m
Talk
Fun with Interfaces (SVG Interfaces for Musical Expression)
FARM
Benedict R. GasterUniversity of the West of England, Nathan RenneyUniversity of West of England, Carinna ParramanUniversity of West of England
14:00
30m
Talk
Mobile Game Programming in Haskell
FARM
Christina ZellerKeera Studios Ltd, Ivan PerezNIA / NASA Formal Methods
14:30
30m
Talk
Demo: Kaleidogen
FARM
Joachim BreitnerDFINITY Foundation
15:20 - 16:30
Live-CodingFARM at Stockholm
Chair(s): Donya QuickStevens Institute of Technology
15:30
30m
Demonstration
Demo: Functors and Music
FARM
DOI
16:00
30m
Talk
The sound of lambda
FARM
Felipe Ignacio NoriegaRobot Theater Electronics, Anne Veinberganne veinberg
16:50 - 18:00
Musical PatternsFARM at Stockholm
Chair(s): Daniel Winograd-CortTarget Corp
16:50
30m
Talk
Analyzing Music with Prefix Trees
FARM
Yan HanUniversity of Cambridge, Nada AminHarvard University, Neel KrishnaswamiComputer Laboratory, University of Cambridge
17:20
30m
Talk
What Constitutes a Musical Pattern?
FARM
Orestis MelkonianUtrecht University, Iris Yuping RenUtrecht University, Wouter SwierstraUtrecht University, Netherlands, Anja VolkUtrecht University

Sun 18 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Stockholm

Fri 23 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Stockholm

Sun 18 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change