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 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

Time Zone

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

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Keynotes and ReportsICFP 2019

Keynotes

Mon 19 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

Wed 21 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Co-hosted Symposiums

Keynotes and ReportsICFP 2019

Keynotes

Program Display Configuration

Mon 19 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

Wed 21 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

Tue 20 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