------- Blind-Carbon-Copy X-Mailer: exmh version 2.5 10/15/1999 with version: MH 6.8.4 #1[UCI] To: pjs@cs.mu.oz.au Subject: FIRST CALL for PAPERS -- FLOPS2004 From: pjs@cs.mu.oz.au Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Tue, 29 Apr 2003 09:05:08 +1000 Message-ID: <16046.1051571108@muldi.cs.mu.oz.au> Sender: pjs@muldi.cs.mu.oz.au Apologies if you recieve this mail more than once. - -------------------------------------------------- *********************************************************************** * * * CALL FOR PAPERS * * * * 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. If submission through the Web is not possible, five hard copies may be sent to Yukiyoshi Kameyama Institute of Information Sciences and Electronics University of Tsukuba Tennodai 1-1-1, Tsukuba, 305-8573, JAPAN 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 =============== Submission Deadline: October 1, 2003 Notification: December 15, 2003 Final Version: January 15, 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@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), and Asian Association for Foundation of Software (AAFS) [planed]. ------- End of Blind-Carbon-Copy