JSSST
第3回プログラミングおよびプログラミング言語
ワークショップ
 JSSST Workshop on Programming and Programming Languages (PPL2001)

2001年3月21日(水)〜3月23日(金)
  亀岡ハイツ(京都湯の花温泉)

主催日本ソフトウエア科学会 プログ ラミング論研究会

1月19日更新 〆切が1月29日に延長さ れました.奮ってご投稿ください.さらに、昨年に続いて5分間発表の募集を 追加しました、そちらの〆切は3月2日です.

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

分野の適切さについて疑問がある場合は以下のco-chairまでお問い合わせくだ さい.

以下の3つのカテゴリーの研究発表を募集します.

カテゴリー1:国内外で未発表の論文の発表(完成した理論やシステムの研究 発表のみならず,発芽的なアイデアや問題点の提示等も歓迎いたします).
カテゴリー2:国際会議、学術雑誌等で発表済であるが、国内では未発表の研 究の紹介.
カテゴリー3:昨年に続いて、5分間発表も募集します.論文集に収録されま せんが気軽にお申し込みください.(極端に分かりやすくて短かい研究発表を お願いします.学生から忙しい研究者までどなたでも歓迎)

合宿形式のワークショップにて,プログラム委員会で採択した研究発表を中心 に,招待講演やチュートリアル等も行なう予定です.招待講演には,Javaの拡 張,関数型言語との融合などの研究で著名な, Martin Odersky氏をお招 きする予定です.参加者の研究の発展や新たな共同研究等の契機となることを 期待し,討論の時間を十分にとったスケジュールとする予定です.なお、昨年 度行われた第2回ワークショップの情報は http://www.score.is.tsukuba.ac.jp/~minamide/ppl2000/ でご覧になれます.

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

プログラム委員会:
赤間陽二(東北大) 五十嵐淳(東京大) 大堀淳(北陸先端大) 小野寺民也(IBM) 香川考司 (香川大) 佐藤一郎(お茶の水大) 近山隆(東京大) 田浦健次朗 (co-chair, 東京大) 千葉滋(筑波大) Jacques Garrigue(co-chair, 京都大) 外山芳人 (東北大) 西村進(京都大) 胡振江(東京大)

幹事: 五十嵐淳(東京大)

参加費: 2泊3日の宿泊・食事(朝食2,夕食2)込みで3-4万円程度を予定しております.

定員:60名程度

発表申込要領(参加申し込みとは別です):

  1. 発表論文を要約した5ページ程度のextended abstractをPostscript (ghostviewで表示可能なもの)あるいはPDF形式にて ppl2001-submission@yl.is.s.u-tokyo.ac.jpあてにお送りください(カテ ゴリー2については原論文のコピーおよび1ページのabstractでも結構です). 論文,発表とも日本語,英語のどちらでも結構です.申し込みの際には、カテ ゴリーを明記し、カテゴリー2については原論文の出典もお書き下さい.
    カテゴリー3は発表のタイトルだけで結構です.

  2. カテゴリー1と2の論文かextended abstract応募締切: 2001年1月29日(月)
    採択論文の通知:2001年2月16日(金)
    最終原稿提出およびカテゴリー3の発表申込締切: 2001年3月2日(金)

  3. 発表論文を集めた論文集をワークショップ当日に配布致します.Postscript やPDFで提供された論文は当ホームページでもオンライン論文集として配布致 します.さらに前回のPPL同様に、ワークショップ終了後に優れた論文を集めた コンピュータソフトウェアの特集号の編集を予定しております.

  4. 投稿された論文からPCが選ぶ論文賞とワークショップ期間内に参 加者全員が選ぶ発表賞を予定しております.

  5. 内容に関する問合せ先:Emailでは、 ppl2001-submission@yl.is.s.u-tokyo.ac.jp にお願いします.Email以外の場合は、下記のアドレスまでお願いします.

    田浦 健次朗
    東京大学理学系研究科
    〒113-0033 東京都文京区本郷7-3-1
    Phone: 03-5841-4415
    FAX: 03-5689-4365
    Email: tau@is.s.u-tokyo.ac.jp

    Jacques Garrigue
    京都大学数理解析研究所
    〒606-8502 京都市左京区北白川追分町
    Phone: 075-753-7211
    FAX: 075-753-7272
    Email: garrigue@kurims.kyoto-u.ac.jp

参加申込要領:論文発表申し込みとは別に、参加申し込みが必要となりま す.詳しい情報は http://wwwfun.kurims.kyoto-u.ac.jp/ppl2001/に掲載いたしますのでそ ちらをご覧下さい.

  1. 参加申込締め切り:2001年3月2日(金)
  2. 参加申込み/問合せ先:五十嵐淳
    東京大学大学院総合文化研究科
    〒153-8902 東京都目黒区駒場3-8-1
    Phone: 03-5454-6808
    FAX: 03-5454-6990
    Email: igarashi@graco.c.u-tokyo.ac.jp