FLOPS 2004

The Seventh International Symposium on
Functional and Logic Programming

Nara, Japan
April 7-9, 2004

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), Tsukuba (1999), Tokyo (2001), and Aizu (2002).


The Seventh International Symposium on Functional and Logic Programming solicits original papers in all areas of functional and logic programming, including (but not limited to):
  • Declarative Pearls: new and excellent declarative programs with illustrative applications

  • Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing

  • Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems

  • Implementation issues: 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


Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories:

  1. Regular research papers: they should describe new results and will be judged on originality, correctness and significance.
  2. System descriptions: they should contain a link to a working system and will be judged on originality, usefulness and design.
All submissions must be written in English and can be up to 15 proceedings pages long. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at

Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g. a link to a web page, or an appendix).

Submission is Web-based. In order to submit a paper, authors should fill in the submission form available at where more detailed instructions are given.

Publication and presentation of accepted contributions

The Proceedings of FLOPS 2004 will be published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) series. LNCS is published, in parallel to the printed books, in full-text electronic version and final versions of the papers will need to be provided electronically including the source files. Proceedings will be available at the conference. One author of each accepted contribution is expected to attend the Symposium in order to present it.

Important Dates

Abstract Submission Deadline October 25, 2003
      Paper Submission Deadline November 1, 2003 (extended)
Notification December 20, 2003
Camera Ready due January 20, 2004
Symposium April 7-9, 2004


Nara is yet another historic city in Japan. The symposium site, Nara-Ken New Public Hall, is located in the center of Nara City.

Invited Speakers

Program Co-Chairs

      Yukiyoshi Kameyama University of Tsukuba
Peter Stuckey University of Melbourne


Program Committee


Francois Fages

INRIA Rocquencourt
Herman Geuvers Nijmegen University

Michael Hanus

University of Kiel

Martin Hofmann

LMU Munchen

Haruo Hosoya

University of Tokyo

Yukiyoshi Kameyama

University of Tsukuba

Naoki Kobayashi

Tokyo Institute of Technology

John Lloyd Australian National University

Aart Middeldorp

University of Innsbruck

Atsushi Ohori


German Puebla

Technical University of Madrid

Morten Rhiger

IT-University of Copenhagen

Amr Sabry

Indiana University

Peter Stuckey

University of Melbourne

Martin Sulzmann

National University of Singapore

Kazunori Ueda

Waseda University

Philip Wadler

Avaya Labs

Local Arrangements Chair

      Jacques Garrigue Kyoto University


      Japan Society for Software Science and Technology (JSSST)
Association for Logic Programming (ALP)
Asian Association for Foundation of Software (AAFS)


Back to FLOPS 2004 Top Page