[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