CALL FOR PAPERS
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
(1996), Kyoto
(1998), Tsukuba
(1999), Tokyo
(2001), and Aizu
(2002). TopicsThe Seventh International Symposium on Functional and Logic Programming solicits original papers in all areas of functional and logic programming, including (but not limited to):
SubmissionSubmissions 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 categories:
Regular 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 appendix). 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.Important Dates
VenueNara is yet another historic city in Japan. The symposium site, Nara-Ken New Public Hall, is located in the center of Nara City.Invited Speakers
Program Co-Chairs
E-mail: flops@logic.is.tsukuba.ac.jp Program Committee
Local Arrangements Chair
Sponsors
Inquiry: flops@logic.is.tsukuba.ac.jp Back to FLOPS 2004 Top Page |