ニュース †

2016年3月7日～9日
第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016) が岡山県玉野市たまの温泉で開催されました。
2016年3月3日～6日
Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016) が高知工科大学で開催されました。
2015年9月8日
第13回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2015) が早稲田大学で開催されました。
2015年3月4日～6日
第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015) が愛媛県松山市道後温泉で開催されました。
↑

イベント †

第14回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2016)
  • 2016年9月6日に東北大学で開催予定
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
  • 2017年3月開催予定
  • プログラム委員長： 篠野 功 (芝浦工業大学)，番原 睦則 (神戸大学)
  • 組織委員長： 江本 健斗 (九州工業大学)
終了したイベント
↑

プログラミング論研究会について †

↑

概要 †

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

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

↑

メイリングリスト †

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

↑

研究会運営委員会の構成（2016年4月現在） †

↑

研究会運営規則・過去の運営委員など †

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