日本ソフトウェア科学会 プログラミング論研究会 (JSSST-SIGPPL) (Special Interest Group on Programming and Programming Languages)

過去のニュース

• 18th International Symposium on Functional and Logic Programming (FLOPS 2026)
  • May 26-May 28, 2026 in Tsukuba

• 第28回プログラミングおよびプログラミング言語ワークショップ（PPL 2026）
  • 日時: 2026年3月9日(月)〜12日(木)
  • プログラム委員長： 西田 直樹 (名古屋大学)，宋 剛秀 (名古屋大学)
  • 組織委員長： 橋本 健二 (香川大学)

終了したイベント

「プログラミング論研究会（略称：PPL）」は、 プログラミング言語とプログラミング方法論に関する研究討論の場を提供することを目的としています。理論面では，新しいプログラミングパラダイム等のための形式系の構築，プログラミング言語や仕様記述システムの設計理論等の構築，プログラム変換の形式化などを対象とし，実践面では，理論を適用した実装技術の開発や言語処理系の試作，およびそれらの具体的な問題領域への適用，さらにツール化，プログラミング環境などを対象としています。

現在の主な活動は、PPLワークショップ（毎年３月頃）、PPLサマースクール（毎年９月頃）の主催、研究会メイリングリストの運営、国際会議FLOPSの主催などです。

プログラミングの理論と実践に関する研究者の情報交換を目的としたメイリングリストを運営しています．入会方法はこちらを御覧ください．

• 安部 達也 (千葉工業大学)
• 稲葉 一浩 (Google)
• 江本 健斗 (九州工業大学)
• 川端 英之 (広島市立大学)
• 小宮 常康 (電気通信大学)
• 塚田 武志 (千葉大学)
• 番原 睦則 (名古屋大学・主査)
• 日高 宗一郎 (法政大学)
• 松田 一孝 (東北大学)
• 渡部 卓雄 (東京工業大学)

• 日本ソフトウェア科学会プログラミング論研究会主査に関する規定
• 日本ソフトウェア科学会プログラミング論研究会運営委員会に関する規定
• PPLプログラム委員長に関する規定
• PPL組織委員長に関する規定
• PPLプログラム委員に関する規定

SIG-PPL（研究会）に関する問い合わせ，提案等は，電子メールで，研究会主査あてにお寄せください。PPLワークショップ、PPLサマースクールなど個別のイベントについてのお問い合わせは、上記のプログラム委員長、組織委員長、幹事に御連絡ください。