Program - ICFP 2024

Detailed Table Session Timeline Detailed Timeline

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

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:30 - 10:30	FUNARCH KeynoteFUNARCH at Meeting 6 Chair(s): Michael Sperber Active Group GmbH

09:30 60m Keynote		Architecting Functional Programs FUNARCH Marco Sampellegrini

11:00 - 12:30	FUNARCH Talks #1FUNARCH at Meeting 6 Chair(s): Perdita Stevens University of Edinburgh

11:00 45m Research paper		F3: A Compiler For Feature Engineering FUNARCH Weixi Ma Meta, Arnaud Venet Facebook, Junhua Gu Meta, Subbu Subramanian Meta, Siyu Wang Meta, Rocky Liu Meta, Daniel Friedman Indiana University, Yafei Yang
11:45 45m Experience report		Design and implementation of a verified interpreter for additive manufacturing programs FUNARCH Matthew Sottle Lawrence Livermore National Laboratory, Mohit Tekriwal Lawrence Livermore National Laboratory

14:00 - 15:30	FUNARCH Talks #2FUNARCH at Meeting 6 Chair(s): Michael Sperber Active Group GmbH

14:00 45m Experience report		Applying Continuous Formal Methods to Cardano FUNARCH James Chapman Input Output, Arnaud Bailly IOHK, Polina Vinogradova IOHK
14:45 45m Experience report		Continuations: what have they ever done for us? FUNARCH Marc Kaufman Central European University, Bogdan Popa

16:00 - 17:30	FUNARCH Talks #3FUNARCH at Meeting 6 Chair(s): Perdita Stevens University of Edinburgh

16:00 45m Experience report		Bidirectional Data Transformations FUNARCH Marcus Crestani Active Group GmbH, Markus Schlegel Active Group GmbH, Marco Schneider Active Group GmbH
16:45 45m Panel		Future of FUNARCH FUNARCH Michael Sperber Active Group GmbH

FUNARCH 2024 Program

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Co-hosted Symposia

FUNARCH 2024 Program

Switch Program View

Program Display Configuration

Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change