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

• 2025年9月2日(月) 東海大学品川キャンパス・オンライン ハイブリッド開催（対面主体・日本ソフトウェア科学会42回大会併設）
• 幹事： 川端 英之（広島市立大学）

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

• 2025年3月5日（水）〜 3月7日（金）ホテル明山荘
• プログラム委員長： 塚田 武志（千葉大学），日高 宗一郎（法政大学）
• 組織委員長： 堀江 倫大（日本IBM）

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

• 2024年9月9日(月) 立命館大学大阪いばらきキャンパス・オンライン ハイブリッド開催（日本ソフトウェア科学会41回大会併設）
• 幹事： 松田 一孝（東北大学）

Seventeenth International Symposium on Functional and Logic Programming (FLOPS 2024)

• 15-17 May, 2024, Kumamoto
• PC Co-Chairs: Jeremy Gibbons (Oxford University), Dale Miller (INRIA Saclay)
• General Chair: Shin-ya Katsumata (National Institute of Informatics)
• Local Co-Chairs: Naohiko Hoshino (Sojo University)

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

• 2024年3月5日(火) 午前 〜 7日(木) 夕方 朱鷺メッセ 新潟コンベンションセンター および オンラインのハイブリッド開催
• プログラム委員長： 安部 達也（千葉工業大学）， 川端 英之（広島市立大学）
• 組織委員長： 木村 大輔（東邦大学）

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

• 2023年9月11日(月) 東大本郷キャンパス・オンライン ハイブリッド開催（日本ソフトウェア科学会40回大会併設）
• 幹事： 稲葉 一浩（Google）

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

• 2023年3月6日(月) 〜 8日(水) 名古屋大学 IB電子情報館（中棟） および オンラインのハイブリッド開催
• プログラム委員長： 松田 一孝（東北大学），小宮 常康（電気通信大学）
• 組織委員長： 今井 敬吾（岐阜大学）

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

• 2022年8月30日(火) オンライン開催（日本ソフトウェア科学会39回大会併設）
• 幹事： 海野 広志（筑波大学）

Sixteenth International Symposium on Functional and Logic Programming (FLOPS 2022)

• 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）， 江本 健斗（九州工業大学）
• 組織委員長： 新屋 良磨（秋田大学）

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

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

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

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

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日(水) 佐賀県嬉野市嬉野温泉「和田屋別荘」
• 現地開催は中止
• プログラム委員長： 森畑 明昌（東京大学）， 平石 拓（京都大学）
• 組織委員長： 佐藤 亮介（九州大学）

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

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

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

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

第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日(水) 鳥取県米子市皆生温泉「皆生グランドホテル天水」
• プログラム委員長： 西崎 真也 (東京工業大学)，松崎 公紀 (高知工科大学)
• 組織委員長： 平石 拓 (京都大学)

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

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

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

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

第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)

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

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

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

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

第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日(金)　場所: 熊本県阿蘇市阿蘇温泉「阿蘇の司 ビラパークホテル」
• プログラム委員長: 中田 秀基（産総研）、中野 圭介（電通大）
• 実行委員長: 末永 幸平（京大）

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

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

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

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

第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日(土)、場所: 和歌山県 南紀白浜温泉 「むさし」
• プログラム委員長： 中澤 巧爾 (京都大学)、 前田 敦司 (筑波大学)
• 実行委員長： 鵜川 始陽 (電気通信大学)

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

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

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

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

第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)

• 2010年3月3-5日、場所 香川県/琴平温泉「琴参閣」
• プログラム委員長： 寺内 多智弘 (東北大学)、 岩崎 英哉 (電気通信大学)
• 実行委員長： 西澤 弘毅 (鳥取環境大学)

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

• 2009年9月15日、日本ソフトウェア科学会大会に併設)
• 幹事：関 浩之（奈良先端大), 滝本 宗宏（東京理科大）

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

• 2009年3月9-11日， 場所 飛騨高山・高山グリーンホテル
• プログラム委員長： 千代 英一郎 (日立製作所)， 長谷川 真人 (京都大学)
• 実行委員長： 中野 圭介 (電気通信大学)

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

• 2008年9月9日、日本ソフトウェア科学会大会に併設
• 幹事： 田浦 健次朗（東京大学)

9th International Symposium on Functional and Logic Programming (FLOPS 2008)

• 2008年4月14-16日，伊勢市
• プログラム委員長： Jacques Garrigue (Nagoya), Manuel Hermenegildo (Madrid)

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

• 2008年3月5日(水)-7日(金)，場所 仙台市 秋保温泉 緑水亭
• プログラム委員長： 住井 英二郎 (東北大学)， 首藤 一幸 (ウタゴエ(株))
• 実行委員長： 青戸 等人 (東北大学)

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

• 2007年9月11日(火)、奈良先端大,日本ソフトウェア科学会大会に併設
• 幹事： 小川 瑞史 (北陸先端大)

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

