Topics

FLOPS solicits original papers in all areas of functional and logic programming, including (but not limited to):

• Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing.
• Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems.
• Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism.
• Applications: 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 LNCS 1722, 2024, 2441, 2998, 3945, 4989, 6009, and 7294.

---

flops2014