検索
AND検索
OR検索
トップ
|
リロード
|
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
終了したイベント のバックアップ(No.11)
バックアップ一覧
差分
を表示
現在との差分
を表示
ソース
を表示
終了したイベント
へ行く。
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)
FrontPage
2013年
†
第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013)
2013年3月4日(月)〜6日(水) 場所: 会津若松市 東山温泉「
御宿東鳳
」
プログラム委員長:
勝股 審也
(京都大学)、
権藤 克彦
(東京工業大学)
実行委員長:
上野 雄大
(東北大学)
第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)
第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)
2010年3月3-5日、場所 香川県/琴平温泉「
琴参閣
」
プログラム委員長:
寺内 多智弘
(東北大学)、
岩崎 英哉
(電気通信大学)
実行委員長:
西澤 弘毅
(鳥取環境大学)
↑
2009年
†
第7回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2009)
2009年9月15日、
日本ソフトウェア科学会大会
に併設)
幹事:
関 浩之
(奈良先端大),
滝本 宗宏
(東京理科大)
第11回プログラミングおよびプログラミング言語ワークショップ (PPL2009)
2009年3月9-11日, 場所 飛騨高山・
高山グリーンホテル
プログラム委員長: 千代 英一郎 (日立製作所),
長谷川 真人
(京都大学)
実行委員長:
中野 圭介
(電気通信大学)
↑
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)
第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)
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日,琵琶湖グランドホテル
プログラム委員長:
石崎 一明
(日本アイ・ビー・エム),
結縁 祥治
(名古屋大学)
実行委員長:
筧 一彦
(東京大学)
↑
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日, けいはんなプラザ