ニュース †

2011.7.26
PPL2012の日程と開催場所が決まりました。
2011.3.11
PPL2011が終了しました。過去最高148名の参加者による活発な討論が行われました。
2010.8.10
PPL2011のホームページが開設されました。
2010.7.27
今年のPPLサマースクールの詳細が決まりました。
2010.7.26
PPL2011 の日程と開催場所が決まりました。
↑

イベント †

第9回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2011)
  • 2011年9月、 日本ソフトウェア科学会28回大会に併設予定
第14回プログラミングおよびプログラミング言語ワークショップ (PPL2012)
終了したイベント
↑

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

↑

概要 †

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

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

↑

メイリングリスト †

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

↑

研究会運営委員会の構成(2011年4月現在) †

↑

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

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