ICFP 2019 - Keynotes and Reports

Sun 18 - Fri 23 August 2019 Berlin, Germany

About
Program

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

Keynotes

	Title
	Blockchains are functional Manuel Chakravarty
	Derivations as computations Andrej Bauer
	ICFP 2020 Announcement
	Programming Contest Report Ilya Sergey
	Solver-Aided Programming for All Emina Torlak

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

Apply

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: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Keynotes and Reports - Monday Keynote at Aurora Borealis
Chair(s): Derek DreyerMPI-SWS

09:00 - 10:00
Talk

Blockchains are functional

Manuel ChakravartyTweag I/O & IOHK

18:00 - 20:00: Student Research Competition - SRC Poster Session at Restaurant

18:00 - 20:00
Poster

SRC Poster Session

Tue 20 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Keynotes and Reports - Tuesday Keynote at Aurora Borealis
Chair(s): François PottierInria, France

09:00 - 10:00
Talk

Solver-Aided Programming for All

Emina TorlakUniversity of Washington

12:00 - 13:30: Catering - Lunch at Restaurant

16:50 - 18:15: Keynotes and Reports - Tuesday Report at Aurora Borealis

16:50 - 17:30
Talk

SRC Finalist Presentation

17:30 - 17:45
Awards

SIGPLAN Awards

17:45 - 18:15
Awards

Programming Contest Report

Ilya SergeyYale-NUS College and National University of Singapore

18:15 - 19:15: Catering - Happy Hour at Restaurant

Wed 21 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Keynotes and Reports - Wednesday Keynote at Aurora Borealis
Chair(s): François PottierInria, France

09:00 - 10:00
Talk

Derivations as computations

Andrej BauerUniversity of Ljubljana

12:00 - 13:30: Catering - Lunch at Restaurant

18:00 - 18:30: Keynotes and Reports - Wednesday Report at Aurora Borealis

18:00 - 18:10
Awards

SRC Awards Presentation

18:10 - 18:25
Talk

Program Chair's Report

François PottierInria, France

18:25 - 18:30
Talk

ICFP 2020 Announcement

18:30 - 19:30: Catering - Happy Hour at Restaurant

Keynotes and ReportsICFP 2019

Keynotes

Mon 19 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Co-hosted Symposiums

Keynotes and ReportsICFP 2019

Keynotes

Display in different time zone

Mon 19 Aug Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Aug Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 Aug Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change