[logic-ml] Final CFP (カテゴリ1): 第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)

[Kohei SUENAGA]

皆様，
（複数お受け取りの場合はご容赦ください．）

クックパッドの笹田と京大の末永です．

PPL 2019 の国内外未発表論文 (カテゴリ 1) の発表申し込み締切が
2019年12月21日 (金) に迫ってまいりました．
投稿を検討されている方は，どうぞお早めにお申し込みください．

発表申込締切: 2019年12月21日 (金) 17:00 (JST)
論文提出締切: 2019年1月7日 (月) 17:00 (JST)
となっております．

どうぞよろしくお願いいたします．

笹田耕一
末永幸平

================================================================
    第21回プログラミングおよびプログラミング言語ワークショップ
                          (PPL2019)

             http://jssst-ppl.org/workshop/2019/

主催: 日本ソフトウェア科学会プログラミング論研究会
日程: 2019年3月6日(水)〜3月8日(金)
会場: 岩手県志戸平温泉 「湯の杜ホテル志戸平」

PPL2019は，プログラミングとプログラミング言語に関連する幅広い分野の研究
者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の
提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会で
す．プログラミング方法論，プログラミング言語の理論・設計・実装などに関
する研究発表を，カテゴリ別に幅広く募集します．

カテゴリ1: 国内外で未発表の論文の発表
カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介
カテゴリ3: ポスター・デモ発表(既発表・未発表の別を問いません)
カテゴリ4: サーベイ・チュートリアル発表(既発表・未発表の別を問いません)

カテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むも
のに対して論文賞を授与する予定です．また全論文発表と全ポスター・デモの
なかから，聴衆の投票によりそれぞれ，最も優秀な論文プレゼンテーションに
は発表賞(一般の部，学生の部，既受賞者は除く)，最も優秀なポスター・デモ
にはポスター賞を授与する予定です．

本年度の PPL はプラチナスポンサーとして
・株式会社フィックスターズ様
・KLab株式会社様
ゴールドスポンサーとして
・クックパッド株式会社様
・Idein株式会社様
シルバースポンサーとして
・一般財団法人Rubyアソシエーション様
のご支援を頂いております．

カテゴリ1 (国内外未発表論文)
----------------------------
完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点
の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です．

また，カテゴリ1で発表された研究については，会場での討議や査読コメント
をもとにその完成度を高め，将来の学術雑誌・国際会議等での業績に結び付け
ることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的な
ものとします．発表申込を行った上で論文提出を行ってください．

カテゴリ1で発表された研究のうち，PPL2019プログラム委員会により優れてい
ると認められたものは， PPL2019終了後(2019年4月下旬予定)，「コンピュー
タソフトウェア」誌のPPL2019推薦論文としての投稿が可能です．推薦論文は，
PPLプログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを
特長としています．

発表申込締切: 2019年12月21日 (金) 17:00 (JST)
論文提出締切: 2019年1月7日 (月) 17:00 (JST)
採否通知：2019年2月4日 (月)
最終原稿締切: 2019年2月15日(木)

カテゴリ2 (国外既発表論文)
--------------------------
査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研
究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採
否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致しま
す．

発表申込締切: 2019年1月25日 (金) 17:00 (JST)
採否通知：2019年2月6日 (水)

カテゴリ3 (ポスター・デモ発表)
------------------------------
2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発
表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込
み多数の場合はプログラム委員会で選考致します．

発表申込締切: 2019年2月6日 (水) 17:00 (JST)
採否通知：2019年2月11日 (月)

カテゴリ4 (サーベイ・チュートリアル発表)
----------------------------------------
研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底
上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関
連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム
委員会で選考致します．

発表申込締切: 2019年1月25日(金) 17:00 (JST)
採否通知：2019年2月6日 (水)


招待講演
--------
萩谷 昌己（東京大学）
植山 類（Google）
以上お二方の招待講演を予定しております．

======================================================================
投稿・発表申込要領

すべてのカテゴリの投稿・発表について，次のURLから申し込んでください．
     https://easychair.org/conferences/?conf=ppl2019
申込にあたってはEasyChairのアカウントが必要です．4つのカテゴリそれぞれ
に対する申込要領の詳細は以下の通りです．申し込み時にEasychairで入力する
氏名，所属の情報はプログラム作成に用いますので，参加者の便宜を考慮し，
日本語が良いと考えられる場合には日本語での入力をお願い致します．最新の
情報は上記ウェブページでご確認ください．すべてのカテゴリにおいて，
理論系の発表のみだけではなく実装系の発表も歓迎いたします．

カテゴリ1 (国内外未発表論文)
---------------------------
投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．

発表申込締切: 2018年12月21日 (金) 17:00 (JST)
          著者名，所属，論文タイトル，論文概要(日本語300〜400字程度もし
          くは英語200 words 程度)，キーワード(3つ以上)を提出してください．

