- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- 終了したイベント へ行く。
- 1 (2010-03-30 (火) 19:35:02)
- 2 (2010-03-31 (水) 00:18:44)
- 3 (2010-07-27 (火) 00:33:09)
- 4 (2010-08-17 (火) 05:40:41)
- 5 (2011-04-06 (水) 12:10:36)
- 6 (2011-09-30 (金) 17:59:25)
- 7 (2012-04-08 (日) 20:46:34)
- 8 (2012-07-26 (木) 12:29:47)
- 9 (2012-08-22 (水) 07:23:38)
- 10 (2013-06-24 (月) 22:59:47)
- 11 (2013-12-16 (月) 00:16:24)
- 12 (2014-04-05 (土) 00:16:04)
- 13 (2014-07-17 (木) 13:04:38)
- 14 (2014-09-11 (木) 22:52:23)
- 15 (2015-03-09 (月) 22:53:46)
- 16 (2015-03-10 (火) 11:08:18)
- 17 (2015-09-17 (木) 10:00:24)
- 18 (2016-04-15 (金) 08:46:52)
- 19 (2016-09-23 (金) 16:57:36)
- 20 (2017-03-24 (金) 14:26:31)
- 21 (2018-04-01 (日) 09:35:51)
- 22 (2018-08-28 (火) 15:27:09)
- 23 (2019-03-31 (日) 17:20:43)
- 24 (2020-02-25 (火) 15:26:43)
- 25 (2020-05-08 (金) 17:38:20)
- 26 (2020-08-03 (月) 18:52:36)
- 27 (2020-09-26 (土) 21:26:49)
- 28 (2021-04-11 (日) 09:24:30)
- 29 (2021-09-03 (金) 03:39:34)
- 30 (2022-03-11 (金) 18:23:36)
- 31 (2023-02-22 (水) 11:56:09)
- 32 (2023-06-21 (水) 08:40:07)
- 33 (2023-09-20 (水) 08:52:36)
2019年 †
- 第21回プログラミングおよびプログラミング言語ワークショップ(PPL 2019)
- 2019年3月6日(水) 〜 8日(金) 岩手県花巻市志戸平温泉 「湯の杜ホテル志戸平」
- 第17回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2019)
- 2019年8月26日(月) 芝浦工業大学芝浦キャンパス (日本ソフトウェア科学会36回大会併設)
- 幹事： 末永 幸平（京都大学）
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回大会併設)
- 幹事： 千葉 滋（東京大学）
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)
2011年 †
- 第9回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2011)
- 2011年9月26日(月)、 日本ソフトウェア科学会28回大会(沖縄県那覇市)に併設
- 幹事： 首藤 一幸（東京工業大学）
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)
2009年 †
- 第7回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2009)
- 2009年9月15日、日本ソフトウェア科学会大会に併設)
- 幹事：関 浩之（奈良先端大), 滝本 宗宏（東京理科大）
2008年 †
- 第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)
2007年 †
- 第5回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2007)
-
- 2007年9月11日(火)、奈良先端大,日本ソフトウェア科学会大会に併設
- 幹事： 小川 瑞史 (北陸先端大)
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)
-
- 2006年4月 24日〜26日，富士裾野
- プログラム委員長： Masami Hagiya (Tokyo), Philip Wadler (Edinburgh)
2005年 †
- 第3回プログラミングおよびプログラミング言語に関するサマースクール(PPL Summer School 2005)
-
- 2005年9月12日(月)（東北大学． 日本ソフトウェア科学会全国大会に併設）
- 幹事: 西村 進(京都大学)
2004年 †
- 第2回プログラミングおよびプログラミング言語に関するサマースクール(PPL Summer School 2004)
- 2004年9月14日，東京工業大学、 日本ソフトウェア科学会大会に併設
- 幹事: 亀山 幸義(筑波大学)
- 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日，愛知県立大学， 日本ソフトウェア科学会大会に併設
- 幹事: 胡 振江(東京大学)
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)
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日， けいはんなプラザ
Based on "PukiWiki" 1.3 by yu-ji.
Skin "GS2" is designed by yiza.
Powered by PHP 5.6.40-0+deb8u12. HTML convert time: 0.066 sec.