Herbert Kuchen | 8 Sep 09:38 2000
Picon

FLOPS 2001, Final Call for Papers

[With some new information on invited speakers and such... --B]

*********************************************************************
*                                                                   *
*                  FINAL CALL FOR PAPERS                            *
*                                                                   *
*                                                                   *
* Fifth International Symposium on Functional and Logic Programming *
*                                                                   *
*                  Waseda University, Tokyo, Japan                  *
*                                                                   *
*                          March 7-9, 2001                          *
*                                                                   *
*           http://www.wi.uni-muenster.de/pi/FLOPS2001/             *
*           http://www.ueda.info.waseda.ac.jp/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 Fifth 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@...

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

Sergio Antoy             Portland State University, USA
Gopal Gupta              New Mexico State University, USA
Michael Hanus            University of Kiel, Germany
Fergus Henderson         University of Melbourne, Australia
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 Ltd., Japan
Peter Thiemann           Freiburg University, Germany
Yoshihito Toyama         Tohoku University, Japan
Kazunori Ueda            Waseda University, Tokyo, Japan

Invited Speakers
================
Gopalan Nadathur (Minneapolis)
another invited speaker will be announced later

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

Sponsored by: Japan Society of Software Science and Technology (JSSST),
              Special Interest Group on Principles of Programming.

In cooperation with: Association for Logic Programming (ALP).


Gmane