論文提出締切: 2019年1月7日 (月) 17:00 (JST)
          本文10〜15ページ程度（参考文献を除く）の論文（日本語もしく
          は英語，PDF形式．PPL2019ウェブページにて指定のスタイルファイ
          ルを利用のこと）を提出してください．最大ページ数を超える付録は
          投稿版に入れることができます．（最終原稿においては削除いただく
          可能性があります．）著者のweb page等においてソースコードや
　       実験データなどを 載せて引用しても構いません．最大ページ数を
          超える付録やweb  page等の情報については査読において考慮されない
          場合もあります．

採否通知：2019年2月4日(月)

最終原稿締切: 2019年2月15日(木)
          採録された論文の最終原稿の提出方法は，採否通知にてお知らせいた
          します．

(注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづ
いて利用されますので，予めご確認ください．また，採録された論文等著作物
に対して著作権の譲渡を求めません．

(注) 投稿論文と類似の論文を，他の会議(予稿集を出版するもの)・論文誌な
どに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論
文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を
不採録とすることはありませんが，採否の決定に利用する場合があります(他
の会議との重複を避けるため，発表内容についての条件付採録とすることもあ
ります)．

カテゴリ2 (国外既発表論文)
-------------------------
発表申込時に採録が決定している国際会議および国際学術雑誌等の発表論文が
対象です．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の
場合はプログラム委員会で選考致します．


発表申込締切: 2019年1月25日(金) 17:00 (JST)
          原論文(ページ数不問，PDF形式)と論文概要(テキスト形式)を，著者
          名，所属，論文タイトル，キーワード(3つ以上)と併せて提出してください．
          論文概要にて，原論文の出典(発表会議名，掲載済／予定の別等を含む)に
          ついても明記してください．

採否通知：2019年2月6日(水)

カテゴリ3 (ポスター・デモ発表)
-----------------------------
ポスター発表またはデモ発表(あるいは両方)を募集いたします．2時間程度の
セッション内でのポスター発表またはデモ発表です．既発表・未発表の別を
問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の
場合はプログラム委員会で選考致します．

発表申込締切: 発表申込締切: 2019年2月6日(水) 17:00 (JST)
          希望する発表形態を明記して著者名，所属，発表タイトル，発表概要
          (200〜300字程度)，キーワード(3つ以上)を提出してください．発表
          形態については発表タイトル(Title欄)の最後の部分に括弧（）に入
          れて，「ポスター」「デモ」「ポスター・デモ」のいずれかを記載し
          てください．

採否通知：2019年2月11日(月)

カテゴリ4 (サーベイ・チュートリアル発表)
---------------------------------------
研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底
上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関
連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム
委員会で選考致します．


発表申込締切: 発表申込締切: 2019年1月25日(金) 17:00 (JST)
          著者名，所属，発表タイトル，キーワード(3つ以上)，発表概要(3ペー
          ジ以内，PDF形式．目的，カバーする話題，想定する聴衆，必要な知
          識の記述を含むもの)を提出してください．

採否通知：2019年2月6日(水)

================================================================
問い合わせ先

ppl2019-oc at googlegroups.com（ワークショップ全般について）
ppl2019-pc-chair at jssst-ppl.org（発表/プログラムについて）

======================================================================
プログラム委員会

青谷 知幸 (東京工業大学)
赤間 陽二 (東北大学)
浅井 健一 (お茶の水女子大学)
稲葉 一浩 (Google)
鵜川 始陽 (高知工科大学)
遠藤 侑介 (クックパッド)
Jacques Garrigue (名古屋大学)
Oleg Kiselyov (東北大学)
酒井 政裕 (PFN)
笹田 耕一 (クックパッド) [プログラム共同委員長]
佐藤 重幸 (東京大学)
末永 幸平 (京都大学) [プログラム共同委員長]
関山 太朗 (国立情報学研究所)
高野 保真 (青山学院大学)
田中 哲 (産業技術総合研究所)
千代 英一郎 (成蹊大学)
千葉 滋 (東京大学)
塚田 武志 (東京大学)
照井 一成 (京都大学)
中澤 巧爾 (名古屋大)
林崎 弘成 (Google)
平井 洋一 (brainbot technologies AG)
堀江 倫大 (日本IBM)
前田 敦司 (筑波大学)
森畑 明昌 (東京大学)
山田 晃久 (国立情報学研究所)


組織委員会

組織委員長 浅田 和之 (東北大学)
組織副委員長 平石 拓 (京都大学)
財務担当 木村 大輔 (東邦大学)
財務副担当 森口 草介 (関西学院大学)
会場担当 新屋 良磨 (秋田大学)
会場副担当 安部 達也 (千葉工業大学)
渉外担当 佐藤 亮介 (九州大学)
プログラム共同委員長 笹田 耕一 (クックパッド)
プログラム共同委員長 末永 幸平 (京都大学)
======================================================================


-- 
Kohei Suenaga (末永幸平), Ph.D
Associate professor (准教授)
Graduate School of Informatics, Kyoto University
(京都大学情報学研究科)
ksuenaga at gmail.com
http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/