posted by organizer: ocramz || 724 views || tracked by 2 users: [display]

FHPNC 2019 : Functional High-Performance and Numerical Computing

FacebookTwitterLinkedInGoogle

Link: https://icfp19.sigplan.org/home/FHPNC-2019
 
When Aug 18, 2019 - Aug 18, 2019
Where Berlin, Germany
Submission Deadline May 25, 2019
Notification Due Jun 22, 2019
Final Version Due Jul 13, 2019
Categories    high-performance computing   declarative languages   formal methods   numerical programming
 

Call For Papers

The ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing aims to bring together researchers and practitioners exploring or employing the use of functional or declarative programming languages or techniques in scientific computing, and specifically in the domains of high-performance computing and numerical programming.

The purpose of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative techniques can help make high-performance, distributed/parallel, or numerically-intensive code dealing with computationally challenging problems easier to write, read, maintain, or portable to new hardware architectures. Areas of interest include, but are not limited to:

* relevant compiler technologies
* runtime systems (including fault tolerance mechanisms and those supporting distributed or parallel computation)
* domain-specific languages (embedded or standalone)
* type systems
* formal methods
* software libraries (e.g. for exact or interval arithmetic).

Submission details

Submissions should fall into one of two categories:

* Regular research papers (up to 12 pages)
* Extended abstracts (1 - 2 pages)

The bibliography will not be counted against the page limits for either category.

Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop; they will be evaluated primarily for relevance and interest. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings.

We welcome submissions from PC members (with the exception of the PC Chair), but these submissions will be held to a higher standard.

Submission is handled through the HotCRP site. All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines. Submissions written with LaTeX are required to use the ‘acmart’ format and the two-column ‘sigplan’ subformat (not to be confused with the one-column ‘acmlarge’ subformat!).

Extended Abstracts must be submitted with the label ‘Extended abstract’ clearly in the title.

## Publication

The proceedings of FHPNC 2019 will be published in the ACM Digital Library.

## Related links

* Author Information and LaTeX templates : http://www.sigplan.org/Resources/Author/
* Attendee Code of Conduct: http://www.sigplan.org/Resources/Policies/CodeOfConduct/

Related Resources

HPDC 2021   High Performance Distributed Computing
CAV 2021   33rd International Conference on Computer-Aided Verification
HPCCT--ACM, EI, Scopus 2021   ACM--2021 5th High Performance Computing and Cluster Technologies Conference (HPCCT 2021)--Ei Compendex, Scopus
ICCS 2021   21st International Conference on Computational Science
FM 2021   Formal Methods 2021
ACM--BDSIC--EI Compendex, Scopus 2020   ACM--2020 2nd International Conference on Big-data Service and Intelligent Computation (BDSIC 2020)--EI Compendex, Scopus
ICMAI--ACM, EI Compendex and Scopus 2021   ACM--2021 6th International Conference on Mathematics and Artificial Intelligence (ICMAI 2021)--Ei Compendex, Scopus
NFM 2021   13th NASA Formal Methods Symposium
HP3C--Ei Compendex and Scopus 2021   2021 5th International Conference on High Performance Compilation, Computing and Communications (HP3C 2021)--Ei Compendex, Scopus
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification