PPL2026参加募集

[Takehide Soh]

# 重複してお受取になった場合はご容赦ください．
皆様，

香川大学の橋本と申します．

3月9日(月)～12日(木) にレクザムホール（およびオンライン）で開催される，
第28回プログラミングおよびプログラミング言語ワークショップ（PPL2026）の
参加登録についてのご案内です．

詳しい情報は以下のウェブサイトをご覧ください．
https://jssst-ppl.org/workshop/2026/

参加登録の締切は以下の通りです．
　3月2日(月) 23:59 (JST)

多くの方々のご参加をお待ちしております．

PPL 2026 組織委員長
橋本健二

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

論文募集/発表募集

主催：日本ソフトウェア科学会 プログラミング論研究会
日程：2026年3月9日（月）-- 3月12日（木）
会場：レクザムホール (香川県高松市) およびオンラインのハイブリッド開催
URL ：https://jssst-ppl.org/workshop/2026/


参加登録を学会支援機構のウェブサービスにて受け付けております．参加費
および参加登録方法については次のウェブページをご参照ください．

https://jssst-ppl.org/workshop/2026/registration.html


** PPL 2026 の開催形式について **

PPL 2026 は，通常の研究会形式での，対面を中心としたハイブリッド開催を
予定しています．また，PPL 2025での発表申込数の増加を踏まえ，開催期間を
4日間としました．PPL 2025 はコロナ禍前の合宿形式で開催されましたが，運
営にかかるコストが以前よりも大きくなったことを踏まえ，PPL 2026 はコン
ベンションセンターによるハイブリッド開催を取らせていただくこととしまし
た．以前の PPL と同様にカジュアルかつインフォーマルな意見交換や交流の
場にするために，発表者には原則対面でご参加いただくことを考えております．
それに加えて，より広範な方々に研究の議論にご参加いただくためにも，コロ
ナ禍で獲得した知見を生かし，オンラインでも参加者に同期的な聴講および質
疑の場を提供するとともに，Slack などを用いた非同期的なコミュニケーショ
ンの場も設ける予定です．ただし，ポスター・デモセッションは対面でのみ行
い，オンラインへの提供は行わない予定です．

** PPL 2026 とは **

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

基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式
　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど

言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・
　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），
　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，
　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語
　　　　　　　など

言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ
　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ
　　　　　　　　管理など

プログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発
　　　　　　　　　　環境，プログラム合成，リファクタリングなど

ケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介
　　　　　　　　など

応用：システムソフトウェア，Webシステム，データベースシステム，数値計
　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人
　　　工知能・機械学習など

** 招待講演 **

PPL 2026 では，以下のお二方の招待講演を予定しております．

+ 解集合プログラミングの専門家である
坂間 千秋 氏
https://web.wakayama-u.ac.jp/~sakama/j-index.html

+ ニューラルネットの数理解析・数学的言明の自動証明の専門家である
園田 翔 氏
https://sites.google.com/view/shosonoda/home


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

プログラム共同委員長　西田 直樹（名古屋大学）
プログラム共同委員長　宋 剛秀　（名古屋大学）

青谷 知幸 （山陽小野田市立山口東京理科大学）
石井 大輔 （JAIST）
今井 敬吾 （DeNA）
今井 健男 （NII）
遠藤 侑介 （STORES）
緒方 一則 （日本IBM）
木村 大輔 （東邦大学）
酒井 政裕 （Preferred Networks）
佐藤 亮介 （東京農工大学）
新屋 良磨 （秋田大学）
末永 幸平 （京都大学）
住井 英二郎 （東北大学）
田中 哲　 （産業技術総合研究所）
土屋 達弘 （大阪大学）
中澤 巧爾 （名古屋大学）
鍋島 英知 （山梨大学）
細部 博史 （法政大学）
平石 拓　 （京都橘大学）
廣川 直　 （JAIST）
松下 祐介 （京都大学）
水島 宏太 （ネクストビート）
山田 晃久 （産業技術総合研究所）
山本 光晴 （千葉大学）
和賀 正樹 （京都大学）

** 組織委員会 **

組織委員長　　　　　　　橋本 健二　（香川大学）
組織副委員長　　　　　　堀江 倫大　（日本IBM）
財務担当　　　　　　　　高田 喜朗　（高知工科大学）
財務副担当　　　　　　　田邉 裕大　（東京科学大学）
会場担当　　　　　　　　井上 裕介　（名古屋大学）
会場副担当　　　　　　　中丸 智貴　（東京大学）
渉外担当　　　　　　　　仙田 涼摩　（三重大学）
渉外副担当　　　　　　　叢 悠悠　　（東京科学大学）
プログラム共同委員長　　西田 直樹　（名古屋大学）
プログラム共同委員長　　宋 剛秀　　（名古屋大学）
前プログラム共同委員長　日高 宗一郎（法政大学）
前プログラム共同委員長　塚田 武志　（千葉大学）

** 問い合わせ先 **

・ワークショップ全般について
　組織委員会：ppl20...@googlegroups.com

・発表/プログラムについて
　プログラム共同委員長：ppl2026-...@easychair.org