[TYPES/announce] call for papers -- Functional Programming Concepts in Domain-Specific Languages

[rlazarus at bbn.com]

Functional Programming Concepts in Domain-Specific Languages (FPCDSL) —
Call For Papers

The FPCDSL Workshop will be conducted as part of ICFP 2013 in Boston, MA
FPCDSL information: http://quantum.bbn.com/FPCDSL/
ICFP information: http://icfpconference.org/icfp2013/index.html

Important dates
Submissions due: Friday, 21-June-2013
Notification: Thursday, 11-July-2013
Final copy due: Thursday, 25-July- 2013
Workshop date: Sunday, 22-September-2013

FPCDSL 2013 seeks original papers on the art and science of functional
programming and novel type systems applied to the development of domain
specific languages. We are interested in research and applications where
the characteristics and features of functional programming languages as
well as analysis and verification techniques provide advantages or
impose restrictions when applied to domain specific language systems.
Submissions are invited on all topics from principles to practice, from
foundations to features, and from abstraction to application.
Submissions can propose panel discussions as well as research and
application topics.

Topics of interest include (but are not limited to):

Applications: artificial intelligence; distributed-systems and web
programming; cloud computing; scientific and numerical computing;
biologically-inspired computing; quantum computing; security and
privacy; systems programming; graphical user interfaces; multimedia
programming; scripting; symbolic computing; hardware design;
formal-methods tools.

Domains and domain-specific language design: features and constructs;
type systems and type inference algorithms; special challenges of
particular domains; suitability of different functional approaches;
language design and language feature insights from domain applications
and domain requirements.

Software-development and programming techniques: algorithms and data
structures; design patterns; combinators and monads; static analysis and
abstract interpretation techniques and applications thereof;
specification and verification; validation; proof assistants and
integrated model checkers; debugging; testing; tracing; profiling.

Implementation: representation, interpretation, compilation,
optimization, data-flow, control-flow, validation, and debugging.

Functional programming in application domains: monads; combinators;
continuations; control; state; effects; polymorphic and dependent types.

Foundations: formal semantics; feasibility; type theory; computability;
expressiveness; soundness; completeness; formal verification.

Adoption: making functional languages accessible to domain experts; user
interfaces; dissemination and standardization.

If you are concerned about the appropriateness of your topic area, do
not hesitate to contact the program chair. Please visit our website for
additional information: http://quantum.bbn.com/FPCDSL/.