their names, affiliation, paper title, topics (from the topic list below).

Aims: The PPL workshop series provides a forum where researchers on programming and programming languages (in their broadest senses) are able to present recent research results, discuss new research topics, and exchange brand new ideas.

Topics of interest include, but are not limited to, the following:

• Proposal and implementation of new language primitives
• New programming paradigm
• Formulation of programming languages; Type system and its application
• Foundation of programming languages; Logic, Semantics
• Rewriting systems; automata; formal languages
• Programming languages for parallel, distributed, mobile computation; Reflection
• Script languages; Domain-specific languages
• Partial evaluation; Analysis, optimization, transformation, verification of programs
• Compilation techniques
• Run-time systems
• Environment and tools for program development
• Information security; System dependability
• Any other topics related to programming and programming languages

We solicit submissions in the following three categories.

• Category-1: Original papers that contain practical or theoretical research results related to the above topics or expository papers that describe new ideas or problems.

• Category-2: Papers which were already presented (or will be presented) in an international symposium or an international journal, but have not been presented in Japan

• Category-3: Short presentation (approx. 5 minutes). Papers of this category are not included in the proceedings.

The Program Committee of PPL2002 invites Martin Hofmann (Technische Universitat Darmstadt) and Jiro Tanaka (University of Tsukuba) as invited speakers. In addition, we plan to invite a few more distinguished researchers.

The proceedings of PPL2002 consist of the papers of Category-1 and the abstracts of Category-2. Printed copies of the proceedings will be distributed in the workshop, and the electronic version can be obtained through our web page.

Information on past workshops of the PPL series can be found from here ( 1999, 2000, 2001).

PPL Paper Award will be given to the author(s) of a paper presented in Category-1. It is selected by the Program Committee. The best presentation will be also awarded to the speaker(s) who is selected among Category 1 and 2 by vote by participants. We encourage all the speakers to give good presentation, which is easy to understand and leads lively discussion at PPL. The participants is requested to vote the speaker giving such presentation.

We are undertaking a special issue of "Computer Software" (Journal of JSSST), which consists of good papers presented in Category-1 and other papers on programming and programming languages. Japanese description of this special issue can be found from here.

PPL2002 is co-located with the SPA2002 Workshop (Systems for Programming and Applications). Participants of PPL2002 can attend SPA sessions.

Program Committee:
Kenichi Asai (Ochanomizu University), Shigeru Chiba (co-chair, Tokyo Institute of Technology), Masahito Hasegawa (Kyoto University), Zhenjiang Hu (University of Tokyo), Atsushi Igarashi (University of Tokyo), Yukiyoshi Kameyama (co-chair, University of Tsukuba), Kenji Kono (University of Electro-Communications), Shinya Nishizaki (Tokyo Institute of Technology), Hitoshi Ohsaki (National Institute of Advanced Industrial Science and Technology), Ichiro Sato (National Institute of Informatics), Tatsurou Sekiguchi (University of Tokyo), Hiromitsu Takagi (National Institute of Advanced Industrial Science and Technology), Kenjiro Taura (University of Tokyo),

Local Arrangements: Hideki Sakurada (NTT Communication Science Laboratories)

Participation Fee: 30000 yen to 40000 yen (which covers 2 nights, 2 breakfasts and 2 dinners)

Paper Submission:

• Papers and presentations can be in English or in Japanese, although English presentations are encouraged.

• Category-1: Please send an extended abstract (approximately 5 pages) or a full paper (no longer than 15 pages) in either the PostScript format or the PDF format. Also please send the following information: the author names, affiliation, the paper title, topics of the paper (please see the above topic list and select up to 3 topics which are most relevant to the paper) and whether you plan to submit your paper to the special issue of Computer Software.

• Category-2: Please send the original article published elsewhere (no length limitation), an abstract (1 page), and the following information: the author names, affiliation, the paper title, and the bibliographical information of the original article.

• Category-3: Please send the author names, affiliation and the title.

• Please send all the information by e-mail to ppl-submit@logic.is.tsukuba.ac.jp. Please do not forget to specify which category you choose.

Important dates:

          Submission to Categories-1,2: Jan. 5 (Sat.), 2002
          Notification of Categories-1,2: Jan. 31, 2002
          Camera-ready version for Categories-1,2: Feb. 15 (Fri.), 2002
          Deadline for Category-3: Feb. 15 (Fri.), 2002
          PPL2002 Workshop: Mar. 5 (Tue) to 7 (Thu), 2002
          Submission deadline for the Special issue of Computer Software: Apr. 22 (Mon), 2002

Inquiry:

Shigeru Chiba Dept. of Mathematical and Computing Sciences Tokyo Institute of Technology 2-12-1, Ookayama, Meguro-ku, Tokyo 152-8552 Tel:   03-5734-2712 FAX:   03-5734-2754

Yukiyoshi Kameyama Institute of Information Sciences and Electronics University of Tsukuba Tennodai 1-1-1, Tsukuba 305-8573 Tel:   0298-53-5349 FAX:   0298-53-5349

Notice: Besides paper submission, you need to make registration for participation. Registration details can be found at the PPL2002 home page, so please visit this page from time to time.