Thursday
Friday
Background
==========
The symposium is a forum for research on all issues concerning
functional programming and logic programming. In particular, it wants
to stimulate the cross-fertilization as well as integration of the two
paradigms. The symposium takes place about every 1.5 years in Japan.
Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village
(1996), Kyoto(1998), Tsukuba (1999), Tokyo (2001) and Aizu (2002).
Topics
======
The Seventh International Symposium on Functional and Logic Programming
(FLOPS 2004) solicits original papers in all areas of functional and
logic programming, including (but not limited to):
-Declarative Pearls: new and excellent declarative programs with illustrative applications
-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, industrial applications,
-graphical user interfaces, internet applications,
-database connection, formal methods and model checking