FLOPS 2004

The Seventh International Symposium on
Functional and Logic Programming

Nara, Japan
April 7-9, 2004

FLOPS 2004 is over. Thank you very much for your contribution and participation. The next FLOPS will be held in Spring, 2006 co-chaired by Masami Hagiya (University of Tokyo) and Philip Wadler (University of Edinburgh). Please submit your papers to FLOPS 2006.

What's new

May 17, 2003 Poster is available.
September 24, 2003 Satellite event information was added.
December 20, 2003 Link to the list of accepted papers was added.
December 23, 2003 Link to Local organization page was added.
January 12, 2004 Call for participation was added.
January 16, 2004 Advance program was added.
March 9, 2004 Link to LNCS 2998 (Proceedings) at Springer's site
March, 2004 Link to final program was added.

Call for Papers: text html, pdf, ps
Submission (closed)
Advance Program
Invited Speakers
PC & Organizer
Local Organization page
Satellite Event
Proceedings (LNCS 2998)
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 Susono (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

Important Dates

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


Nara is yet another historic city in Japan; you can see "traditional Japanese" such as temples and shrines. Also you can see beautiful cherry blossoms in this season of the year (depending on the weather).

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

E-mail: flops@logic.is.tsukuba.ac.jp

Program Committee


François 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


Germán 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

Edinburgh University

Local Arrangements Chair

      Jacques Garrigue Kyoto University

Scientific Sponsors

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


      Kayamori Foundation of Informational Science Advancement, Japan
International Information Science Foundation, Japan

Inquiry: flops@logic.is.tsukuba.ac.jp