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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:20
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
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
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
15:20
80m
Talk
Social activity
PLMW @ ICFP
Niki Vazou IMDEA Software Institute, Joachim Breitner DFINITY Foundation
17:10 - 18:10
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
SoundFARM at Stockholm
Chair(s): Youyou Cong Tokyo 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 Janin Bordeaux INP / CNRS LaBRI / Bordeaux University
10:30 - 12:00
Music GenerationFARM 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 GraphicsFARM 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-CodingFARM 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 PatternsFARM 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

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

Fri 23 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Sun 18 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change