• 追加された行はこの色です。
  • 削除された行はこの色です。
#contents

* ニュース [#fe78e44b]

:2013.9.10|PPLサマースクール2013「高階モデル検査とその応用」(講師: 小林直樹)
が開催されます。
:2014.3.5 | PPL 2014 が熊本県阿蘇市で開催されます。

* イベント [#fd68b9b8]

:[[第11回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2013)>http://jssst2013.wordpress.com/events/ppl-summer-school/]]|
--「高階モデル検査とその応用」
--講師:小林直樹(東京大学)
--2013年9月10日 東京大学本郷キャンパス (日本ソフトウェア科学会30回大会併設)
--幹事: [[千葉 滋:http://www.ci.i.u-tokyo.ac.jp/~chiba/]](東京大学)
:[[第16回プログラミングおよびプログラミング言語ワークショップ (PPL  2014)>http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/]]|
-- 2014年3月5日(水) 〜 7日(金) 場所: 熊本県阿蘇市阿蘇温泉「阿蘇の司 ビラパークホテル」
-- プログラム委員長: 中田 秀基(産総研)、中野 圭介(電通大)
-- 実行委員長: 末永 幸平(京大)

:[[終了したイベント]]|

* プログラミング論研究会について [#g2f3613a]

** 概要 [#ee896185]

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

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

** メイリングリスト [#we0eba91]

プログラミングの理論と実践に関する研究者の情報交換を目的としたメイリングリストを運営しています.入会方法は[[こちら:http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/jssst-ppl]]を御覧ください. 

** 研究会運営委員会の構成(2013年4月現在) [#d62f1a0d]

- [[岩崎 英哉:http://ipl.cs.uec.ac.jp/~iwasaki/]] (電気通信大学)
- [[勝股 審也:http://www.kurims.kyoto-u.ac.jp/~sinya/]] (京都大学)
- [[住井 英二郎:http://www.kb.ecei.tohoku.ac.jp/~sumii/]](東北大学)
- [[千葉 滋:http://www.csg.is.titech.ac.jp/~chiba/]] (東京大学、主査)
- [[中野 圭介:http://millsmess.cs.uec.ac.jp/~ksk/]] (電気通信大学)
- [[長谷川 真人:http://www.kurims.kyoto-u.ac.jp/~hassei/]] (京都大学)
- [[前田敦司:http://www.ialab.cs.tsukuba.ac.jp/~maeda/]] (筑波大学)
- [[八杉昌宏:http://www.yasugi.ai.kyutech.ac.jp/2012/]] (九州工業大学)
- [[結縁 祥治:http://ampei.agusa.i.is.nagoya-u.ac.jp/~yuen/]] (名古屋大学)

** 研究会運営規則・過去の運営委員など [#gdf8d605]

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

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