FLOPS solicits original papers in all areas of functional and logic
programming, including (but not limited to):
language design and constructs, programming methodology,
integration of paradigms, interfacing with other languages,
type systems, constraints, concurrency and distributed computing.
logic and semantics, rewrite systems and narrowing, type theory,
compilation techniques, memory management, program analysis
and transformation, partial evaluation, parallelism.
case studies, real-world applications, graphical user interfaces,
Internet applications, XML, databases, formal methods and model checking.
The proceedings will be published as an LNCS volume. The proceedings
of the previous meetings (FLOPS 1999, 2001, 2002, 2004, 2006, 2008,
2010, and 2012) were published as