***********************************************************************
*                                                                     *
*                      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
             
You MUST submit an abstract by the abstract submission deadline of 
October  25, 2003  in order to allow the efficient distribution
of papers to the program committee.
                    
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@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		University of Tokyo
Yukiyoshi Kameyama     	University of Tsukuba
Naoki Kobayashi    	Tokyo Institute of Technology
John Lloyd 		Australian National University 
Aart Middeldorp		University of Innsbruck
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).