++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ First Call For Papers 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 August 1, 1999. Final versions of accepted papers must be received by September 1, 1999. We anticipate that the proceedings will be published 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 (Nottingham) 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: August 1, 1999 Final Version: September 1, 1999 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++