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
Mon 19 Aug Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 19 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 Talk | Blockchains are functional Keynotes and Reports Manuel ChakravartyTweag I/O & IOHK |
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
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 |
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 |
Wed 21 Aug Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 |
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 |