FrontPage
2019年 †
- 第21回プログラミングおよびプログラミング言語ワークショップ(PPL 2019)
- 2019年3月6日(水) 〜 8日(金) 岩手県花巻市志戸平温泉 「湯の杜ホテル志戸平」
2018年 †
- 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日(水) 鳥取県米子市皆生温泉「皆生グランドホテル天水」
- プログラム委員長: 西崎 真也 (東京工業大学),松崎 公紀 (高知工科大学)
- 組織委員長: 平石 拓 (京都大学)
- 第16回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2018)
- 2018年8月28日(火) 大阪大学コンベンションセンター (日本ソフトウェア科学会35回大会併設)
- 幹事: 番原 睦則 (神戸大学)
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)
- 2013年3月4日(月)〜6日(水) 場所: 会津若松市 東山温泉「御宿東鳳」
- プログラム委員長: 勝股 審也 (京都大学)、 権藤 克彦 (東京工業大学)
- 実行委員長: 上野 雄大 (東北大学)
2012年 †
- 第10回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2012)
- 2012年8月21日 法政大学小金井キャンパス (日本ソフトウェア科学会29回大会併設)
- 幹事: 住井 英二郎(東北大学)
- 11th International Symposium on Functional and Logic Programming (FLOPS 2012)
- 第14回プログラミングおよびプログラミング言語ワークショップ (PPL2012)
- 2012年3月8日(木)〜3月10日(土)、場所: 和歌山県 南紀白浜温泉 「むさし」
- プログラム委員長: 中澤 巧爾 (京都大学)、 前田 敦司 (筑波大学)
- 実行委員長: 鵜川 始陽 (電気通信大学)
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)
-
- 2008年3月5日(水)-7日(金),場所 仙台市 秋保温泉 緑水亭
- プログラム委員長: 住井 英二郎 (東北大学), 首藤 一幸 (ウタゴエ(株))
- 実行委員長: 青戸 等人 (東北大学)
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)
-
- 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)
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)
-
- 第1回プログラミングおよびプログラミング言語ワークショップ (PPL'99)
- 1999年3月17日〜19日,熱川ハイツ,伊豆急行線伊豆熱川駅からタクシー7分
- プログラム委員長: 胡 振江(東京大学)、Manuel Chakravarty(筑波大学)
1998年 †
- 3rd Fuji International Workshop on Functional and Logic Programming (FLOPS'98)
-
- 「型理論とその多相型言語のコンパイラーへの応用に関する」国際ワークショップ協賛
- 1998年3月
1996年 †
- 2nd Fuji International Workshop on Functional and Logic Programming
1995年 †
- Fuji International Workshop on Functional and Logic Programming
- 1995年7月17日〜19日,富士教育研修所, 富士裾野
- 第1回研究会
-
- 1995年10月30日〜11月1日, けいはんなプラザ