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
Conference DayMon 19 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Conference Day
Mon 19 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mTalk | Blockchains are functional Keynotes and Reports Manuel ChakravartyTweag I/O & IOHK | ||
18:00 - 20:00 | |||
18:00 2hPoster | SRC Poster Session Student Research Competition | ||
Conference DayTue 20 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Conference Day
Tue 20 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mTalk | Solver-Aided Programming for All Keynotes and Reports Emina TorlakUniversity of Washington | ||
12:00 - 13:30 | |||
16:50 - 18:15 | |||
16:50 40mTalk | SRC Finalist Presentation Student Research Competition | ||
17:30 15mAwards | SIGPLAN Awards Keynotes and Reports | ||
17:45 30mAwards | Programming Contest Report Keynotes and Reports Ilya SergeyYale-NUS College and National University of Singapore | ||
18:15 - 19:15 | |||
Conference DayWed 21 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Conference Day
Wed 21 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mTalk | Derivations as computations Keynotes and Reports Andrej BauerUniversity of Ljubljana | ||
12:00 - 13:30 | |||
18:00 - 18:30 | |||
18:00 10mAwards | SRC Awards Presentation Student Research Competition | ||
18:10 15mTalk | Program Chair's Report Keynotes and Reports François PottierInria, France | ||
18:25 5mTalk | ICFP 2020 Announcement Keynotes and Reports | ||
18:30 - 19:30 | |||