日本ソフトウェア科学会プログラミング論研究会 (JSSST-SIGPPL) (Special Interest Group on Programming and Programming Languages)

10-12 May, 2022, Kyoto
PC Co-Chairs: Michael Hanus (Kiel University), Atsushi Igarashi (Kyoto University)
General Chair: Atsushi Igarashi (Kyoto University)
Local Co-Chairs: Keigo Imai (Gifu University), Taro Sekiyama (NII)

第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）

2022年3月6日(日) 〜 8日(火) ~~東京工業大学 70周年記念講堂（ハイブリッド開催）~~ オンライン開催
プログラム委員長：稲葉一浩（Google），江本健斗（九州工業大学）
組織委員長：新屋良磨（秋田大学）

2021年

第18回プログラミングおよびプログラミング言語サマースクール（PPL Summer School 2021）

2021年8月31日(月) オンライン開催（日本ソフトウェア科学会38回大会併設）
幹事：笹田耕一（クックパッド）

第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）

2021年3月9日(火) 〜 11日(木) ~~名古屋サンスカイルームA室~~ オンライン開催
プログラム委員長：上野雄大（東北大学），海野広志（筑波大学）
組織委員長：関山太朗（国立情報学研究所）

2020年

Fifteenth International Symposium on Functional and Logic Programming (FLOPS 2020)

14-16 September, 2020, ~~Akita~~ Online
PC Co-Chairs: Keisuke Nakano (Tohoku University), Konstantinos Sagonas (Uppsala University)
General Chair: Keisuke Nakano (Tohoku University)
Local Co-Chairs: Kazuyuki Asada (Tohoku University), Ryoma Sin'ya (Akita University), Katsuhiro Ueno (Tohoku University)

第22回プログラミングおよびプログラミング言語ワークショップ（PPL 2020）

2020年3月2日(月) 〜 4日(水) 佐賀県嬉野市嬉野温泉「和田屋別荘」
現地開催は中止
プログラム委員長：森畑明昌（東京大学），平石拓（京都大学）
組織委員長：佐藤亮介（九州大学）

2019年

第17回プログラミングおよびプログラミング言語サマースクール（PPL Summer School 2019）

2019年8月26日(月) 芝浦工業大学芝浦キャンパス（日本ソフトウェア科学会36回大会併設）
幹事：末永幸平（京都大学）

第21回プログラミングおよびプログラミング言語ワークショップ（PPL 2019）

2019年3月6日(水) 〜 8日(金) 岩手県花巻市志戸平温泉「湯の杜ホテル志戸平」
プログラム委員長：末永幸平（京都大学），笹田耕一（クックパッド）
組織委員長：浅田和之（東北大学）

2018年

第16回プログラミングおよびプログラミング言語サマースクール（PPL Summer School 2018）

2018年8月28日(火) 大阪大学コンベンションセンター（日本ソフトウェア科学会35回大会併設）
幹事：番原睦則 (神戸大学)

Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018)

9-11 May, 2018, Nagoya, Japan
PC Co-Chairs: John Gallagher (Roskilde University, Denmark and IMDEA Software Institute, Spain), Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany)
General Chair: Makoto Tatsuta (National Institute of Informatics, Japan)
Local Chair: Koji Nakazawa (Nagoya University, Japan)

第20回プログラミングおよびプログラミング言語ワークショップ（PPL 2018）

2018年3月5日(月)−3月7日(水) 鳥取県米子市皆生温泉「皆生グランドホテル天水」
プログラム委員長：西崎真也 (東京工業大学)，松崎公紀 (高知工科大学)
組織委員長：平石拓 (京都大学)

2017年

第15回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2017)

2017年9月18日慶應義塾大学 (日本ソフトウェア科学会34回大会併設)
幹事：青戸等人 (新潟大学)

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)

2017年3月8日(水)−3月10日(金) 山梨県笛吹市石和温泉「華やぎの章慶山」
プログラム委員長：篠埜功 (芝浦工業大学)，番原睦則 (神戸大学)
組織委員長：江本健斗 (九州工業大学)

2016年

第14回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2016)

2016年9月6日東北大学 (日本ソフトウェア科学会33回大会併設)
幹事：馬谷誠二 (京都大学)

