<div dir="ltr">皆様，（重複受信ご容赦ください）<br><br><span class="gmail-il">2020</span>年3月2日（月）～3月4日（水）に佐賀県嬉野市で開催予定の<br><span class="gmail-il">PPL</span> <span class="gmail-il">2020</span>の論文/発表募集をお送りします．<br><br>理論・実装を問わずプログラミング・プログラミング言語に関する<br>研究発表を幅広く募集します．どうぞ<span class="gmail-il">投稿</span>をご検討ください．<br><br>よろしくお願いいたします．<br><br>森畑 明昌（東京大学）<br>平石 拓（京都大学）<br>（<span class="gmail-il">PPL</span> <span class="gmail-il">2020</span> プログラム共同委員長）<br><br>（代理で浅田和之（東北大学）が送信しました）<div> <br>==================================================<br>第22回プログラミングおよびプログラミング言語ワークショップ (<span class="gmail-il">PPL</span> <span class="gmail-il">2020</span>)<br>発表募集<br><br><span class="gmail-il">2020</span>年3月2日（月）-- 3月4日（水）<br>佐賀県嬉野市「嬉野温泉　和多屋別荘」<br><a href="https://jssst-ppl.org/workshop/2020/" rel="noreferrer" target="_blank">https://jssst-<span class="gmail-il">ppl</span>.org/workshop/<span class="gmail-il">2020</span>/</a><br><br><br>** 重要な日程 **<br><br>カテゴリ1: <br>  発表申込締切 2019年12月24日（火）17:00 (JST)<br>  論文提出締切 <span class="gmail-il">2020</span>年 1月 7日（火）17:00 (JST)<br>  採否通知     <span class="gmail-il">2020</span>年 1月31日（金）<br>カテゴリ2:<br>  発表申込締切 <span class="gmail-il">2020</span>年 1月21日（火）17:00 (JST)<br>  採否通知     <span class="gmail-il">2020</span>年 2月 3日（月）<br>カテゴリ3:<br>  発表申込締切 <span class="gmail-il">2020</span>年 2月 3日（月）17:00 (JST)<br>  採否通知     <span class="gmail-il">2020</span>年 2月 7日（金）<br>カテゴリ4:<br>  発表申込締切 <span class="gmail-il">2020</span>年 1月21日（火）17:00 (JST)<br>  採否通知     <span class="gmail-il">2020</span>年 2月 3日（月）<br><br><br>** PPL2020とは **<br><br>PPL2020は，プログラミングとプログラミング言語に関連する幅広い分野の研<br>究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・<br>討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．<br>代表的なトピックは以下のようなものですが，これに限らず，プログラミン<br>グ・プログラミング言語に関する研究発表を幅広く受け入れます．<br><br>基礎理論: 意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式<br>          言語とオートマトン，圏論，チューリング機械，アルゴリズムなど<br>言語デザイン: 各種プログラミングパラダイム（オブジェクト指向・関数型<br>              ・論理型・アスペクト指向，その他あらゆるパラダイムを含<br>              む），モジュール化，メタプログラミング，並行・並列・分散<br>              計算，型システム，言語や言語システム等の相互運用，領域限<br>              定言語など<br>言語処理系技術: コンパイラ，インタプリタ，実行時システム，仮想機械，プ<br>                ログラム最適化，プログラム解析，プログラム変換，メモリ<br>                管理など<br>プログラミング補助: プログラム検証器，デバッガ，プロファイラ，統合開発<br>                    環境，プログラム合成，リファクタリングなど<br>ケーススタディ: ソフトウェア開発報告，プログラミング技法，ツールの紹介<br>                など<br>応用: システムソフトウェア，Webシステム，データベースシステム，数値計<br>      算，ユーザーインタフェース，セキュリティ，プログラミング教育，人<br>      工知能・機械学習など<br><br><br>** 発表募集カテゴリ **<br><br>以下の4カテゴリの研究発表を募集します．詳しい募集要項は後日webページで<br>公開します．<br><br>カテゴリ1:  国内外で未発表の研究の発表<br>カテゴリ2:  国際会議・学術雑誌等で既発表であるが，国内では未発表の研究<br>            の紹介<br>カテゴリ3:  ポスター・デモ発表 <br>カテゴリ4:  サーベイ・チュートリアル発表 <br><br><br>カテゴリ1では，国内外で未発表の研究についての論文発表を募集します．<span class="gmail-il">PPL</span><br>での議論をもとに研究を発展させ，国際会議や学術論文誌への<span class="gmail-il">投稿</span>につなげる<br>ことを奨励しています．会場で実りある議論ができるような，発展途上の研究<br>を特に歓迎します．カテゴリ1の発表は，複数名の査読者によってその新規<br>性・重要性・根拠の確かさ・説明の明瞭さを評価し，プログラム委員による議<br>論によって採否を判断します．特に以下の点に注意してください．<br>- 理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明<br>示してあれば証明等が未完成でも構いませんが，証明等について議論できる程<br>度の形式化は求められます．<br>- 実装研究については，実装したソフトウェアやツールの有用性，実装のデザ<br>インチョイス，実装技術などが明瞭に説明されているかが重要です．論文中に<br>明示してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる<br>程度の完成度は求められます．<br><br>カテゴリ2では，国際会議や国際学術論文誌等で発表された，または採録決定<br>済みの，国内では未発表の研究成果の紹介を募集します．<span class="gmail-il">PPL</span>との関連性・プ<br>ログラム全体のバランス・発表された媒体をもとに，プログラム委員による議<br>論によって採否を判断します．<br><br>カテゴリ3では，<span class="gmail-il">PPL</span>に関連する内容（未発表・既発表いずれでも構いません）<br>についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデ<br>モンストレーションなども歓迎します．<span class="gmail-il">PPL</span>との関連性・プログラム全体のバ<br>ランスをもとに，プログラム委員による議論によって採否を判断します．<br><br>カテゴリ4では，既存研究のサーベイやツールのチュートリアルなど，<span class="gmail-il">PPL</span>の聴<br>衆にとって有益な学術知識の紹介を募集します．内容は未発表・既発表いずれ<br>でも構いません．<span class="gmail-il">PPL</span>との関連性・内容の重要性・発表者の経歴・プログラム<br>全体のバランスをもとに，プログラム委員による議論によって採否を判断しま<br>す．<br><br>カテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含む<br>ものに対して論文賞を授与する予定です．さらに，カテゴリ1・2・4の全発表<br>のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3の全発表のなか<br>から最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも<br>一般の部・学生の部の2種類，ただし「発表賞」は既受賞者を除く）．<br><br><br>** プログラム委員会 **<br><br>安部 達也    千葉工業大学 <br>荒堀 喜貴    東京工業大学 <br>石崎 一明    日本IBM <br>今井 敬吾    岐阜大学 <br>岩崎 英哉    電気通信大学  <br>岩間 太      日本IBM <br>馬谷 誠二    神奈川大学 <br>江本 健斗    九州工業大学 <br>大岩 寛      産業技術総合研究所 <br>紙名 哲生    大分大学 <br>亀山 幸義    筑波大学 <br>川端 英之    広島市立大学 <br>川本 裕輔    産業技術総合研究所 <br>菊池 健太郎  東北大学 <br>木村 大輔    東邦大学 <br>小島 健介    京都大学 <br>新屋 良磨    秋田大学 <br>関山 太朗    国立情報学研究所 <br>叢 悠悠      東京工業大学 <br>寺内 多智弘  早稲田大学 <br>日高 宗一郎  法政大学 <br>平石 拓      京都大学 (プログラム共同委員長) <br>廣川 直      北陸先端科学技術大学院大学 <br>水島 宏太    オプト <br>森口 草介    関西学院大学 <br>森畑 明昌    東京大学 (プログラム共同委員長)<br><br>** 問い合わせ先 **<br><br><a href="mailto:ppl2020-oc@googlegroups.com" target="_blank">ppl2020-oc@googlegroups.com</a>（ワークショップ全般について）<br><a href="mailto:ppl2020-pc-chair@jssst-ppl.org" target="_blank">ppl2020-pc-chair@jssst-<span class="gmail-il">ppl</span>.org</a>（発表/プログラムについて）<br>==================================================</div></div>