|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 Susuno (1995), Shonan Village
(2001), and Aizu
International Symposium on Functional and Logic Programming solicits
original papers in all areas of functional and logic programming,
including (but not limited to):
Submissions must be unpublished and
not submitted for publication elsewhere. Work that already appeared in
unpublished or informally published workshops proceedings may be
submitted. Submissions should fall into one of the following
- 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
- Implementation issues:
compilation techniques, memory management, program analysis and
transformation, partial evaluation, parallelism
- Applications: case studies,
real-world applications, graphical user interfaces, internet
applications, database connection, formal methods and model
submissions must be written in English and can be up to 15 proceedings
pages long. Authors are strongly encouraged to use LaTeX2e and the
Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html
- Regular research papers: they should describe new results and will
be judged on originality, correctness and significance.
- System descriptions: they should contain a link to a working system
and will be judged on originality, usefulness and design.
research papers should be supported by proofs and/or experimental results.
In case of lack of space, this supporting information should be made
accessible otherwise (e.g. a link to a web page, or an
Submission is Web-based. In order to submit a paper,
authors should fill in the submission form available at http://logic.is.tsukuba.ac.jp/FLOPS2004/submission.html
where more detailed instructions are given.
Publication and presentation of accepted
contributionsThe Proceedings of FLOPS 2004 will be published
by Springer Verlag in the Lecture Notes in Computer Science (LNCS) series.
LNCS is published, in parallel to the printed books, in full-text
electronic version and final versions of the papers will need to be
provided electronically including the source files. Proceedings will be
available at the conference. One author of each accepted contribution is
expected to attend the Symposium in order to present it.
Nara is yet another
historic city in Japan. The symposium site, Nara-Ken New Public Hall,
is located in the center of Nara City.
||Abstract Submission Deadline
||October 25, 2003|
||Paper Submission Deadline
||November 1, 2003
||December 20, 2003|
||Camera Ready due
||January 20, 2004|
||April 7-9, 2004|
Back to FLOPS 2004 Top Page