#contents

* ニュース [#fe78e44b]

:2016年3月7日~9日 |[[第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)>http://logic.cs.tsukuba.ac.jp/ppl2016/]] が岡山県玉野市たまの温泉で開催されました。

:2016年3月3日~6日 |[[Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016)>http://www.info.kochi-tech.ac.jp/FLOPS2016/]] が高知工科大学で開催されました。

:2015年9月8日 | [[第13回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2015)>ss2015]] が早稲田大学で開催されました。

* イベント [#fd68b9b8]

:[[第14回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2016)>ss2016]]|
--2016年9月6日 東北大学 (日本ソフトウェア科学会33回大会併設)
--幹事: 馬谷 誠二 (京都大学)

:第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)|
-- 2017年3月開催予定
-- プログラム委員長: 篠埜 功 (芝浦工業大学),番原 睦則 (神戸大学)
-- 組織委員長: 江本 健斗 (九州工業大学)

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

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

** 概要 [#ee896185]

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

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

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

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

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

- [[青戸 等人:http://www.nue.ie.niigata-u.ac.jp/%7Eaoto/]] (新潟大学)
- [[岩崎 英哉:http://ipl.cs.uec.ac.jp/%7Eiwasaki/]](電気通信大学・主査)
- [[鵜川 始陽:http://spa.cs.uec.ac.jp/%7Eugawa/]] (高知工科大学)
- [[馬谷 誠二:http://www.fos.kuis.kyoto-u.ac.jp/~umatani/index-j.html]](京都大学)
- [[勝股 審也:http://www.kurims.kyoto-u.ac.jp/~sinya/]](京都大学)
- [[河内谷 清久仁:http://researcher.ibm.com/researcher/view_person_subpage.php?id=4319]](日本IBM)
- [[浜名 誠:http://www.cs.gunma-u.ac.jp/~hamana/]](群馬大学)
- [[前田 敦司:http://www.ialab.cs.tsukuba.ac.jp/~maeda/]](筑波大学)
- [[森畑 明昌:http://www.graco.c.u-tokyo.ac.jp/labs/morihata/]] (東京大学)
- [[八杉 昌宏:http://www.yasugi.ai.kyutech.ac.jp/m/]](九州工業大学)

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

- [[日本ソフトウェア科学会プログラミング論研究会主査に関する規定]]
- [[日本ソフトウェア科学会プログラミング論研究会運営委員会に関する規定]]
- [[PPLプログラム委員長に関する規定>PPL プログラム委員長に関する規定]](※PPL2015より「実行委員長」が「組織委員長」となったため一部obsolete)
- [[PPL実行委員長に関する規定>PPL 実行委員長に関する規定]](※同上)
- [[PPLプログラム委員に関する規定]]

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