Home - Registration - Hotels - Maps

Topics - Invited Speakers - Programme - Venue - Program Committee - Sponsors

Call For Participation

FLOPS 2001

Fifth International Symposium on Functional and Logic Programming

Waseda University, Tokyo, Japan

March 7-9, 2001


The symposium is a forum for research on all issues concerning functional programming and logic programming. In particular, it aims 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 (1996),
Kyoto (1998), and Tsukuba (1999).


The Fifth International Symposium on Functional and Logic Programming solicits original papers in all areas of functional and logic programming, including (but not limited to):

Invited Speakers

Gopalan Nadathur University of Minnesota, USA
George Necula University of California, Berkeley, USA
Taisuke Sato Tokyo Institute of Technology, Japan


Three invited papers and 21 refereed papers have been organized into this
final programme.

Venue, Registration, and Accommodation

The symposium will be held at the Conference Room 1 (third floor) of the International Conference Center of Waseda University, Nishi-Waseda Campus. The International Conference Center is located in the
Center for Scholarly Information (Bldg. 18).

Information about symposium registration and accommodation, as well as related maps, can be found in separate Web pages.

Program Co-Chairs

Herbert Kuchen University of Münster, Germany
Kazunori Ueda Waseda University, Tokyo, Japan

Program Committee

Sergio Antoy Portland State University, USA
Gopal Gupta New Mexico State University, USA
Michael Hanus University of Kiel, Germany
Fergus Henderson University of Melbourne, Australia
Zhenjiang Hu University of Tokyo, Japan
Herbert Kuchen University of Münster, Germany
Giorgio Levi University of Pisa, Italy
Michael Maher Griffith University, Brisbane, Australia
Dale Miller Pennsylvania State University, USA
I.V. Ramakrishnan State University of New York at Stony Brook, USA
Olivier Ridoux IRISA, France
Mario Rodriguez-Artalejo Complutense University, Madrid, Spain
Colin Runciman University of York, UK
Akihiko Takano National Institute of Informatics, Japan
Peter Thiemann Freiburg University, Germany
Yoshihito Toyama Tohoku University, Japan
Kazunori Ueda Waseda University, Tokyo, Japan

Local Arrangements Chair

Zhenjiang Hu University of Tokyo, Japan


The proceedings will be published by Springer-Verlag in the LNCS series.


Sponsored by: Japan Society for Software Science and Technology (JSSST),
Special Interest Group on Principles of Programming
In cooperation with: Association for Logic Programming (ALP).

Send any question to flops2001@ueda.info.waseda.ac.jp.
Technical questions can be received by flops2001-www-admin@ueda.info.waseda.ac.jp.

Last update: March 14, 2001