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

* ニュース [#fe78e44b]

:2011.8.30|[[PPLサマースクール2011のホームページ:http://ppl.jssst.or.jp/index.php?ss2011]]が開設されました。参加募集中です。
:2011.9.30|[[FLOPS2012:http://www.org.kobe-u.ac.jp/flops2012/]]のホームページが開設されました。
:2011.9.24|[[PPLサマースクール2011:http://ppl.jssst.or.jp/index.php?ss2011]]が終了しました。遠方にも関わらずのご参加、ありがとうございました。
:2011.8.22|[[PPL2012のホームページ:http://ppl2012.cs.uec.ac.jp/]]が開設されました。
:2011.7.26| PPL2012の日程と開催場所が決まりました。
:2011.3.11|[[PPL2011:http://www.info.kochi-tech.ac.jp/ppl2011/]]が終了しました。過去最高148名の参加者による活発な討論が行われました。

* イベント [#fd68b9b8]

:[[第9回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2011):http://ppl.jssst.or.jp/index.php?ss2011]]|
--2011年9月26日(月)、 [[日本ソフトウェア科学会28回大会:http://jssst11.kuis.kyoto-u.ac.jp/]](沖縄県那覇市)に併設
--幹事: [[首藤 一幸:http://www.shudo.net/]](東京工業大学)

:[[第14回プログラミングおよびプログラミング言語ワークショップ (PPL2012):http://ppl2012.cs.uec.ac.jp/]]|
--2012年3月8日(木)〜3月10日(土)、場所: 和歌山県 南紀白浜温泉 「[[むさし:http://www.yado-musasi.co.jp]]」
--プログラム委員長: [[中澤 巧爾:http://www.sato.kuis.kyoto-u.ac.jp/~knak/]] (京都大学)、 [[前田 敦司:http://www.ialab.cs.tsukuba.ac.jp/~maeda/]] (筑波大学) 
--実行委員長: [[鵜川 始陽:http://spa.cs.uec.ac.jp/~ugawa/]] (電気通信大学) 

:[[11th International Symposium on Functional and Logic Programming (FLOPS 2012):http://www.org.kobe-u.ac.jp/flops2012/]] |
--2012年5月23-25日,神戸大学
--General Chair: [[Naoyuki Tamura:http://bach.istc.kobe-u.ac.jp/tamura.html]] (Kobe U.)
--Program Co-Chairs: [[Tom Schrijvers:http://users.ugent.be/~tschrijv/]] (University of Ghent, Belgium), [[Peter Thiemann:http://www.informatik.uni-freiburg.de/~thiemann/]] (University of Freiburg, Germany)


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

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

** 概要 [#ee896185]

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

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

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

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

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

- [[五十嵐 淳:http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/]] (京都大学、主査)
- [[岩崎 英哉:http://ipl.cs.uec.ac.jp/~iwasaki/]] (電気通信大学)
- [[木下 佳樹:http://staff.aist.go.jp/kinoshita.yoshiki/]] (産業技術総合研究所)
- [[首藤 一幸:http://www.shudo.net/]] (東京工業大学)
- [[住井 英二郎:http://www.kb.ecei.tohoku.ac.jp/~sumii/]](東北大学)
- 千代 英一郎 (日立製作所)
- [[千葉 滋:http://www.csg.is.titech.ac.jp/~chiba/]] (東京工業大学)
- [[胡 振江:http://research.nii.ac.jp/~hu/]] (国立情報学研究所)
- [[南出 靖彦:http://www.score.cs.tsukuba.ac.jp/~minamide]] (筑波大学)

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

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

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