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

1st CFP FLOPS2001



*********************************************************************
*                                                                   *
*                        CALL FOR PAPERS                            *
*                                                                   *
*                                                                   *
* Fifth International Symposium on Functional and Logic Programming *
*                                                                   *
*                          Tokyo, Japan                             *
*                                                                   *
*                        March 7-9, 2001                            *
*                                                                   *
*           http://www.wi.uni-muenster.de/pi/FLOPS2001/             *
*                                                                   *
*********************************************************************


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 Susuno (1995),

Shonan Village (1996), Kyoto(1998), and Tsukuba (1999).


Topics
======

The 5th International Symposium on Functional and Logic Programming
solicits original papers in all areas of functional and logic
programming, including (but not limited to):

* Language issues: language design and constructs,
    programming methodology, integration of paradigms,
    interfacing with other languages, type systems, constraints,
    concurrency and distributed computing

* Foundations: semantics, rewrite systems and narrowing,
    type theory, proof systems

* Implementation: compilation techniques, memory management,
    program analysis and transformation, partial evaluation,
    parallelism

* Applications: case studies, real-world applications,
    graphical user interfaces, internet applications,
    database connection, formal methods and model checking


Paper Submission
================

Submissions must be unpublished and not submitted for publication
elsewhere. Papers must be written in English and not exceed 15 pages.
The use of the LNCS style files (see:
        http://www.springer.de/comp/lncs/authors.html )
is strongly recommended. Submission is by email:
Send a message consisting of a self-contained Postscript
file preceded by an ASCII version of the paper's cover page
(title, authors, 150-200 word abstract, contact information) to

             flops2001@wi.uni-muenster.de


Important Dates
===============

Submission Deadline:  September 29, 2000
Notification:         December 1, 2000
Final Version:        January 3, 2001
Symposium:            March 7-9, 2001


Program Co-Chairs
=================

Herbert Kuchen  University of Muenster, Germany
Kazunori Ueda   Waseda University, Tokyo, Japan



Program Committee (to be extended)
==================================

Sergio Antoy             Portland State University, USA
Gopal Gupta              New Mexico State University, USA
Michael Hanus            University of Kiel, Germany
Zhenjiang Hu             University of Tokyo, Japan
Herbert Kuchen           University of Muenster, Germany
Giorgio Levi             University of Pisa, Italy
Michael Maher            Griffith University, Brisbane, Australia
Dale Miller              Pennsylvania State University, USA
I.V. Ramakrishnan        State University of New York at Stony Brook,
USA
Olivier Ridoux           IRISA, France
Mario Rodriguez-Artalejo Complutense University, Madrid, Spain
Colin Runciman           University of York, UK
Akihiko Takano           Hitachi, Japan
Yoshihito Toyama         Tohoku University, Japan
Kazunori Ueda            Waseda University, Tokyo, Japan


Local Arrangements Chair
========================

Zhenjiang Hu, University of Tokyo, Japan


Publication
===========

The proceedings will be published by Springer-Verlag in the
LNCS series. One author of each accepted paper is expected
to attend the symposium in order to present it.


Sponsors
========

FLOPS 2001 is sponsored by

   Japan Society of Software Science and Technology
   Special Interest Group on Principles of Programming