FrontPage

2018年

第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)
  • Local Chair: Yuki Chiba (JAIST)
第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)
  • 2014年3月5日(水) 〜 7日(金) 場所: 熊本県阿蘇市阿蘇温泉「阿蘇の司 ビラパークホテル」
  • プログラム委員長: 中田 秀基(産総研)、中野 圭介(電通大)
  • 実行委員長: 末永 幸平(京大)

2013年

第11回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2013)
  • 「高階モデル検査とその応用」
  • 講師:小林直樹(東京大学)
  • 2013年9月10日 東京大学本郷キャンパス (日本ソフトウェア科学会30回大会併設)
  • 幹事: 千葉 滋(東京大学)
第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013)

2012年

第10回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2012)
  • 2012年8月21日 法政大学小金井キャンパス (日本ソフトウェア科学会29回大会併設)
  • 幹事: 住井 英二郎(東北大学)
11th International Symposium on Functional and Logic Programming (FLOPS 2012)
第14回プログラミングおよびプログラミング言語ワークショップ (PPL2012)

2011年

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

2010年

第8回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2010)
10th International Symposium on Functional and Logic Programming (FLOPS 2010)
第12回プログラミングおよびプログラミング言語ワークショップ (PPL2010)

2009年

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

2008年

第6回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2008)
  • 2008年9月9日、日本ソフトウェア科学会大会に併設
  • 幹事: 田浦 健次朗(東京大学)
9th International Symposium on Functional and Logic Programming (FLOPS 2008)
第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008)

2007年

第5回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2007)
  • 2007年9月11日(火)、奈良先端大,日本ソフトウェア科学会大会に併設
  • 幹事: 小川 瑞史 (北陸先端大)
第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007)
  • 2007年3月8日(木)-10日(土),石川県 山代温泉 瑠璃光
  • プログラム委員長: 五十嵐 淳 (京都大学), 滝本 宗宏(東京理科大学)
  • 実行委員長: 中澤 巧爾(京都大学)

2006年

日本ソフトウェア科学会チュートリアル「Java言語の最新事情」
  • 2006年10月16日(月)、東京大学理学部
  • 幹事: 尾上 能之 (東京大学)
第4回プログラミングおよびプログラミング言語に関するサマースクール(PPL Summer School 2006)
  • 2006年9月12日,東京大学、 日本ソフトウェア科学会大会に併設
  • 幹事: Jacques Garrigue(名古屋大学)
8th International Symposium on Functional and Logic Programming (FLOPS 2006)
第8回プログラミングおよびプログラミング言語ワークショップ (PPL2006)
  • 2006年3月5日〜7日,琵琶湖グランドホテル
  • プログラム委員長: 石崎 一明(日本アイ・ビー・エム), 結縁 祥治(名古屋大学)
  • 実行委員長: 筧 一彦(東京大学)

2005年

第3回プログラミングおよびプログラミング言語に関するサマースクール(PPL Summer School 2005)
  • 2005年9月12日(月)(東北大学. 日本ソフトウェア科学会全国大会に併設)
  • 幹事: 西村 進(京都大学)
第7回プログラミングおよびプログラミング言語ワークショップ (PPL2005)
  • 2005年3月9〜11日,群馬県利根郡水上町
  • プログラム委員長: 関 浩之(奈良先端科学技術大学院大学), 増原 英彦(東京大学)

2004年

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

2003年

第1回プログラミング及びプログラミング言語に関するサマースクール(PPL Summer School 2003)
  • 2003年9月15日〜16日,愛知県立大学, 日本ソフトウェア科学会大会に併設
  • 幹事: 胡 振江(東京大学)
第5回プログラミングおよびプログラミング言語ワークショップ (PPL2003)
  • 2003年3月5日〜7日,静岡県富士市 富士ハイツ
  • プログラム委員長: 西村 進(京都大学), 八杉 昌宏(京都大学)

2002年

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日(木)、杉乃井ホテル(大分県別府市)
  • プログラム委員長: 亀山 幸義(筑波大学)、千葉 滋(東京工業大学)

2001年

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

2000年

第2回プログラミングおよびプログラミング言語ワークショップ (PPL2000)
  • 2000年3月20日〜22日,遠鉄ホテルエンパイア,浜名湖かんざんじ温泉
  • プログラム委員長: 小林 直樹(東京大学)、南出 靖彦(筑波大学)

1999年

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(筑波大学)

1998年

3rd Fuji International Workshop on Functional and Logic Programming (FLOPS'98)
  • 1998年4月2日〜4日,京都
「型理論とその多相型言語のコンパイラーへの応用に関する」国際ワークショップ協賛
1998年3月

1996年

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

1995年

Fuji International Workshop on Functional and Logic Programming
  • 1995年7月17日〜19日,富士教育研修所, 富士裾野
第1回研究会
  • 1995年10月30日〜11月1日, けいはんなプラザ