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
Call for Papers
This is a placeholder text.
You can expect more information about the call for papers soon.
This page will have information about the submission and selection process and list the important dates.