posted by system || 2075 views || tracked by 2 users: [display]

ICFP 2012 : ACM SIGPLAN International Conference on Functional Programming


Conference Series : International Conference on Functional Programming
When Sep 10, 2012 - Sep 12, 2012
Where Copenhagen, Denmark
Submission Deadline Mar 12, 2012

Call For Papers

ICFP 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, 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 or concurrency. Particular topics of interest include:

•Language Design: type systems; concurrency and distribution; modules; components and composition; metaprogramming; relations to object-oriented or logic programming; interoperability
•Implementation: abstract machines; compilation; compile-time and run-time optimization; 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
•Transformation and Analysis: abstract interpretation; partial evaluation; program transformation; program calculation; program proof
•Applications and Domain-Specific Languages: 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 programming; scripting; system administration; security; education
•Functional Pearls: elegant, instructive, and fun essays on functional programming
The conference also solicits Experience Reports, which are short papers that provide evidence that functional programming really works or describe obstacles that have kept it from working in a particular application.

Related Resources

ICFP 2018   International Conference on Functional Programming
FLOPS 2018   International Symposium on Functional and Logic Programming
PLDI 2018   Programming Language Design and Implementation
ACM HT 2018   29th ACM Conference on Hypertext and Social Media 2018
CPAIOR 2018   15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
WI 2018   2018 IEEE/WIC/ACM International Conference on Web Intelligence
PODC 2018   ACM Symposium on Principles of Distributed Computing
MODELS 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems
ESEC/FSE 2018   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
CP 2018   Twenty-Fourth Conference on Principles and Practice of Constraint Programming