Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Filter
Dates
Rooms
Tracks
Badges
Your Program

Thu 22 Aug

haskellsymp-2019-papers
09:00 - 10:00: Haskell 2019 - Keynote at Aurora Borealis
Chair(s): Richard A. EisenbergBryn Mawr College, USA
haskellsymp-2019-papers09:00 - 10:00
Talk
File Attached
haskellsymp-2019-papers
10:30 - 12:00: Haskell 2019 - Paper Session 1: Classes & Instances at Aurora Borealis
Chair(s): Jose CalderonGalois, Inc.
haskellsymp-2019-papers10:30 - 11:00
Research paper
Koen PauwelsKU Leuven, Georgios KarachaliasKU Leuven, Belgium, Michiel DerhaegGuardsquare, Tom SchrijversKU Leuven
haskellsymp-2019-papers11:00 - 11:30
Research paper
Ryan ScottIndiana University at Bloomington, USA, Ryan R. NewtonIndiana University
Pre-print File Attached
haskellsymp-2019-papers11:30 - 12:00
Research paper
Dominique DevrieseVrije Universiteit Brussel
File Attached
haskellsymp-2019-papers
13:30 - 15:00: Haskell 2019 - Paper Session 2: Verification at Aurora Borealis
Chair(s): Ningning XieThe University of Hong Kong
haskellsymp-2019-papers13:30 - 14:00
Research paper
Jan ChristiansenFlensburg University of Applied Sciences, Germany, Sandra DylusUniversity of Kiel, Germany, Niels BunkenburgUniversity of Kiel, Germany
haskellsymp-2019-papers14:00 - 14:30
Talk
File Attached
haskellsymp-2019-papers14:30 - 15:00
Experience report
Andrey MokhovNewcastle University, UK, Georgy LukyanovNewcastle University, UK, Jakob LechnerRUAG Space Austria GmbH
haskellsymp-2019-papers
15:20 - 16:30: Haskell 2019 - Paper Session 3: SMT & Arity at Aurora Borealis
Chair(s): Eric SeidelBloomberg LP
haskellsymp-2019-papers15:20 - 15:50
Research paper
William T. HallahanYale University, Anton XueYale University, Ruzica PiskacYale University, USA
haskellsymp-2019-papers15:50 - 16:20
Talk
Paul DownenUniversity of Oregon, USA, Zachary Sullivan, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK
haskellsymp-2019-papers
16:50 - 18:15: Haskell 2019 - Paper Session 4: Metaprogramming at Aurora Borealis
Chair(s): Christiaan BaaijQBayLogic B.V.
haskellsymp-2019-papers16:50 - 17:20
Research paper
Matthew PickeringUniversity of Bristol, Nicolas WuImperial College London, Csongor KissImperial College London
haskellsymp-2019-papers17:20 - 17:50
Research paper
Matthew PickeringUniversity of Bristol, Nicolas WuImperial College London, Boldizsár NémethEötvös Loránd University
haskellsymp-2019-papers17:50 - 18:00
Other
Richard A. EisenbergBryn Mawr College, USA

Fri 23 Aug

haskellsymp-2019-papers
09:00 - 10:00: Haskell 2019 - Keynote at Aurora Borealis
Chair(s): Niki VazouIMDEA Software Institute
haskellsymp-2019-papers09:00 - 10:00
Talk
haskellsymp-2019-papers
10:30 - 12:00: Haskell 2019 - Paper Session 5: FRP at Aurora Borealis
Chair(s): Christine RizkallahUNSW Sydney
haskellsymp-2019-papers10:30 - 11:00
Research paper
Sebastian Ertel, Justus AdamTechnische Universität Dresden, Norman A. RinkTU Dresden, Germany, Andrés Goens, Jeronimo CastrillonTU Dresden, Germany
haskellsymp-2019-papers11:00 - 11:30
Research paper
Bernd Finkbeiner, Felix KleinSaarland University, Ruzica PiskacYale University, USA, Mark SantolucitoYale University, USA
haskellsymp-2019-papers11:30 - 12:00
Talk
Manuel Bärenzsonnen eServices GmbH
File Attached
haskellsymp-2019-papers
13:30 - 15:00: Haskell 2019 - Paper Session 6: Effects at Aurora Borealis
Chair(s): Ki Yung AhnHannam University
haskellsymp-2019-papers13:30 - 14:00
Research paper
Tom SchrijversKU Leuven, Maciej PirógUniversity of Wrocław, Nicolas WuImperial College London, Mauro JaskelioffCONICET, Argentina
haskellsymp-2019-papers14:00 - 14:30
Research paper
Anton EkbladChalmers University of Technology

Thu 22 Aug 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Aurora Borealis
09:00 - 10:00

Fri 23 Aug 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Aurora Borealis
09:00 - 10:00
15:20 - 16:30
16:50 - 18:00
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)