Program - ICFP 2018

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00	KeynoteNPFL at Texas Special Chair(s): Dominic Steinitz Tweag I/O

09:00 60m Day opening		Daisy - a framework for sound accuracy analysis and optimization of numerical programs NPFL Eva Darulova MPI-SWS

10:20 - 11:20	Talks INPFL at Texas Special Chair(s): Dominic Steinitz Tweag I/O

10:20 30m Talk		Hasktorch: A Comprehensive Haskell Library for Differentiable Functional Programming NPFL Sam Stites Sentenai, Austin Huang Pfizer
10:50 30m Talk		APLicative Programming with Naperian Functors NPFL Jeremy Gibbons Department of Computer Science, University of Oxford

11:20 - 12:00	Talks IINPFL at Texas Special Chair(s): Dominic Steinitz Tweag I/O

11:20 40m Talk		Error analysis almost for free NPFL Eva Richter Potsdam University, Matti Richter Potsdam University

13:30 - 14:30	Talks IIINPFL at Texas Special Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford

13:30 30m Talk		A Haskell Interface to Sundials via inline-c NPFL Dominic Steinitz Tweag I/O
14:00 30m Talk		On the Calculation of Functions in the Algebra of Physical Space NPFL Nathan Waivio https://github.com/waivio

14:30 - 15:10	Talks IVNPFL at Texas Special Chair(s): Dominic Steinitz Tweag I/O

14:30 40m Talk		Manifolds as Haskell types NPFL Justus Sagemüller Universität zu Köln, Institut für Geophysik und Meteorologie

15:30 - 16:10	Talks VNPFL at Texas Special Chair(s): Dominic Steinitz Tweag I/O

15:30 40m Talk		Exact Real Arithmetic for Geometric Operations NPFL Pavel Panchekha University of Washington

NPFL 2018 Program

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tracks

Workshops

Co-hosted Symposia

NPFL 2018 Program

Switch Program View

Program Display Configuration

Thu 27 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Get Calendar (iCal)

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change