[logic-ml] CFP: PPL2018 第20回プログラミングおよびプログラミング言語ワークショップ 論文募集

[Shin-ya Nishizaki]

logic-mlの皆様

下記の通り、PPL2018のCFPを連絡させて頂きます。
是非、投稿・参加をご検討ください。

東京工業大学学術国際情報センター
西崎真也

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

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

主催: 日本ソフトウェア科学会プログラミング論研究会
日程: 2018年3月5日(月)～3月7日(水)
会場: 鳥取県米子市皆生温泉「皆生グランドホテル天水」

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

カテゴリ1 (国内外未発表論文)
----------------------------
完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点
の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です．ま
た，カテゴリ1で発表された研究については，会場での討議や査読コメントをも
とにその完成度を高め，将来の学術雑誌・国際会議等での業績に結び付けるこ
とを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なもの
とします．発表申込を行った上で論文提出を行ってください．

発表申込締切: 2017年12月21日(木) 17:00 (JST)
論文提出締切: 2018年1月9日(火) 17:00 (JST)
採否通知：2018年2月2日(金)

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

発表申込締切: 2018年1月22日(月) 17:00 (JST)
採否通知：2018年2月2日(金)

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

発表申込締切: 2018年2月5日(月) 17:00 (JST)
採否通知：2018年2月13日(火)

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

発表申込締切: 2018年1月22日(月) 17:00 (JST)
採否通知：2018年2月2日(金)

申込方法や詳細につきましては，上記ウェブページにて確定次第お知らせ致し
ます．

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

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

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

上野 雄大(東北大)
鵜川 始陽(高知工科大)
海野 広志(筑波大学)
江本 健斗(九州工業大)
勝股 審也(NII)
河内谷 清久仁(日本IBM)
倉光 君郎(横浜国立大)
光来 健一(九州工業大)
櫻井 孝平(金沢大)
笹田 耕一(クックパッド)
新屋 良磨(東京大)
澄川 靖信(東京理科大)
田辺 良則(鶴見大)
対馬 かなえ(NII)
土屋 達弘(大阪大)
鍋島 英知 (山梨大)
浜名 誠(群馬大)
星野 直彦(京都大)
堀江 倫大(日本IBM)
前田 敦司(筑波大)
増原 英彦(東京工業大)
松田 一孝(東北大)
南出 靖彦(東京工業大)
森畑 明昌(東京大学)
結縁 祥治(名古屋大)

組織委員会
平石 拓 (京都大)[組織委員長]
江本 健斗 (九州工業大)
森口 草介 (関西学院大)
佐藤 重幸 (高知工科大)
安部 達也 (千葉工業大)
西崎 真也 (東京工業大)[プログラム共同委員長]
松崎 公紀 (高知工科大)[プログラム共同委員長]