====================================================================== APOLOGIES if you receive this more than once ======================================================================
*********************************************************************** * * * (REALLY) FINAL CALL FOR PAPERS * * Deadline Extension: 1st November * * * * Seventh International Symposium on Functional and Logic Programming * * (FLOPS 2004) * * * * Nara-Ken New Public Hall, Nara, Japan * * April 7-9, 2004 * * * * (http://logic.is.tsukuba.ac.jp/FLOPS2004/) * * * ***********************************************************************
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
Invited Speakers ================
The following three distinguished researchers have accepted to give invited talks at FLOPS 2004.
* Masami Hagiya University of Tokyo * Carsten Schuermann Yale University * Peter Selinger University of Ottawa
Submissions ===========
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 categories:
* 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.
All 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 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.
You MUST submit an abstract by the deadline of October 25 to ensure timely processing of the paper.
Publication and presentation of accepted contributions ======================================================
The 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 ===============
Abstract Submission Deadline October 25, 2003 Paper Submission Deadline: November 1, 2003 Notification: December 20, 2003 Final Version: January 20, 2004 Symposium: April 7-9, 2004
Program Co-Chairs =================
Yukiyoshi Kameyama University of Tsukuba, Japan Peter J. Stuckey University of Melbourne, Australia
E-Mail: flops(a)logic.is.tsukuba.ac.jp
Program Committee =================
Francois Fages INRIA Rocquencourt Herman Geuvers Nijmegen University Michael Hanus University of Kiel Martin Hofmann University of Muenchen Haruo Hosoya Kyoto University Yukiyoshi Kameyama University of Tsukuba Naoki Kobayashi Tokyo Institute of Technology John Lloyd Australian National University Aart Middeldorp University of Tsukuba Atsushi Ohori JAIST German Puebla Technical University of Madrid Morten Rhiger IT-University of Copenhagen Amr Sabry Indiana University Peter J. Stuckey University of Melbourne Martin Sulzmann National University of Singapore Kazunori Ueda Waseda University Philip Wadler Avaya Labs
Local Arrangements Chair ========================
Jacques Garrigue Kyoto University
Sponsors ========
FLOPS2004 is supported by
Japan Society of Software Science and Technology (JSSST), Association for Logic Programming (ALP)