------- Blind-Carbon-Copy

X-Mailer: exmh version 2.5 10/15/1999 with version: MH 6.8.4 #1[UCI]
To: [log in to unmask]
Subject: FIRST CALL for PAPERS -- FLOPS2004
From: [log in to unmask]
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Tue, 29 Apr 2003 09:05:08 +1000
Message-ID: <[log in to unmask]>
Sender: [log in to unmask]


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: [log in to unmask]

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