[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[pept:165] FLOPS 2004: final call for papers (deadline extension)



======================================================================
APOLOGIES if you recieve 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@xxxxxxxxxxxxxxxxxxxxxx

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 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)