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

FLOPS'99

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

 International Symposium on Functional and Logic Programming (FLOPS'99)

                           Tsukuba, Japan
                        November 11-13, 1999 

               http://www.score.is.tsukuba.ac.jp/flops99

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

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

               flops99@score.is.tsukuba.ac.jp

If email submission is not possible, four hard copies may be sent to

               Aart Middeldorp
               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.


Program Co-Chairs:

Aart Middeldorp               Taisuke Sato
University of Tsukuba         Tokyo Institute of Technology


Program Committee:

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:

Yoshiki Kinoshita
ETL
Umezono 1-1-4
Tsukuba 305-8568, Japan
yoshiki@etl.go.jp


Invited Speakers:

Atsushi Ohori                 Mario Rodriguez-Artalejo
University of Kyoto           Universidad Complutense de Madrid


Important Dates:

Submission:     May 24, 1999
Notification:   July 24, 1999
Final Version:  August 24, 1999

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++