第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)

2016年3月7日(月)～9日(水) 場所：岡山県玉野市たまの温泉ダイヤモンド瀬戸内マリンホテル
プログラム委員長：青戸等人（東北大学）、鵜川始陽（高知工科大学）
組織委員長：海野広志（筑波大学）

Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016)

March 3-6, 2016, Kochi University of Technology, Japan
PC Co-Chairs: Andy King (University of Kent), Oleg Kiselyov (Tohoku University)
General Chair: Yukiyoshi Kameyama (Tsukuba University)
Local Chair: Kiminori Matsuzaki (Kochi University of Technology)

2015年

第13回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2015)

2015年9月8日早稲田大学 (日本ソフトウェア科学会32回大会併設)
幹事：前田敦司 (筑波大学)

第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015)

2015年3月4日(水)～6日(金) 場所：愛媛県松山市道後温泉「道後プリンスホテル」
プログラム委員長：浜名誠（群馬大学）、馬谷誠二（京都大学）
組織委員長：松田一孝（東京大学）

2014年

第12回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2014)

2014年9月7日名古屋大学 (日本ソフトウェア科学会31回大会併設)
幹事：八杉昌宏（九州工業大学）

Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014)

2014年6月4日（水）～6日（金）　石川県立美術館（金沢）
PC Co-Chairs: Michael Codish (Ben-Gurion University of the Negev), Eijiro Sumii (Tohoku University)
General Chair: Eijiro Sumii (Tohoku University)
Local Chair: Yuki Chiba (JAIST)

第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)

2014年3月5日(水) 〜 7日(金)　場所: 熊本県阿蘇市阿蘇温泉「阿蘇の司ビラパークホテル」
プログラム委員長: 中田秀基（産総研）、中野圭介（電通大）
実行委員長: 末永幸平（京大）

2013年

第11回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2013)

「高階モデル検査とその応用」
講師：小林直樹（東京大学）
2013年9月10日東京大学本郷キャンパス (日本ソフトウェア科学会30回大会併設)
幹事：千葉滋（東京大学）

第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013)

2013年3月4日(月)〜6日(水) 場所: 会津若松市東山温泉「御宿東鳳」
プログラム委員長：勝股審也 (京都大学)、権藤克彦 (東京工業大学)
実行委員長：上野雄大 (東北大学)

2012年

第10回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2012)

2012年8月21日法政大学小金井キャンパス (日本ソフトウェア科学会29回大会併設)
幹事：住井英二郎（東北大学）

11th International Symposium on Functional and Logic Programming (FLOPS 2012)

2012年5月23-25日，神戸大学
General Chair: Naoyuki Tamura (Kobe U.)
Program Co-Chairs: Tom Schrijvers (University of Ghent, Belgium), Peter Thiemann (University of Freiburg, Germany)

第14回プログラミングおよびプログラミング言語ワークショップ (PPL2012)

2012年3月8日(木)〜3月10日(土)、場所: 和歌山県南紀白浜温泉「むさし」
プログラム委員長：中澤巧爾 (京都大学)、前田敦司 (筑波大学)
実行委員長：鵜川始陽 (電気通信大学)

2011年

第9回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2011)

2011年9月26日(月)、日本ソフトウェア科学会28回大会(沖縄県那覇市)に併設
幹事：首藤一幸（東京工業大学）

第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011)

2011年3月9日(水)〜11日(金)、場所北海道/定山渓温泉「定山渓ビューホテル」
プログラム委員長：浅井健一 (お茶の水女子大学)、河内谷清久仁 (日本アイ・ビー・エム)
実行委員長：松崎公紀 (高知工科大学)

2010年

第8回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2010)

2010年9月12日(日)、日本ソフトウェア科学会27回大会に併設
幹事：石崎一明（日本IBM）

10th International Symposium on Functional and Logic Programming (FLOPS 2010)

2010年4月19-21日，東北大学
General Chair: Naoki Kobayashi (Tohoku U.)
Program Co-Chairs: Matthias Blume (Toyota Technological Institute at Chicago), German Vidal (Technical University of Valencia)

第12回プログラミングおよびプログラミング言語ワークショップ (PPL2010)