[Prev][Next][Index][Thread]
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@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
=================
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).