FLOPS 2001

Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing
Foundations: semantics, rewrite systems and narrowing, type theory, proof systems
Implementation: 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

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

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

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

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

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