jssst sig-ppl

第22回プログラミングおよびプログラミング言語ワークショップ
PPL 2020

日程: 2020年3月2日(月) 〜 4日(水)
会場: 佐賀県嬉野市嬉野温泉 「和多屋別荘」
佐賀県嬉野市嬉野町下宿乙738
主催: 日本ソフトウェア科学会 プログラミング論研究会

おしらせ

目的および概要

PPL2020 は,プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し,最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした,合宿形式の研究集会です.代表的なトピックは以下のようなものですが,これに限らず,プログラミング・プログラミング言語に関する研究発表を幅広く受け入れます.

基礎理論: 意味論,ラムダ計算,型理論,項書き換え,形式論理と証明,形式言語とオートマトン,圏論,チューリング機械,アルゴリズムなど
言語デザイン: 各種プログラミングパラダイム(オブジェクト指向・関数型・論理型・アスペクト指向,その他あらゆるパラダイムを含む),モジュール化,メタプログラミング,並行・並列・分散計算,型システム,言語や言語システム等の相互運用,領域限定言語など
言語処理系技術: コンパイラ,インタプリタ,実行時システム,仮想機械,プログラム最適化,プログラム解析,プログラム変換,メモリ管理など
プログラミング補助: プログラム検証器,デバッガ,プロファイラ,統合開発環境,プログラム合成,リファクタリングなど
ケーススタディ: ソフトウェア開発報告,プログラミング技法,ツールの紹介など
応用: システムソフトウェア, Web システム,データベースシステム,数値計算,ユーザーインタフェース,セキュリティ,プログラミング教育,人工知能・機械学習など

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

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

カテゴリ1の採択論文の中から,特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です.さらに,カテゴリ1・2・4の全発表の中から最も聴衆の支持を集めたものに発表賞,カテゴリ3の全発表の中から最も聴衆の支持を集めたものにポスター賞を授与する予定です(いずれも一般の部・学生の部の2種類,ただし「発表賞」は既受賞者を除く).

募集要項

カテゴリ1 (国内外未発表論文)

国内外で未発表の研究についての論文発表を募集します.PPLでの議論をもとに研究を発展させ,国際会議や学術論文誌への投稿につなげることを奨励しています.会場で実りある議論ができるような,発展途上の研究を特に歓迎します.カテゴリ1の発表は,複数名の査読者によってその新規性・重要性・根拠の確かさ・説明の明瞭さを評価し,プログラム委員による議論によって採否を判断します.特に以下の点に注意してください.

発表申込締切: 2019年12月24日(火) 17:00 (JST)

論文提出締切: 2020年1月7日(火) 17:00 (JST)

採否通知: 2020年1月31日(金)

カテゴリ2 (国外既発表論文)

国際会議や国際学術論文誌等で発表された,または採録決定済みの,国内では未発表の研究成果の紹介を募集します. PPL との関連性・プログラム全体のバランス・発表された媒体をもとに,プログラム委員による議論によって採否を判断します.

発表申込締切: 2020年1月21日(火) 17:00 (JST)

採否通知:2020年2月3日(月)

カテゴリ3 (ポスター・デモ発表)

PPL に関連する内容(未発表・既発表いずれでも構いません)についてのポスター発表を募集します.萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します.PPLとの関連性・プログラム全体のバランスをもとに,プログラム委員による議論によって採否を判断します.

発表申込締切: 2020年2月3日(月) 17:00 (JST)

採否通知:2020年2月7日(金)

カテゴリ4 (サーベイ・チュートリアル発表)

既存研究のサーベイやツールのチュートリアルなど, PPL の聴衆にとって有益な学術知識の紹介を募集します.内容は未発表・既発表いずれでも構いません.PPLとの関連性・内容の重要性・発表者の経歴・プログラム全体のバランスをもとに,プログラム委員による議論によって採否を判断します.

発表申込締切: 2020年1月21日(火) 17:00 (JST)

採否通知:2020年2月3日(月)

ワークショップ全般に関する問い合わせ先

ppl2020-oc[at]googlegroups.com ([at]を @ に置き換えてください)

発表/プログラムに関する問い合わせ先

ppl2020-pc-chair[at]jssst-ppl.org ([at]を @ に置き換えてください)

運営組織

プログラム委員会

プログラム共同委員長平石 拓京都大学
プログラム共同委員長森畑 明昌東京大学
安部 達也千葉工業大学
荒堀 喜貴東京工業大学
石崎 一明日本 IBM
今井 敬吾岐阜大学
岩崎 英哉電気通信大学
岩間 太日本 IBM
馬谷 誠二神奈川大学
江本 健斗九州工業大学
大岩 寛産業技術総合研究所
紙名 哲生大分大学
亀山 幸義筑波大学
川端 英之広島市立大学
川本 裕輔産業技術総合研究所
菊池 健太郎東北大学
木村 大輔東邦大学
小島 健介京都大学
新屋 良磨秋田大学
関山 太朗国立情報学研究所
叢 悠悠東京工業大学
寺内 多智弘早稲田大学
日高 宗一郎法政大学
廣川 直北陸先端科学技術大学院大学
水島 宏太オプト
森口 草介関西学院大学

組織委員会

組織委員長佐藤 亮介九州大学
組織副委員長浅田 和之東北大学
財務担当塚田 武志東京大学
財務副担当木村 大輔東邦大学
会場担当叢 悠悠東京工業大学
会場副担当新屋 良磨秋田大学
渉外担当関山 太朗国立情報学研究所
プログラム共同委員長平石 拓京都大学
プログラム共同委員長森畑 明昌東京大学

PPL メーリングリスト購読のお誘い

日本ソフトウェア科学会プログラミング論研究会のメーリングリストをご案内します.PPL ワークショップに関するお知らせの他に,本分野に関連する会議,ワークショップ,セミナー等の情報が流れております.購読用ページから購読をお申込みください.

PPL 2020 スポンサー


シルバースポンサー:

過去のPPL

PPL2019, PPL2018, PPL2017, PPL2016, PPL2015, PPL2014, PPL2013, PPL2012, PPL2011, PPL2010, PPL2009, PPL2008, PPL2007, PPL2006, PPL2005, PPL2004, PPL2003, PPL2002, PPL2001, PPL2000, PPL1999