International Conference on Functional Programming
When : 2018-09-23
Where : St. Louis, Missouri, United States
Submission Deadline : 2018-03-16
Categories : Informatics , Software Engineering & Security
International Conference on Functional Programming(ICFP 2018)
Call for Papers:
CFP 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.
Paper Submission
Deadline: The deadline for submissions is Friday, March 16, 2018, Anywhere on Earth (https://en.wikipedia.org/wiki/Anywhere_on_Earth). This deadline will be strictly enforced.
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 Large” template that is available (in both LaTeX and Word formats) from http://www.acm.org/publications/proceedings-template. For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format.
There is a limit of 24 pages for a full paper or 12 pages for an Experience Report; in either case, the bibliography will not be counted against these limits. These page limits have been chosen to allow essentially the same amount of content with the new single-column format as was possible with the two-column format used in past ICFP conferences. Submissions that exceed the page limits or, for other reasons, do not meet the requirements for formatting, will be summarily rejected.
Submission: Submissions will be accepted at https://icfp18.hotcrp.com/
Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface.
IMPORTANT DATES:
- Full paper Submission Deadline: March 16, 2017
- Notification Due: May 18, 2018
User Name : srav
Posted 04-09-2017 on 16:54:03 AEDT