Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany

ICFP 2019 will feature keynote talks by Andrej Bauer, Manuel Chakravarty, and Emina Torlak.

Keynotes

Title
Blockchains are functional
Keynotes and Reports
Derivations as computations
Keynotes and Reports
ICFP 2020 Announcement
Keynotes and Reports

Programming Contest Report
Keynotes and Reports
Solver-Aided Programming for All
Keynotes and Reports
Dates
Tracks
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 19 Aug

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

09:00 - 10:00
Monday KeynoteKeynotes and Reports at Aurora Borealis
Chair(s): Derek Dreyer MPI-SWS
09:00
60m
Talk
Blockchains are functional
Keynotes and Reports
Manuel Chakravarty Tweag I/O & IOHK
18:00 - 20:00
18:00
2h
Poster
SRC Poster Session
Student Research Competition

Tue 20 Aug

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

09:00 - 10:00
Tuesday KeynoteKeynotes and Reports at Aurora Borealis
Chair(s): François Pottier Inria, France
09:00
60m
Talk
Solver-Aided Programming for All
Keynotes and Reports
Emina Torlak University of Washington
12:00 - 13:30
16:50 - 18:15
16:50
40m
Talk
SRC Finalist Presentation
Student Research Competition

17:30
15m
Awards
SIGPLAN Awards
Keynotes and Reports

17:45
30m
Awards
Programming Contest Report
Keynotes and Reports
Ilya Sergey Yale-NUS College and National University of Singapore
18:15 - 19:15
Happy HourCatering at Restaurant

Wed 21 Aug

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

09:00 - 10:00
Wednesday KeynoteKeynotes and Reports at Aurora Borealis
Chair(s): François Pottier Inria, France
09:00
60m
Talk
Derivations as computations
Keynotes and Reports
Andrej Bauer University of Ljubljana
12:00 - 13:30
18:00 - 18:30
18:00
10m
Awards
SRC Awards Presentation
Student Research Competition

18:10
15m
Talk
Program Chair's Report
Keynotes and Reports
François Pottier Inria, France
18:25
5m
Talk
ICFP 2020 Announcement
Keynotes and Reports

18:30 - 19:30
Happy HourCatering at Restaurant