Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
ICFP 2019 (series) /

Keynotes and ReportsICFP 2019

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

Keynotes

Title
Blockchains are functional
Keynotes and Reports
Manuel Chakravarty
Derivations as computations
Keynotes and Reports
Andrej Bauer
ICFP 2020 Announcement
Keynotes and Reports
Programming Contest Report
Keynotes and Reports
Ilya Sergey
Solver-Aided Programming for All
Keynotes and Reports
Emina Torlak
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
Times are displayed in 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 - 10:00
Talk		Blockchains are functional
Keynotes and Reports
Manuel ChakravartyTweag I/O & IOHK
18:00 - 20:00: SRC Poster SessionStudent Research Competition at Restaurant
18:00 - 20:00
Poster		SRC Poster Session
Student Research Competition

Tue 20 Aug
Times are displayed in 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 - 10:00
Talk		Solver-Aided Programming for All
Keynotes and Reports
Emina TorlakUniversity of Washington
12:00 - 13:30: LunchCatering at Restaurant
16:50 - 18:15: Tuesday ReportKeynotes and Reports / Student Research Competition at Aurora Borealis
16:50 - 17:30
Talk		SRC Finalist Presentation
Student Research Competition
17:30 - 17:45
Awards		SIGPLAN Awards
Keynotes and Reports
17:45 - 18:15
Awards		Programming Contest Report
Keynotes and Reports
Ilya SergeyYale-NUS College and National University of Singapore
18:15 - 19:15: Happy HourCatering at Restaurant

Wed 21 Aug
Times are displayed in 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 - 10:00
Talk		Derivations as computations
Keynotes and Reports
Andrej BauerUniversity of Ljubljana
12:00 - 13:30: LunchCatering at Restaurant
18:00 - 18:30: Wednesday ReportKeynotes and Reports / Student Research Competition at Aurora Borealis
18:00 - 18:10
Awards		SRC Awards Presentation
Student Research Competition
18:10 - 18:25
Talk		Program Chair's Report
Keynotes and Reports
François PottierInria, France
18:25 - 18:30
Talk		ICFP 2020 Announcement
Keynotes and Reports
18:30 - 19:30: Happy HourCatering at Restaurant