[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[pept:63] CFP: PPL2002 call for papers
Dear PE and PT experts,
I would like to distribute CFP for PPL2002, a half-domestic/half-
international workshop held in Japan. It is an intensive three-day
forum where many Japanese researchers on programming and programming
languages get together and have lively discussion. Please feel free
to distribute this CFP to any appropriate mailing lists.
Sincerely,
---
Kenichi Asai
==========================================================================
The Fourth JSSST Workshop on Programming and Programming Languages
PPL2002
http://www.csg.is.titech.ac.jp/ppl2002/index-e.html
--------------------------------------------------------------------------
Mar. 5 (Tuesday) - 7 (Thursday), 2002.
Venue: Suginoi Hotel, Beppu-shi, Ooita-ken, Japan
Sponsored by SIG-Programming, Japan Society for Software Science
and Technology
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 the
web page at http://www.ipl.t.u-tokyo.ac.jp/~hu/jssst-prg/ (in Japanese).
PPL Paper Award will be given to the author(s) of a paper presented in
Category-1. It is selected by the Program Committee.
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. Description (in Japanese)
of this special issue can be found from PPL2002 home page.
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 U.), Shigeru Chiba (co-chair, Tokyo Inst. Tech.),
Masahito Hasegawa (Kyoto U.), Zhenjiang Hu (U. Tokyo), Atsushi Igarashi
(U. Tokyo), Yukiyoshi Kameyama (co-chair, U. Tsukuba), Kenji Kono
(U. Electro-Comm.), Shinya Nishizaki (Tokyo Inst. Tech.), Hitoshi Ohsaki
(AIST), Ichiro Sato (NII), Tatsurou Sekiguchi (U. Tokyo),
Hiromitsu Takagi (AIST), Kenjiro Taura (U. Tokyo)
Local Arrangements: Hideki Sakurada (NTT Comm. Sci. Lab.)
Paper Submission:
Papers and presentations can be in English or in Japanese, although
English presentations are encouraged.
Category-1: 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: 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: Send the author names, affiliation and the title.
Please send all the information by e-mail to:
ppl-submit@logic.is.tsukuba.ac.jp
Do not forget to specify which category you choose.
Important dates:
Submission to Categories-1,2: Dec. 24 (Mon), 2001
Notification of Categories-1,2: Jan. 31 (Thu), 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
E-mail: chiba@is.titech.ac.jp
Yukiyoshi Kameyama
Institute of Information Sciences and Electronics
University of Tsukuba
Tennodai 1-1-1, Tsukuba 305-8573
Tel&FAX: 0298-53-5349
E-mail: kam@is.tsukuba.ac.jp
Notice:
Besides paper submission, you need to make registration for participation.
Participation Fee will be between 30000 yen to 40000 yen (which covers 2
nights, 2 breakfasts and 2 dinners). Registration details can be found at
the PPL2002 home page when available, so please visit the web page from
time to time.
==========================================================================