ICFP 2019 will feature keynote talks by Andrej Bauer, Manuel Chakravarty, and Emina Torlak.
Keynotes
| Title | |
|---|---|
Dates
Tracks
Mon 19 Aug
09:00 - 10:00: Keynotes and Reports - Monday Keynote at Aurora Borealis Chair(s): Derek DreyerMPI-SWS | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Manuel ChakravartyTweag I/O & IOHK | |||||||||||||||||||||||||||||||||||||||||
Tue 20 Aug
09:00 - 10:00: Keynotes and Reports - Tuesday Keynote at Aurora Borealis Chair(s): François PottierInria, France | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Emina TorlakUniversity of Washington | |||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:30 - 17:45 Awards | ||||||||||||||||||||||||||||||||||||||||||
| 17:45 - 18:15 Awards | Ilya SergeyYale-NUS College and National University of Singapore | |||||||||||||||||||||||||||||||||||||||||
Wed 21 Aug
09:00 - 10:00: Keynotes and Reports - Wednesday Keynote at Aurora Borealis Chair(s): François PottierInria, France | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Andrej BauerUniversity of Ljubljana | |||||||||||||||||||||||||||||||||||||||||
| 18:00 - 18:10 Awards | ||||||||||||||||||||||||||||||||||||||||||
| 18:10 - 18:25 Talk | François PottierInria, France | |||||||||||||||||||||||||||||||||||||||||
| 18:25 - 18:30 Talk | ||||||||||||||||||||||||||||||||||||||||||