jssst sig-ppl

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

日程: 2021年3月9日(火) 〜 11日(木)
会場: 名古屋サンスカイルームA室
愛知県名古屋市中区錦1丁目18番22号 名古屋ATビル2階
(オンライン開催に変更またはオン/オフ併用の可能性あり)
主催: 日本ソフトウェア科学会 プログラミング論研究会

おしらせ

開催形式が変わります

これまでのPPLは合宿形式で開催しておりましたが,今般の事情を鑑み,PPL 2021は通常の研究会形式で開催することとなりました.参加される皆様におかれましては,会場周辺の宿泊施設を各自で確保していただきますよう,お願いいたします(確保の際は,後述するオンライン開催への変更の可能性をご考慮ください.キャンセル料の補償等は致しかねます).なお,COVID-19の拡大状況によっては,オンライン/オフライン併用の開催となったり,あるいはオフラインでの開催を断念しオンラインのみでの開催に変更する可能性があります.オンライン開催に変更するかどうかの判断は開催の2ヶ月前を目処に行う予定です.開催に関する詳しい動向は随時Webページ等で公開します.

目的および概要

PPL 2021は,プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し,最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です.代表的なトピックは以下のようなものですが,これに限らず,プログラミング・プログラミング言語に関する内容であれば,基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで,幅広く受け入れます.

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

発表募集は以下の4カテゴリに分けて行います.

カテゴリ1: 国内外未発表論文
カテゴリ2: 国外既発表論文
カテゴリ3: ポスター・デモ (募集未定)
カテゴリ4: サーベイ・チュートリアル

募集要項

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

国内外で未発表の論文発表を募集します.PPLでの議論をもとに研究を発展させ,国際会議や学術論文誌への投稿につなげることを奨励しています.そのため,予稿集の配布は参加者のみへの限定的なものとします.参加者相互で実りある議論ができるような,発展途上の研究を特に歓迎します.複数名の査読者による新規性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し,採否を判断します.

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

論文提出締切: 2021年1月8日(金) 17:00 (JST)

採否通知: 2021年2月1日(月)

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

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

発表申込締切: 2021年1月25日(月) 17:00 (JST)

採否通知:2021年2月8日(月)

カテゴリ3 (ポスター・デモ (募集未定))

例年,PPLに関連する内容のポスター・デモ発表を募集していましたが,PPL 2021での募集の有無および発表形式は未定です.詳細は後日本サイトに掲載します.

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

研究動向の紹介や分野間の相互理解など,PPLの聴衆にとって有益な学術知識の紹介を募集します.未発表・既発表の別を問いません.PPLとの関連性,内容の重要性,発表者の経歴,プログラム全体のバランス等をもとにプログラム委員会で議論し,採否を判断します.

発表申込締切: 2021年1月25日(月) 17:00 (JST)

採否通知:2021年2月8日(月)

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

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

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

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

運営組織

プログラム委員会

プログラム共同委員長上野 雄大東北大学
プログラム共同委員長海野 広志筑波大学
浅井 健一お茶の水女子大学
浅田 和之東北大学
荒堀 喜貴東京工業大学
五十嵐 淳京都大学
石井 大輔JAIST
石尾 隆NAIST
岩間 太IBM東京基礎研究所
鵜川 始陽東京大学
馬谷 誠二神奈川大学
大平 怜IBM
篠埜 功芝浦工業大学
佐藤 重幸東京大学
佐藤 哲也東京工業大学
澄川 靖信東京都立大学
滝坂 透NII
田中 哲産業技術総合研究所
照井 一成京都大学
橋本 健二名古屋大学
廣川 直JAIST
松田 一孝東北大
水島 宏太株式会社オプト
室屋 晃子京都大学
山崎 進北九州市立大学
山下 伸夫聖徳大学短期大学部

組織委員会

組織委員長関山 太朗国立情報学研究所
組織副委員長佐藤 亮介東京大学
財務担当山田 晃久産業技術総合研究所
財務副担当塚田 武志千葉大学
会場担当今井 敬吾岐阜大学
会場副担当叢 悠悠東京工業大学
会場副担当新屋 良磨秋田大学
渉外担当堀江 倫大日本IBM
プログラム共同委員長上野 雄大東北大学
プログラム共同委員長海野 広志筑波大学
前プログラム共同委員長平石 拓京都大学
前プログラム共同委員長森畑 明昌東京大学

過去のPPL

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