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

Conference Day
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 DreyerMPI-SWS
09:00
60m
Talk
Blockchains are functional
Keynotes and Reports
Manuel ChakravartyTweag I/O & IOHK
18:00 - 20:00
18:00
2h
Poster
SRC Poster Session
Student Research Competition

Conference Day
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 PottierInria, France
09:00
60m
Talk
Solver-Aided Programming for All
Keynotes and Reports
Emina TorlakUniversity 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 SergeyYale-NUS College and National University of Singapore
18:15 - 19:15
Happy HourCatering at Restaurant

Conference Day
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 PottierInria, France
09:00
60m
Talk
Derivations as computations
Keynotes and Reports
Andrej BauerUniversity 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 PottierInria, France
18:25
5m
Talk
ICFP 2020 Announcement
Keynotes and Reports

18:30 - 19:30
Happy HourCatering at Restaurant