ICFP 2020 : International Conference on Functional Programming

in Conferences   Posted on September 8, 2019 

Conference Information

Submission Deadline Tuesday 03 Mar 2020 Proceedings indexed by :
Conference Dates Aug 24, 2020 - Aug 26, 2020
Conference Address Jersey City, United States
Conference & Submission Link https://icfp20.sigplan.org/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Impact Score 2.81
#Contributing Top Scientists 14
#Papers published by Top Scientists 19
Google Scholar H5-index 0
Number of Editions: 26 (Since 1996)
Guide2Research Overall Ranking: 269
Category Rankings
Software Engineering & Programming 59
DBLP Page https://dblp.uni-trier.de/db/conf/icfp

Conference Call for Papers

ICFP 2020 is the 25th ACM SIGPLAN International Conference on Functional Programming. The main conference will take place during August 24-26, 2020 at the Hyatt Regency Jersey City on the Hudson. Co-located workshops and tutorials will take place on August 23 and 27-28.

PACMPL issue ICFP 2020 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects, concurrency, or parallelism. Topics of interest include (but are not limited to):

Language Design: concurrency, parallelism, and distribution; modules; components and composition; metaprogramming; macros; pattern matching; type systems; type inference; dependent types; session types; gradual typing; refinement types; interoperability; domain-specific languages; imperative programming; object-oriented programming; logic programming; probabilistic programming; reactive programming; generic programming; bidirectional programming.
Implementation: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimization; garbage collection and memory management; runtime systems; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components, or low-level machine resources.
Software-Development Techniques: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profiling; build systems; program synthesis.
Foundations: formal semantics; lambda calculus; program equivalence; rewriting; type theory; logic; category theory; monads; continuations; control; state; effects; names and binding; program verification.
Analysis and Transformation: control flow; data flow; abstract interpretation; partial evaluation; program calculation.
Applications: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed systems and web programming; hardware design; databases; XML processing; scientific and numerical computing; graphical user interfaces; graphics and multimedia; GPU programming; scripting; system administration; security.
Education: teaching introductory programming; parallel programming; mathematical proof; algebra.
Submissions will be evaluated according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience.

PACMPL issue ICFP 2020 also welcomes submissions in two separate categories — Functional Pearls and Experience Reports — that must be marked as such when submitted and that need not report original research results. Detailed guidelines on both categories are given at the end of this call.

Please contact the principal editor if you have questions or are concerned about the appropriateness of a topic.

Preparation of Submissions
Deadline: The deadline for submissions is Tuesday, March 3, 2020, Anywhere on Earth. This deadline will be enforced strictly.

Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the “ACM Small” template that is available in both LaTeX and Word formats. For authors using LaTeX, a lighter-weight package, including only the essential files, is also available.

There is a limit of 25 pages for a full paper or Functional Pearl and 12 pages for an Experience Report; in either case, the bibliography will not be counted against these limits. Submissions that exceed the page limits or, for other reasons, do not meet the requirements for formatting will be rejected summarily. Supplementary material can and should be separately submitted (see below).

See also PACMPL’s Information and Guidelines for Authors.

Submission: Submissions will be accepted via a HotCRP instance yet to be created.

Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface.

Author Response Period: Authors will have a 72-hour period, starting at 14:00 UTC on Tuesday, April 21, 2020, to read reviews and respond to them.

Supplementary Material: Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should not be submitted as part of the main document; instead, it should be uploaded as a separate PDF document or tarball.

Supplementary material should be uploaded at submission time, not by providing a URL in the paper that points to an external repository. The intent is to create a level playing field for all materials consulted in evaluating a submission, so reviewers will be directed not to consult URL-linked materials, which may have been updated since the deadline.

Authors are free to upload both anonymized and non-anonymized supplementary material. Anonymized supplementary material will be visible to reviewers immediately; non-anonymized supplementary material for a paper will be revealed a reviewer only after submission of a review, at which time author identity is revealed.

Authorship Policies: All submissions are expected to comply with the ACM Policies for Authorship.

Republication Policies: Each submission must adhere to SIGPLAN’s republication policy.

Other Conferences in United States

DGO 2021 : Annual International Conference on Digital Government Research

Deadline :
Wed 20 Jan 2021
Jun 9, 2021 - Jun 11, 2021 - Omaha
United States

SMARTCOMP 2021 : 7th IEEE International Conference on Smart Computing

Deadline :
Sun 24 Jan 2021
Aug 23, 2021 - Aug 27, 2021 - Irvine
United States

RFID 2021 : IEEE International Conference on Radio Frequency Identification

Deadline :
Mon 25 Jan 2021
Apr 27, 2021 - Apr 29, 2021 - Phoenix
United States

OFC 2021 : Optical Fiber Communications Conference and Exhibition

Deadline :
Tue 26 Jan 2021
Jun 6, 2021 - Jun 10, 2021 - San Francisco
United States

CAV 2021 : International Conference on Computer Aided Verification

Deadline :
Thu 28 Jan 2021
Jul 18, 2021 - Jul 23, 2021 - Los Angeles
United States