Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

Videos are available online.

This workshop aims to bring together researchers and practitioners exploring and utilising functional or declarative programming languages to solve numerically oriented problems including but not limited to

  • Embedded domain specific languages for expressing numerical problems and generating efficient code e.g. generating llvm à la Julia / Haskell accelerate
  • Use of types to ensure static correctness of matrix and higher rank computations e.g. use Naperian aka representable functors for statically type APL-like programming
  • Dynamical systems / solving systems of ODEs
  • PDEs using e.g. grid-based methods, method of characteristics, method of lines
  • Inferring parameters for statistical models using techniques such as Sequential Monte Carlo / Hamiltonian Monte Carlo
  • Data exploration, reproducibility
  • Use of e.g SMT theorem proving, interval and affine arithmetic and function derivatives to prove error bounds for programs using floating point arithmetic
  • Formal verification of numerical analysis programs for example using e.g the Coq proof assistant
  • Global approximation methods chebyshev polynomials
  • Compiler optimisations
  • Exact real arithmetic / interval arithmetic
  • Using type systems to annotate values with physical units

Invited Speaker

Eva Darulova of MPI-SWS (Max Planck Institute for Software Systems) will give the keynote.

Eva Darulova

Thu 27 Sep

npfl-2018-papers
09:00 - 10:00: NPFL 2018 - Keynote at Texas Special
Chair(s): Dominic Steinitz
npfl-2018-papers09:00 - 10:00
Day opening
npfl-2018-papers
10:20 - 11:20: NPFL 2018 - Talks I at Texas Special
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers10:20 - 10:50
Talk
Sam StitesSentenai, Austin HuangPfizer
npfl-2018-papers10:50 - 11:20
Talk
Jeremy GibbonsDepartment of Computer Science, University of Oxford
npfl-2018-papers
11:20 - 12:00: NPFL 2018 - Talks II at Texas Special
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers11:20 - 12:00
Talk
Eva RichterPotsdam University, Matti RichterPotsdam University
npfl-2018-papers
13:30 - 14:30: NPFL 2018 - Talks III at Texas Special
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
npfl-2018-papers13:30 - 14:00
Talk
npfl-2018-papers14:00 - 14:30
Talk
Nathan Waiviohttps://github.com/waivio
npfl-2018-papers
14:30 - 15:10: NPFL 2018 - Talks IV at Texas Special
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers14:30 - 15:10
Talk
Justus SagemüllerUniversität zu Köln, Institut für Geophysik und Meteorologie
npfl-2018-papers
15:30 - 16:10: NPFL 2018 - Talks V at Texas Special
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers15:30 - 16:10
Talk
Pavel PanchekhaUniversity of Washington

Call for Papers

We invite submissions in the form of an abstract of 200-300 words (half a page to a page). There will be no proceedings although we hope to be able to make videos of the talks available.

Talks can be on experiences of using functional languages in numerical applications and also on theoretical aspects of numerical computing in functional languages.

Topics of interest include (but not limited to):

  • Embedded domain specific languages for expressing numerical problems and generating efficient code e.g. generating llvm à la Julia / Haskell accelerate
  • Use of types to ensure static correctness of matrix and higher rank computations e.g. use Naperian aka representable functors for statically typed APL-like programming
  • Dynamical systems / solving systems of ODEs
  • PDEs using e.g. grid-based methods, method of characteristics, method of lines
  • Inferring parameters for statistical models using techniques such as Sequential Monte Carlo / Hamiltonian Monte Carlo
  • Data exploration, reproducibility
  • Use of e.g SMT theorem proving, interval and affine arithmetic and function derivatives to prove error bounds for programs using floating point arithmetic
  • Formal verification of numerical analysis programs for example using e.g the Coq proof assistant
  • Global approximation methods by e.g. Chebyshev polynomials
  • Compiler optimisations
  • Exact real arithmetic / interval arithmetic / ball arithmetic
  • Using type systems to annotate values with physical units

In case it is not obvious, all submissions should be related to numerical methods and functional programming.

Instructions to authors

Abstracts should be submitted online via hotcrp and submitted papers should be in portable document format (PDF).

Related Links

Dates

  • Friday 13th July Submission Deadline
  • Friday 10th August Author Notification
  • Thursday 27th September Numerical Methods in Functional Programming Workshop