プログラミングおよびプログラミング言語に関する研究者が一堂に会し， 最新の研究成果の発表，新たな研究課題についての討論，アイディア交換等を 行うことを目的としたワークショップです． プログラミングおよびプログラミング言語に関する研究発表を幅広く 募集します． 対象となる分野は以下のものを含みます．

• 新しい言語機構の提案，実装
• 新しいプログラミング・パラダイム
• プログラム言語の定式化，型システムとその応用
• プログラム言語の基礎理論，論理，意味論
• 書換え系，オートマトン，形式言語
• 並列・分散・モバイル計算のための言語，自己反映計算
• スクリプト言語，ドメインスペシフィック言語
• 部分計算，プログラムの解析・最適化・変換・検証
• コンパイル技法
• 言語処理系の実行時システム
• プログラム開発環境・ツール
• 情報セキュリティ，システム安全性技術
• その他，プログラミングおよびプログラミング言語に関するもの

分野の適切さについて疑問がある場合は， 下記のプログラム委員までお問い合わせください．

以下の３つのカテゴリの研究発表を募集します．

• カテゴリ１：国内外で未発表の論文の発表 （完成した理論やシステムの研究発表のみならず， 発芽的なアイディアや問題点の提示等も歓迎します）．

• カテゴリ２：国際会議、学術雑誌等で発表済（または採録決定済） であるが、国内では未発表の研究の紹介．

• カテゴリ３：５分間のショートプレゼンテーション． 極端に分かりやすくて短い研究発表をお願いします． 学生から忙しい研究者までどなたでも歓迎です． 論文集に収録されませんが気軽にお申込みください．

合宿形式のワークショップにて， プログラム委員会で採択した論文の研究発表を中心に， 招待講演，チュートリアル等も行う予定です． 招待講演としては， 型理論やプログラム言語の意味論の研究で著名な Martin Hofmann氏 (ダームシュタット工科大学)をお呼びする予定です． また， プログラミングおよびヒューマンインタフェース分野で研究をされている 田中二郎氏 (筑波大学)をお呼びし「スクリプト言語」に関する問題提起をして いただき，討論を行う予定です． スクリプト言語に関して一家言を持つ方は是非御参加下さい。

PPL では， 参加者の研究の発展や新たな共同研究の契機となることを期待し， 討論時間を十分にとったスケジュールとする予定です． 発表論文を集めた論文集をワークショップ当日に配布します． また，当ページからもオンライン論文集として配布します． 過去のPPLワークショップに関する情報はこちら（ 第１回, 第２回, 第３回）を御覧ください．

PPL2002 では，前回と同様， 優れた研究を奨励することを目的として，論文賞をもうける予定です． 論文賞は， カテゴリ１で採択された論文の中から，プログラム委員会が選定し， ワークショップ開催期間中に表彰します． さらに，聴衆の人気投票によって選ぶ発表賞も，前回同様もうける予定です． カテゴリ１，２で採択された論文の発表の中から，もっともわかりやすかった， もっともPPLの議論の活発化に貢献した，と思われる発表に投票してもらい， その結果で選びます．聴衆にわかりやすい発表を奨励し，PPLを単なる研究報 告の場ではなく，活発な議論の場とするために，今回も実施することになりま した．

また，カテゴリ１で発表された優れた論文を中心として， 『コンピュータソフトウェア』誌において， 「プログラミングおよびプログラミング言語」特集号の企画を予定しています． 特集号の論文募集については http://www.csg.is.titech.ac.jp/ppl2002/tokushu.txt を御覧ください．

PPLワークショップは， SPA (Systems for Programming and Applications)ワークショップと同じ時期，同じ場所で開 催します．PPL の参加者は SPA のセッションへの参加も可能です．

プログラム委員：
浅井 健一 (お茶の水女子大学), 五十嵐 淳 (東京大学), 大崎 人士 (産業技術総合研究所), 亀山 幸義 (co-chair, 筑波大学), 胡振江 (東京大学), 河野 健二 (電気通信大学), 佐藤 一郎 (国立情報学研究所), 関口 龍郎 (東京大学), 田浦 健次朗 (東京大学), 高木 浩光 (産業技術総合研究所), 千葉 滋 (co-chair, 東京工業大学), 西崎 真也 (東京工業大学), 長谷川 真人 (京都大学)

幹事： 櫻田 英樹 (NTT)

発表申込み要領 (参加申込みは別途必要です)：

• 論文，発表とも英語，日本語のどちらでも結構です． ただし，外国人参加者との討論を可能とするため， 発表については，英語の使用を奨励しています． 申込みにあたっては，カテゴリ１〜３のいずれであるかを明記してください．
• カテゴリ１への投稿： 投稿に先立って，2001/12/25 までに著者名，所属，論文タイトル，論文の 属する分野名 （上記の「対象分野」のうち該当する分野もしくは最も近い分野１〜３個程度） を連絡してください．
  2002/1/5 までに，発表内容をあらわす 5ページ程度の extended abstract もしくは 15ページ以内の full paper を お送りください． 形式は，PostScript (ghostviewで表示可能なもの) もしくは PDF (標準的なフォントのみ使用) とします． また， コンピュータソフトウェア特集号への投稿の予定（もしくは希望）の 有無もご連絡ください． 特集号への投稿予定は，後での変更も可能です．
• カテゴリ２への投稿： 原論文（ページ数不問），1 ページの abstract および以下の情報を含む テキストをお送りください．

  ・氏名，所属，論文タイトル
  ・原論文の出典（発表会議等の名称，掲載済/掲載予定の別）
  

• カテゴリ３への申込み： 氏名，所属，発表タイトルのみをお送りください．
• 送付先: 上記の内容を E-mail にて ppl-submit@logic.is.tsukuba.ac.jpあてにお送りください．

重要な日程：

カテゴリ１: 投稿の意思連絡	２００１年１２月２５日（火）
カテゴリ１,２: 応募締切	２００２年１月５日（土）
カテゴリ１,２: 採否の通知	２００２年１月３１日 (木)
カテゴリ１,２: 最終原稿提出	２００２年２月１５日（金）
カテゴリ３: 発表申込み締切	２００２年２月１５日（金）
PPLワークショップ	２００２年３月５日(火)〜７日(木)
コンピュータソフトウェア特集号投稿締切	２００２年４月２２日（月）

内容についての問合せ先：

亀山 幸義 筑波大学電子・情報工学系 〒305-8573 つくば市 天王台 1-1-1 Tel:   0298-53-5349 FAX:   0298-53-5349

千葉 滋 東京工業大学 情報理工学研究科 数理・計算科学専攻 〒152-8552 東京都目黒区大岡山 2-12-1 Tel:   03-5734-2712 FAX:   03-5734-2754

参加申込み： 論文発表申込みとは別に、参加申込みが必要となります． 参加費は，2泊3日の宿泊・食事（朝食2，夕食2）込みで 3〜4万円程度を予定しております． 詳しい情報は，決定次第， このページに掲載します．

参加に関する問合せ先:

櫻田 英樹 NTT コミュニケーション科学基礎研究所 〒243-0198 厚木市森の里若宮 3-1 FAX: 046-240-4709