<div dir="ltr"><span style="font-size:14px">logic-mlの皆様</span><br style="font-size:14px"><br><span style="font-size:14px">PPL2018のCFPについては既に</span><div><span style="font-size:14px">案内させていただきましたが、<br></span>投稿方法や招待講演などの情報が</div><div>更新されましたので、再度、<br style="font-size:14px"><span style="font-size:14px">連絡させて頂きます。</span><br style="font-size:14px"><span style="font-size:14px">是非、投稿・参加をご検討ください。</span><br style="font-size:14px"><br style="font-size:14px"><span style="font-size:14px">東京工業大学学術国際情報センター</span><br style="font-size:14px"><span style="font-size:14px">西崎真也</span><br style="font-size:14px"><br style="font-size:14px"><span style="font-size:14px">==============================</span><wbr style="font-size:14px"><span style="font-size:14px">=======================</span><br><div><div><br></div><div><span style="font-size:14px">   第20回プログラミングおよびプログラミング言語ワークショップ</span></div><div><span style="font-size:14px">                         (PPL2018)</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">            <a href="http://jssst-ppl.org/workshop/2018/">http://jssst-ppl.org/workshop/2018/</a></span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">主催: 日本ソフトウェア科学会プログラミング論研究会</span></div><div><span style="font-size:14px">日程: 2018年3月5日(月)〜3月7日(水)</span></div><div><span style="font-size:14px">会場: 鳥取県米子市皆生温泉「皆生グランドホテル天水」</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">PPL2018は，プログラミングとプログラミング言語に関連する幅広い分野の研究</span></div><div><span style="font-size:14px">者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の</span></div><div><span style="font-size:14px">提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会で</span></div><div><span style="font-size:14px">す．プログラミング方法論，プログラミング言語の理論・設計・実装などに関</span></div><div><span style="font-size:14px">する研究発表を，カテゴリ別に幅広く募集します．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">カテゴリ1: 国内外で未発表の論文の発表</span></div><div><span style="font-size:14px">カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介</span></div><div><span style="font-size:14px">カテゴリ3: ポスター・デモ発表(既発表・未発表の別を問いません)</span></div><div><span style="font-size:14px">カテゴリ4: サーベイ・チュートリアル発表(既発表・未発表の別を問いません)</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">カテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むも</span></div><div><span style="font-size:14px">のに対して論文賞を授与する予定です．また全論文発表と全ポスター・デモの</span></div><div><span style="font-size:14px">なかから，聴衆の投票によりそれぞれ，最も優秀な論文プレゼンテーションに</span></div><div><span style="font-size:14px">は発表賞(一般の部，学生の部，既受賞者は除く)，最も優秀なポスター・デモ</span></div><div><span style="font-size:14px">にはポスター賞を授与する予定です．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">カテゴリ1 (国内外未発表論文)</span></div><div><span style="font-size:14px">----------------------------</span></div><div><span style="font-size:14px">完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点</span></div><div><span style="font-size:14px">の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">また，カテゴリ1で発表された研究については，会場での討議や査読コメント</span></div><div><span style="font-size:14px">をもとにその完成度を高め，将来の学術雑誌・国際会議等での業績に結び付け</span></div><div><span style="font-size:14px">ることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的な</span></div><div><span style="font-size:14px">ものとします．発表申込を行った上で論文提出を行ってください．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">カテゴリ1で発表された研究のうち，PPL2018プログラム委員会により優れてい</span></div><div><span style="font-size:14px">ると認められたものは， PPL2018終了後(2018年4月下旬予定)，「コンピュー</span></div><div><span style="font-size:14px">タソフトウェア」誌のPPL2018推薦論文としての投稿が可能です．推薦論文は，</span></div><div><span style="font-size:14px">PPLプログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを</span></div><div><span style="font-size:14px">特長としています．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">カテゴリ2 (国外既発表論文)</span></div><div><span style="font-size:14px">--------------------------</span></div><div><span style="font-size:14px">査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研</span></div><div><span style="font-size:14px">究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採</span></div><div><span style="font-size:14px">否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致しま</span></div><div><span style="font-size:14px">す．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">カテゴリ3 (ポスター・デモ発表)</span></div><div><span style="font-size:14px">------------------------------</span></div><div><span style="font-size:14px">2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発</span></div><div><span style="font-size:14px">表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込</span></div><div><span style="font-size:14px">み多数の場合はプログラム委員会で選考致します．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">カテゴリ4 (サーベイ・チュートリアル発表)</span></div><div><span style="font-size:14px">----------------------------------------</span></div><div><span style="font-size:14px">研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底</span></div><div><span style="font-size:14px">上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関</span></div><div><span style="font-size:14px">連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム</span></div><div><span style="font-size:14px">委員会で選考致します．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">招待講演</span></div><div><span style="font-size:14px">--------</span></div><div><span style="font-size:14px">丸山　宏（Preferred Networks）</span></div><div><span style="font-size:14px">久野　靖（電気通信大学　教授）</span></div><div><span style="font-size:14px">以上お二方の招待講演を予定しております．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">=====================================================</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">=================</span></div><div><span style="font-size:14px">投稿・発表申込要領</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">すべてのカテゴリの投稿・発表について，次のURLから申し込んでください．</span></div><div><span style="font-size:14px">    <a href="https://easychair.org/conferences/?conf=ppl2018">https://easychair.org/conferences/?conf=ppl2018</a></span></div><div><span style="font-size:14px">申込にあたってはEasyChairのアカウントが必要です．4つのカテゴリそれぞれ</span></div><div><span style="font-size:14px">に対する申込要領の詳細は以下の通りです．申し込み時にEasychairで入力する</span></div><div><span style="font-size:14px">氏名，所属の情報はプログラム作成に用いますので，参加者の便宜を考慮し，</span></div><div><span style="font-size:14px">日本語が良いと考えられる場合には日本語での入力をお願い致します．最新の</span></div><div><span style="font-size:14px">情報は上記ウェブページでご確認ください．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">カテゴリ1 (国内外未発表論文)</span></div><div><span style="font-size:14px">---------------------------</span></div><div><span style="font-size:14px">投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">発表申込締切: 2017年12月21日(木) 17:00 (JST)</span></div><div><span style="font-size:14px">         著者名，所属，論文タイトル，論文概要(日本語300〜400字程度もし</span></div><div><span style="font-size:14px">         くは英語200 words 程度)，キーワード(3つ以上)を提出してください．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">論文提出締切: 2018年1月9日(火) 17:00 (JST)</span></div><div><span style="font-size:14px">         10ページ程度(最大15ページ，参考文献を含む)の論文(日本語もしく</span></div><div><span style="font-size:14px">         は英語，PDF形式．PPL2018ウェブページにて指定のスタイルファイ</span></div><div><span style="font-size:14px">         ルを利用のこと)を提出してください．最大ページ数を超える付録は</span></div><div><span style="font-size:14px">         投稿版に入れて構いませんが，最終原稿においては削除してもらい</span></div><div><span style="font-size:14px">         ます．著者のweb page等においてソースコードや実験データなどを</span></div><div><span style="font-size:14px">         載せて引用しても構いません．最大ページ数を超える付録やweb</span></div><div><span style="font-size:14px">         page等の情報については査読において考慮されない場合もあります．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">採否通知：2018年2月2日(金)</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">最終原稿締切: 2018年2月15日(木)</span></div><div><span style="font-size:14px">         採録された論文の最終原稿の提出方法は，採否通知にてお知らせいた</span></div><div><span style="font-size:14px">         します．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">(注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづ</span></div><div><span style="font-size:14px">いて利用されますので，予めご確認ください．また，採録された論文等著作物</span></div><div><span style="font-size:14px">に対して著作権の譲渡を求めません．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">(注) 投稿論文と類似の論文を，他の会議(予稿集を出版するもの)・論文誌な</span></div><div><span style="font-size:14px">どに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論</span></div><div><span style="font-size:14px">文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を</span></div><div><span style="font-size:14px">不採録とすることはありませんが，採否の決定に利用する場合があります(他</span></div><div><span style="font-size:14px">の会議との重複を避けるため，発表内容についての条件付採録とすることもあ</span></div><div><span style="font-size:14px">ります)．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">カテゴリ2 (国外既発表論文)</span></div><div><span style="font-size:14px">-------------------------</span></div><div><span style="font-size:14px">発表申込時に採録が決定している国際会議および国際学術雑誌等の発表論文が</span></div><div><span style="font-size:14px">対象です．理論系だけではなく実装系の論文の投稿も歓迎いたします．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">発表申込締切: 2018年1月22日(月) 17:00 (JST)</span></div><div><span style="font-size:14px">         原論文(ページ数不問，PDF形式)と論文概要(テキスト形式)を，著者</span></div><div><span style="font-size:14px">         名，所属，論文タイトル，キーワード(3つ以上)と併せて提出してく</span></div><div><span style="font-size:14px">         ださい．論文概要にて，原論文の出典(発表会議名，掲載済／予定の</span></div><div><span style="font-size:14px">         別等を含む)についても明記してください．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">採否通知：2018年2月2日(金)</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">カテゴリ3 (ポスター・デモ発表)</span></div><div><span style="font-size:14px">-----------------------------</span></div><div><span style="font-size:14px">ポスター発表またはデモ発表(あるいは両方)を募集いたします．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">発表申込締切: 発表申込締切: 2018年2月5日(月) 17:00 (JST)</span></div><div><span style="font-size:14px">         希望する発表形態を明記して著者名，所属，発表タイトル，発表概要</span></div><div><span style="font-size:14px">         (200〜300字程度)，キーワード(3つ以上)を提出してください．発表</span></div><div><span style="font-size:14px">         形態については発表タイトル(Title欄)の最後の部分に括弧（）に入</span></div><div><span style="font-size:14px">         れて，「ポスター」「デモ」「ポスター・デモ」のいずれかを記載し</span></div><div><span style="font-size:14px">         てください．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">採否通知：2018年2月13日(火)</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">カテゴリ4 (サーベイ・チュートリアル発表)</span></div><div><span style="font-size:14px">---------------------------------------</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">発表申込締切: 発表申込締切: 2018年1月22日(月) 17:00 (JST)</span></div><div><span style="font-size:14px">         著者名，所属，発表タイトル，キーワード(3つ以上)，発表概要(3ペー</span></div><div><span style="font-size:14px">         ジ以内，PDF形式．目的，カバーする話題，想定する聴衆，必要な知</span></div><div><span style="font-size:14px">         識の記述を含むもの)を提出してください．</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">採否通知：採否通知：2018年2月2日(金)</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">=====================================================</span></div><div><br></div><div><span style="font-size:14px">問い合わせ先</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px"><a href="mailto:ppl2018-oc@googlegroups.com">ppl2018-oc@googlegroups.com</a>（ワークショップ全般について）</span></div><div><span style="font-size:14px"><a href="mailto:ppl2018-pc-chair@jssst-ppl.org">ppl2018-pc-chair@jssst-ppl.org</a>（発表/プログラムについて）</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">=====================================================</span></div><div><br></div><div><span style="font-size:14px">プログラム委員会</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">上野 雄大 (東北大)</span></div><div><span style="font-size:14px">鵜川 始陽 (高知工科大)</span></div><div><span style="font-size:14px">海野 広志 (筑波大学)</span></div><div><span style="font-size:14px">江本 健斗 (九州工業大)</span></div><div><span style="font-size:14px">勝股 審也 (NII)</span></div><div><span style="font-size:14px">河内谷 清久仁 (日本IBM)</span></div><div><span style="font-size:14px">倉光 君郎 (横浜国立大)</span></div><div><span style="font-size:14px">光来 健一 (九州工業大)</span></div><div><span style="font-size:14px">櫻井 孝平 (金沢大)</span></div><div><span style="font-size:14px">笹田 耕一 (クックパッド)</span></div><div><span style="font-size:14px">新屋 良磨 (秋田大学)</span></div><div><span style="font-size:14px">澄川 靖信 (東京理科大)</span></div><div><span style="font-size:14px">田辺 良則 (鶴見大)</span></div><div><span style="font-size:14px">対馬 かなえ (NII)</span></div><div><span style="font-size:14px">土屋 達弘 (大阪大)</span></div><div><span style="font-size:14px">鍋島 英知 (山梨大)</span></div><div><span style="font-size:14px">浜名 誠 (群馬大)</span></div><div><span style="font-size:14px">星野 直彦 (京都大)</span></div><div><span style="font-size:14px">堀江 倫大 (日本IBM)</span></div><div><span style="font-size:14px">前田 敦司 (筑波大)</span></div><div><span style="font-size:14px">増原 英彦 (東京工業大)</span></div><div><span style="font-size:14px">松田 一孝 (東北大)</span></div><div><span style="font-size:14px">南出 靖彦 (東京工業大)</span></div><div><span style="font-size:14px">森畑 明昌 (東京大学)</span></div><div><span style="font-size:14px">結縁 祥治 (名古屋大)</span></div><div><span style="font-size:14px"><br></span></div><div><span style="font-size:14px">組織委員会</span></div><div><span style="font-size:14px">平石 拓 (京都大)[組織委員長]</span></div><div><span style="font-size:14px">江本 健斗 (九州工業大)</span></div><div><span style="font-size:14px">森口 草介 (関西学院大)</span></div><div><span style="font-size:14px">佐藤 重幸 (高知工科大)</span></div><div><span style="font-size:14px">安部 達也 (千葉工業大)</span></div><div><span style="font-size:14px">西崎 真也 (東京工業大)[プログラム共同委員長]</span></div><div><span style="font-size:14px">松崎 公紀 (高知工科大)[プログラム共同委員長]</span></div></div></div></div>