ニュース †
- 2011.9.30
- FLOPS2012のホームページが開設されました。
- 2011.9.24
- PPLサマースクール2011が終了しました。遠方にも関わらずのご参加、ありがとうございました。
- 2011.8.22
- PPL2012のホームページが開設されました。
イベント †
- 11th International Symposium on Functional and Logic Programming (FLOPS 2012)
- 第10回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2012)
- 2012年8月、日本ソフトウェア科学会29回大会に併設
- 幹事: 住井 英二郎(東北大学)
- 第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013)
- 2013年3月(予定) 場所: (未定)
- プログラム委員長: 勝股 審也 (京都大学)、 権藤 克彦 (東京工業大学)
- 実行委員長: 上野 雄大 (東北大学)
- 終了したイベント
プログラミング論研究会について †
概要 †
「プログラミング論研究会(略称:PPL)」は、 プログラミング言語とプログラミング方法論に関する研究討論の場を提供することを目的としています。理論面では,新しいプログラミングパラダイム等のための形式系の構築,プログラミング言語や仕様記述システムの設計理論等の構築,プログラム変換の形式化などを対象とし,実践面では,理論を適用した実装技術の開発や言語処理系の試作,およびそれらの具体的な問題領域への適用,さらにツール化,プログラミング環境などを対象としています。
現在の主な活動は、PPLワークショップ(毎年3月頃)、PPLサマースクール (毎年9月頃)の主催、研究会メイリングリストの運営、国際会議FLOPSの主催などです。
メイリングリスト †
プログラミングの理論と実践に関する研究者の情報交換を目的としたメイリングリストを運営しています.入会方法はこちらを御覧ください.
研究会運営委員会の構成(2012年4月現在) †
研究会運営規則・過去の運営委員など †
SIG-PPL (研究会)に関する問合わせ,提案等は,e-mailで, 研究会主査 あてにお寄せください。 PPLワークショップ、PPLサマースクールなど個別のイベントについてのお問い合わせは、上記のプログラム委員長、実行委員長、幹事に御連絡ください。