International Symposium on Functional and Logic Programming (FLOPS'99)
November 11-13, 1999
The symposium is a forum to present and discuss all issues concerning
functional programming, logic programming, and their integration. The
symposium takes place about every 1.5 years in Japan. Previous FLOPS
meetings were held in Fuji Susuno (1995), Shonan Village (1996), and
Kyoto (1998). FLOPS'99 will take place at ETL in Tsukuba.
The 4th Fuji International Symposium on Functional and Logic
Programming solicits original papers in all areas of functional and
logic programming, including (but not limited to):
- Applications: case studies, real-world applications, graphical user
interfaces, functional logic programming and the internet;
- Foundations: lambda-calculus and rewrite systems, semantics, type
theory, program transformation, verification;
- Implementation: new compilation methods, garbage collection,
parallelism, partial evaluation, distributed systems;
- Language issues: constraints, concurrency, type systems, programming
methodology, interfacing with other languages.
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 (available at
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, abstract, contact information) to
If email submission is not possible, four hard copies may be sent to
Institute of Information Sciences and Electronics
University of Tsukuba
Tsukuba 305-8573, Japan
Submissions must arrive no later than May 24, 1999. Authors will be
notified of acceptance or rejection by July 24, 1999.
Final versions of accepted papers must be received by August 24,
1999. It is planned to publish the proceedings by Springer-Verlag in
the LNCS series. One author of each accepted paper will be expected
to attend the symposium in order to present it.
FLOPS'99 is sponsored by the Japan Society of Software Science and
Technology, Special Interest Group on Principles of Programming.
Aart Middeldorp Taisuke Sato
University of Tsukuba Tokyo Institute of Technology
Zena Ariola (Eugene) Robert Glueck (Copenhagen)
Manuel Hermenegildo (Madrid) Herbert Kuchen (Muenster)
Michael Maher (Brisbane) Aart Middeldorp (Tsukuba)
Gopalan Nadathur (Chicago) Masahiko Sato (Kyoto)
Taisuke Sato (Tokyo) Peter Thiemann (Freiburg)
Kazunori Ueda (Tokyo)
Local Arrangements Chair:
Tsukuba 305-8568, Japan
Atsushi Ohori Mario Rodriguez-Artalejo
University of Kyoto Universidad Complutense de Madrid
Submission: May 24, 1999
Notification: July 24, 1999
Final Version: August 24, 1999