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
Poster
Topics
Topics
Dates
Venue
Invited Speakers
PC & Organizer
Sponsors

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).

Topics

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

Venue

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

Malawi Hagiya, University of Tokyo
Carsten Schürmann, Yale University
Peter Selinger, University of Ottawa

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	JAIST
	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)