• 2007年3月8日(木)-10日（土)，石川県 山代温泉 瑠璃光
• プログラム委員長： 五十嵐 淳 (京都大学)， 滝本 宗宏(東京理科大学)
• 実行委員長： 中澤 巧爾(京都大学)

日本ソフトウェア科学会チュートリアル「Java言語の最新事情」

• 2006年10月16日（月）、東京大学理学部
• 幹事： 尾上 能之 (東京大学）

第4回プログラミングおよびプログラミング言語に関するサマースクール(PPL Summer School 2006)

• 2006年9月12日，東京大学、 日本ソフトウェア科学会大会に併設
• 幹事： Jacques Garrigue(名古屋大学)

8th International Symposium on Functional and Logic Programming (FLOPS 2006)

• 2006年4月 24日〜26日，富士裾野
• プログラム委員長： Masami Hagiya (Tokyo), Philip Wadler (Edinburgh)

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

• 2006年3月5日〜7日，琵琶湖グランドホテル
• プログラム委員長： 石崎 一明(日本アイ・ビー・エム)， 結縁 祥治(名古屋大学)
• 実行委員長： 筧 一彦(東京大学)

第3回プログラミングおよびプログラミング言語に関するサマースクール(PPL Summer School 2005)

• 2005年9月12日(月)（東北大学． 日本ソフトウェア科学会全国大会に併設）
• 幹事: 西村 進(京都大学)

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

• 2005年3月9〜11日，群馬県利根郡水上町
• プログラム委員長： 関 浩之(奈良先端科学技術大学院大学)， 増原 英彦(東京大学)

第2回プログラミングおよびプログラミング言語に関するサマースクール(PPL Summer School 2004)

• 2004年9月14日，東京工業大学、 日本ソフトウェア科学会大会に併設
• 幹事: 亀山 幸義(筑波大学)

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

• 2004年3月11日(木)〜13日(土)，愛知県蒲郡市
• プログラム委員長： 小川 瑞史(北陸先端大)， 脇田 建(東京工業大学)

7th International Symposium on Functional and Logic Programming (FLOPS 2004)

• 2004年4月7日〜9日，奈良県新公会堂
• プログラム委員長： Yukiyoshi Kameyama (University of Tsukuba), Peter Stuckey (University of Melbourne)

第1回プログラミング及びプログラミング言語に関するサマースクール(PPL Summer School 2003)

• 2003年9月15日〜16日，愛知県立大学， 日本ソフトウェア科学会大会に併設
• 幹事: 胡 振江(東京大学)

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

• 2003年3月5日〜7日，静岡県富士市 富士ハイツ
• プログラム委員長： 西村 進（京都大学）， 八杉 昌宏（京都大学）

6th International Symposium on Functional and Logic Programming (FLOPS 2002)

• 2002年9月15日〜17日，福島県 会津大学
• プログラム委員長： Zhenjiang Hu (University of Tokyo), Mario Rodriguez-artalejo (Complutense University)

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

• 2002年3月5日(火)〜7日(木)、杉乃井ホテル（大分県別府市）
• プログラム委員長: 亀山 幸義(筑波大学)、千葉 滋(東京工業大学)

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

• 2001年3月21日（水）〜3月23日（金）、亀岡ハイツ(京都湯の花温泉)
• プログラム委員長: Jacques Garrigue(京都大学)、田浦 健二朗(東京大学)

5th Fuji International Workshop on Functional and Logic Programming (FLOPS 2001)

• 2001年3月7日〜9日，早稲田大学, 東京
• プログラム委員長: Kazunori Ueda (Waseda), Herbert Kuchen (Münster)

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

• 2000年3月20日〜22日，遠鉄ホテルエンパイア，浜名湖かんざんじ温泉
• プログラム委員長: 小林 直樹(東京大学)、南出 靖彦(筑波大学)

• 4th Fuji International Workshop on Functional and Logic Programming (FLOPS'99)
  • 1999年11月11日〜12日，つくば市

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

• 1999年3月17日〜19日，熱川ハイツ，伊豆急行線伊豆熱川駅からタクシー7分
• プログラム委員長: 胡 振江(東京大学)、Manuel Chakravarty(筑波大学)

• 3rd Fuji International Workshop on Functional and Logic Programming (FLOPS'98)
  1998年4月2日〜4日，京都

• 「型理論とその多相型言語のコンパイラーへの応用に関する」国際ワークショップ協賛
  1998年3月

• 2nd Fuji International Workshop on Functional and Logic Programming
  1996年11月1日〜4日，湘南国際村

• Fuji International Workshop on Functional and Logic Programming
  1995年7月17日〜19日，富士教育研修所, 富士裾野

• 第1回研究会
  1995年10月30日〜11月1日， けいはんなプラザ