ICFP : International Conference on Functional Programming (ICFP)

  in Conferences   Posted on July 28, 2017

Conference Information

Submission Deadline Friday 16 Mar 2018
Conference & Submission Link http://conf.researchr.org/home/icfp-2018
Conference Dates Sep 23, 2018 - Sep 23, 2018
Conference Address St. Louis, United States
Proceedings indexed by
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Google Scholar H5-index: 27
CORE 2017 Rating: A*
Guide2Research Overall Ranking: 142
Category Rankings
Software Engineering & Programming 35

Conference Call for Papers

Scope

ICFP 2018 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; type systems; interoperability; domain-specific languages; and relations to imperative, object-oriented, or logic programming.

Implementation: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimization; garbage collection and memory management; 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.

Foundations: formal semantics; lambda calculus; rewriting; type theory; monads; continuations; control; state; effects; program verification; dependent types.

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; multimedia and 3D graphics 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.

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

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

Other Conferences in United States

IWSPA 2019 : International Workshop on Security and Privacy Analytics

Deadline :
Sat 15 Dec 2018
Mar 27, 2019 - Mar 27, 2019 - Dallas
United States

HPC 2019 : High Performance Computing

Deadline :
Sun 16 Dec 2018
Apr 29, 2019 - May 2, 2019 - Tucson
United States

ISMCO 2019 : First International Symposium on Mathematical and Computational Oncology

Deadline :
Mon 17 Dec 2018
Apr 29, 2019 - May 1, 2019 - Incline Village
United States

ICMIM 2019 : IEEE International Conference on Microwaves for Intelligent Mobility

Deadline :
Tue 18 Dec 2018
Apr 15, 2019 - Apr 17, 2019 - Detroit
United States