検索
AND検索
OR検索
トップ
|
リロード
|
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
終了したイベント をテンプレートにして作成
リンク
日本ソフトウェア科学会
FLOPS 2020
PPL 2021
Total:0/Today:0
開始行:
[[FrontPage]]
*2020年 [#u611f718]
:[[Fifteenth International Symposium on Functional and Lo...
-- 14-16 September, 2020, Online
-- PC Co-Chairs: Keisuke Nakano (Tohoku University), Kons...
-- General Chair: Keisuke Nakano (Tohoku University)
-- Local Co-Chairs: Kazuyuki Asada (Tohoku University), R...
:[[第22回プログラミングおよびプログラミング言語ワークショ...
--2020年3月2日(月) 〜 4日(水) 佐賀県嬉野市嬉野温泉「和田...
--現地開催は中止
-- プログラム委員長: 森畑 明昌(東京大学), 平石 拓(京...
-- 組織委員長: 佐藤 亮介(九州大学)
*2019年 [#m67d24d9]
:[[第17回プログラミングおよびプログラミング言語サマースク...
--2019年8月26日(月) 芝浦工業大学芝浦キャンパス (日本ソフ...
--幹事: 末永 幸平(京都大学)
:[[第21回プログラミングおよびプログラミング言語ワークショ...
--2019年3月6日(水) 〜 8日(金) 岩手県花巻市志戸平温泉 「...
-- プログラム委員長: 末永 幸平(京都大学),笹田 耕一(...
-- 組織委員長: 浅田 和之(東北大学)
*2018年 [#wfaf16bd]
:[[第16回プログラミングおよびプログラミング言語サマースク...
--2018年8月28日(火) 大阪大学コンベンションセンター (日本...
--幹事: 番原 睦則 (神戸大学)
:[[Fourteenth International Symposium on Functional and L...
-- 9-11 May, 2018, Nagoya, Japan
-- PC Co-Chairs: John Gallagher (Roskilde University, Den...
-- General Chair: Makoto Tatsuta (National Institute of I...
-- Local Chair: Koji Nakazawa (Nagoya University, Japan)
:[[第20回プログラミングおよびプログラミング言語ワークショ...
-- 2018年3月5日(月)−3月7日(水) 鳥取県米子市皆生温泉「皆生...
-- プログラム委員長: 西崎 真也 (東京工業大学),松崎 公紀...
-- 組織委員長: 平石 拓 (京都大学)
*2017年 [#wcec10ed]
:[[第15回プログラミングおよびプログラミング言語サマースク...
--2017年9月18日 慶應義塾大学 (日本ソフトウェア科学会34回...
--幹事: 青戸 等人 (新潟大学)
:[[第19回プログラミングおよびプログラミング言語ワークショ...
-- 2017年3月8日(水)−3月10日(金) 山梨県笛吹市石和温泉「華...
-- プログラム委員長: 篠埜 功 (芝浦工業大学),番原 睦則 (...
-- 組織委員長: 江本 健斗 (九州工業大学)
*2016年 [#a71739f0]
:[[第14回プログラミングおよびプログラミング言語サマースク...
--2016年9月6日 東北大学 (日本ソフトウェア科学会33回大会併...
--幹事: 馬谷 誠二 (京都大学)
:[[第18回プログラミングおよびプログラミング言語ワークショ...
-- 2016年3月7日(月)~9日(水) 場所:岡山県玉野市たまの温泉...
-- プログラム委員長:青戸 等人(東北大学)、鵜川 始陽(高...
-- 組織委員長:海野 広志(筑波大学)
:[[Thirteenth International Symposium on Functional and L...
-- March 3-6, 2016, Kochi University of Technology, Japan
-- PC Co-Chairs: Andy King (University of Kent), Oleg Kis...
-- General Chair: Yukiyoshi Kameyama (Tsukuba University)
-- Local Chair: Kiminori Matsuzaki (Kochi University of T...
*2015年 [#ae946a7b]
:[[第13回プログラミングおよびプログラミング言語サマースク...
--2015年9月8日 早稲田大学 (日本ソフトウェア科学会32回大会...
--幹事: 前田 敦司 (筑波大学)
:[[第17回プログラミングおよびプログラミング言語ワークショ...
-- 2015年3月4日(水)~6日(金) 場所:愛媛県松山市道後温泉「...
-- プログラム委員長:浜名 誠(群馬大学)、馬谷 誠二(京都...
-- 組織委員長:松田 一孝(東京大学)
*2014年 [#p6d4a73b]
:[[第12回プログラミングおよびプログラミング言語サマースク...
--2014年9月7日 名古屋大学 (日本ソフトウェア科学会31回大会...
--幹事: 八杉 昌宏(九州工業大学)
:[[Twelfth International Symposium on Functional and Logi...
-- 2014年6月4日(水)~6日(金) 石川県立美術館(金沢)
-- PC Co-Chairs: Michael Codish (Ben-Gurion University of...
-- General Chair: Eijiro Sumii (Tohoku University)
-- Local Chair: Yuki Chiba (JAIST)
:[[第16回プログラミングおよびプログラミング言語ワークショ...
-- 2014年3月5日(水) 〜 7日(金) 場所: 熊本県阿蘇市阿蘇温...
-- プログラム委員長: 中田 秀基(産総研)、中野 圭介(電通...
-- 実行委員長: 末永 幸平(京大)
*2013年 [#dcba4f01]
:[[第11回プログラミングおよびプログラミング言語サマースク...
--「高階モデル検査とその応用」
--講師:小林直樹(東京大学)
--2013年9月10日 東京大学本郷キャンパス (日本ソフトウェア...
--幹事: [[千葉 滋:http://www.ci.i.u-tokyo.ac.jp/~chiba/]...
:[[第15回プログラミングおよびプログラミング言語ワークショ...
--2013年3月4日(月)〜6日(水) 場所: 会津若松市 東山温泉「[[...
--プログラム委員長: [[勝股 審也:http://www.kurims.kyoto-...
--実行委員長: [[上野 雄大:http://www.pllab.riec.tohoku.a...
*2012年 [#ud474f0d]
:[[第10回プログラミングおよびプログラミング言語サマースク...
--2012年8月21日 法政大学小金井キャンパス (日本ソフトウェ...
--幹事: [[住井 英二郎:http://www.kb.ecei.tohoku.ac.jp/~s...
:[[11th International Symposium on Functional and Logic P...
--2012年5月23-25日,神戸大学
--General Chair: [[Naoyuki Tamura:http://bach.istc.kobe-u...
--Program Co-Chairs: [[Tom Schrijvers:http://users.ugent....
:[[第14回プログラミングおよびプログラミング言語ワークショ...
--2012年3月8日(木)〜3月10日(土)、場所: 和歌山県 南紀白浜...
--プログラム委員長: [[中澤 巧爾:http://www.sato.kuis.kyo...
--実行委員長: [[鵜川 始陽:http://spa.cs.uec.ac.jp/~ugawa...
*2011年 [#jea75ce5]
:[[第9回プログラミングおよびプログラミング言語サマースク...
--2011年9月26日(月)、 [[日本ソフトウェア科学会28回大会:ht...
--幹事: [[首藤 一幸:http://www.shudo.net/]](東京工業大...
:[[第13回プログラミングおよびプログラミング言語ワークショ...
--2011年3月9日(水)〜11日(金)、場所 北海道/定山渓温泉「[[...
--プログラム委員長: [[浅井 健一:http://pllab.is.ocha.ac....
--実行委員長: [[松崎 公紀:http://www.info.kochi-tech.ac....
*2010年 [#r908b813]
:[[第8回プログラミングおよびプログラミング言語サマースク...
--2010年9月12日(日)、 [[日本ソフトウェア科学会27回大会:ht...
--幹事: [[石崎 一明:http://www.research.ibm.com/trl/peop...
:[[10th International Symposium on Functional and Logic P...
--2010年4月19-21日,東北大学
--General Chair: [[Naoki Kobayashi:http://www.kb.ecei.toh...
--Program Co-Chairs: [[Matthias Blume:http://ttic.uchicag...
:[[第12回プログラミングおよびプログラミング言語ワークショ...
--2010年3月3-5日、場所 香川県/琴平温泉「[[琴参閣:http://w...
--プログラム委員長: [[寺内 多智弘:http://www.kb.ecei.toh...
--実行委員長: [[西澤 弘毅:http://isw3.kankyo-u.ac.jp/lab...
*2009年 [#mdf06944]
:[[第7回プログラミングおよびプログラミング言語サマースク...
--2009年9月15日、[[日本ソフトウェア科学会大会:http://www....
--幹事:[[関 浩之:http://narayama.aist-nara.ac.jp/~seki/J...
:[[第11回プログラミングおよびプログラミング言語ワークショ...
--2009年3月9-11日, 場所 飛騨高山・[[高山グリーンホテル:h...
--プログラム委員長: 千代 英一郎 (日立製作所), [[長谷川 ...
--実行委員長: [[中野 圭介:http://millsmess.cs.uec.ac.jp/...
*2008年 [#ae97cf1b]
:[[第6回プログラミングおよびプログラミング言語サマースク...
--2008年9月9日、日本ソフトウェア科学会大会に併設
--幹事: [[田浦 健次朗:http://www.logos.ic.i.u-tokyo.ac.j...
:[[9th International Symposium on Functional and Logic Pr...
--2008年4月14-16日,伊勢市
--プログラム委員長: [[Jacques Garrigue:http://www.math.n...
:[[第10回プログラミングおよびプログラミング言語ワークショ...
--2008年3月5日(水)-7日(金),場所 仙台市 秋保温泉 [[緑水亭...
--プログラム委員長: [[住井 英二郎:http://www.kb.ecei.toh...
--実行委員長: [[青戸 等人:http://www.nue.riec.tohoku.ac....
*2007年 [#i6468eb8]
:[[第5回プログラミングおよびプログラミング言語サマースク...
--2007年9月11日(火)、奈良先端大,日本ソフトウェア科学会大...
--幹事: [[小川 瑞史:http://www.jaist.ac.jp/~mizuhito/]] ...
:[[第9回プログラミングおよびプログラミング言語ワークショ...
--2007年3月8日(木)-10日(土),石川県 山代温泉 瑠璃光
--プログラム委員長: [[五十嵐 淳:http://www.sato.kuis.kyo...
--実行委員長: [[中澤 巧爾:http://www.sato.kuis.kyoto-u.a...
*2006年 [#h305e346]
:日本ソフトウェア科学会チュートリアル「Java言語の最新事情...
--2006年10月16日(月)、東京大学理学部
--幹事: 尾上 能之 (東京大学)
:[[第4回プログラミングおよびプログラミング言語に関するサ...
--2006年9月12日,東京大学、 日本ソフトウェア科学会大会に...
--幹事: [[Jacques Garrigue:http://www.math.nagoya-u.ac.j...
:[[8th International Symposium on Functional and Logic Pr...
--2006年4月 24日〜26日,富士裾野
--プログラム委員長: [[Masami Hagiya:http://hagi.is.s.u-t...
:[[第8回プログラミングおよびプログラミング言語ワークショ...
--2006年3月5日〜7日,琵琶湖グランドホテル
--プログラム委員長: [[石崎 一明:http://www.research.ibm....
--実行委員長: [[筧 一彦:http://www.ipl.t.u-tokyo.ac.jp/~...
*2005年 [#wa610767]
:[[第3回プログラミングおよびプログラミング言語に関するサ...
--2005年9月12日(月)(東北大学. 日本ソフトウェア科学会全...
--幹事: [[西村 進:http://www.math.kyoto-u.ac.jp/~susumu/]...
:[[第7回プログラミングおよびプログラミング言語ワークショ...
--2005年3月9〜11日,群馬県利根郡水上町
--プログラム委員長: [[関 浩之:http://narayama.aist-nara....
*2004年 [#wa57537d]
:[[第2回プログラミングおよびプログラミング言語に関するサ...
--2004年9月14日,東京工業大学、 日本ソフトウェア科学会大...
--幹事: [[亀山 幸義:http://www.is.tsukuba.ac.jp/~kam]](筑...
:[[第6回プログラミングおよびプログラミング言語ワークショ...
--2004年3月11日(木)〜13日(土),愛知県蒲郡市
--プログラム委員長: [[小川 瑞史:http://www.jaist.ac.jp/~...
:[[7th International Symposium on Functional and Logic Pr...
--2004年4月7日〜9日,奈良県新公会堂
--プログラム委員長: [[Yukiyoshi Kameyama:http://www.is.t...
*2003年 [#naa09863]
:[[第1回プログラミング及びプログラミング言語に関するサマ...
--2003年9月15日〜16日,愛知県立大学, 日本ソフトウェア科...
--幹事: 胡 振江(東京大学)
:[[第5回プログラミングおよびプログラミング言語ワークショ...
--2003年3月5日〜7日,静岡県富士市 富士ハイツ
--プログラム委員長: [[西村 進:http://wwwfun.kurims.kyoto...
*2002年 [#k4abf272]
:[[6th International Symposium on Functional and Logic Pr...
--2002年9月15日〜17日,福島県 会津大学
--プログラム委員長: Zhenjiang Hu (University of Tokyo), ...
:[[第4回プログラミングおよびプログラミング言語ワークショ...
--2002年3月5日(火)〜7日(木)、杉乃井ホテル(大分県別府市)
--プログラム委員長: [[亀山 幸義:http://logic.cs.tsukuba.a...
*2001年 [#te40d28f]
:[[第3回プログラミングおよびプログラミング言語ワークショ...
--2001年3月21日(水)〜3月23日(金)、亀岡ハイツ(京都湯の...
--プログラム委員長: Jacques Garrigue(京都大学)、田浦 健二...
:[[5th Fuji International Workshop on Functional and Logi...
--2001年3月7日〜9日,早稲田大学, 東京
--プログラム委員長: Kazunori Ueda (Waseda), Herbert Kuche...
*2000年 [#l5999268]
:[[第2回プログラミングおよびプログラミング言語ワークショ...
--2000年3月20日〜22日,遠鉄ホテルエンパイア,浜名湖かんざ...
--プログラム委員長: 小林 直樹(東京大学)、南出 靖彦(筑波大...
*1999年 [#t53b7bc3]
:4th Fuji International Workshop on Functional and Logic ...
--1999年11月11日〜12日,つくば市
:[[第1回プログラミングおよびプログラミング言語ワークショ...
--1999年3月17日〜19日,熱川ハイツ,伊豆急行線伊豆熱川駅か...
--プログラム委員長: 胡 振江(東京大学)、Manuel Chakravarty...
*1998年 [#d59a839f]
:3rd Fuji International Workshop on Functional and Logic ...
--1998年4月2日〜4日,京都
:「型理論とその多相型言語のコンパイラーへの応用に関する」...
*1996年 [#le8996ce]
:2nd Fuji International Workshop on Functional and Logic ...
--1996年11月1日〜4日,湘南国際村
*1995年 [#j91bedd5]
:Fuji International Workshop on Functional and Logic Prog...
--1995年7月17日〜19日,富士教育研修所, 富士裾野
:第1回研究会|
--1995年10月30日〜11月1日, けいはんなプラザ
終了行:
[[FrontPage]]
*2020年 [#u611f718]
:[[Fifteenth International Symposium on Functional and Lo...
-- 14-16 September, 2020, Online
-- PC Co-Chairs: Keisuke Nakano (Tohoku University), Kons...
-- General Chair: Keisuke Nakano (Tohoku University)
-- Local Co-Chairs: Kazuyuki Asada (Tohoku University), R...
:[[第22回プログラミングおよびプログラミング言語ワークショ...
--2020年3月2日(月) 〜 4日(水) 佐賀県嬉野市嬉野温泉「和田...
--現地開催は中止
-- プログラム委員長: 森畑 明昌(東京大学), 平石 拓(京...
-- 組織委員長: 佐藤 亮介(九州大学)
*2019年 [#m67d24d9]
:[[第17回プログラミングおよびプログラミング言語サマースク...
--2019年8月26日(月) 芝浦工業大学芝浦キャンパス (日本ソフ...
--幹事: 末永 幸平(京都大学)
:[[第21回プログラミングおよびプログラミング言語ワークショ...
--2019年3月6日(水) 〜 8日(金) 岩手県花巻市志戸平温泉 「...
-- プログラム委員長: 末永 幸平(京都大学),笹田 耕一(...
-- 組織委員長: 浅田 和之(東北大学)
*2018年 [#wfaf16bd]
:[[第16回プログラミングおよびプログラミング言語サマースク...
--2018年8月28日(火) 大阪大学コンベンションセンター (日本...
--幹事: 番原 睦則 (神戸大学)
:[[Fourteenth International Symposium on Functional and L...
-- 9-11 May, 2018, Nagoya, Japan
-- PC Co-Chairs: John Gallagher (Roskilde University, Den...
-- General Chair: Makoto Tatsuta (National Institute of I...
-- Local Chair: Koji Nakazawa (Nagoya University, Japan)
:[[第20回プログラミングおよびプログラミング言語ワークショ...
-- 2018年3月5日(月)−3月7日(水) 鳥取県米子市皆生温泉「皆生...
-- プログラム委員長: 西崎 真也 (東京工業大学),松崎 公紀...
-- 組織委員長: 平石 拓 (京都大学)
*2017年 [#wcec10ed]
:[[第15回プログラミングおよびプログラミング言語サマースク...
--2017年9月18日 慶應義塾大学 (日本ソフトウェア科学会34回...
--幹事: 青戸 等人 (新潟大学)
:[[第19回プログラミングおよびプログラミング言語ワークショ...
-- 2017年3月8日(水)−3月10日(金) 山梨県笛吹市石和温泉「華...
-- プログラム委員長: 篠埜 功 (芝浦工業大学),番原 睦則 (...
-- 組織委員長: 江本 健斗 (九州工業大学)
*2016年 [#a71739f0]
:[[第14回プログラミングおよびプログラミング言語サマースク...
--2016年9月6日 東北大学 (日本ソフトウェア科学会33回大会併...
--幹事: 馬谷 誠二 (京都大学)
:[[第18回プログラミングおよびプログラミング言語ワークショ...
-- 2016年3月7日(月)~9日(水) 場所:岡山県玉野市たまの温泉...
-- プログラム委員長:青戸 等人(東北大学)、鵜川 始陽(高...
-- 組織委員長:海野 広志(筑波大学)
:[[Thirteenth International Symposium on Functional and L...
-- March 3-6, 2016, Kochi University of Technology, Japan
-- PC Co-Chairs: Andy King (University of Kent), Oleg Kis...
-- General Chair: Yukiyoshi Kameyama (Tsukuba University)
-- Local Chair: Kiminori Matsuzaki (Kochi University of T...
*2015年 [#ae946a7b]
:[[第13回プログラミングおよびプログラミング言語サマースク...
--2015年9月8日 早稲田大学 (日本ソフトウェア科学会32回大会...
--幹事: 前田 敦司 (筑波大学)
:[[第17回プログラミングおよびプログラミング言語ワークショ...
-- 2015年3月4日(水)~6日(金) 場所:愛媛県松山市道後温泉「...
-- プログラム委員長:浜名 誠(群馬大学)、馬谷 誠二(京都...
-- 組織委員長:松田 一孝(東京大学)
*2014年 [#p6d4a73b]
:[[第12回プログラミングおよびプログラミング言語サマースク...
--2014年9月7日 名古屋大学 (日本ソフトウェア科学会31回大会...
--幹事: 八杉 昌宏(九州工業大学)
:[[Twelfth International Symposium on Functional and Logi...
-- 2014年6月4日(水)~6日(金) 石川県立美術館(金沢)
-- PC Co-Chairs: Michael Codish (Ben-Gurion University of...
-- General Chair: Eijiro Sumii (Tohoku University)
-- Local Chair: Yuki Chiba (JAIST)
:[[第16回プログラミングおよびプログラミング言語ワークショ...
-- 2014年3月5日(水) 〜 7日(金) 場所: 熊本県阿蘇市阿蘇温...
-- プログラム委員長: 中田 秀基(産総研)、中野 圭介(電通...
-- 実行委員長: 末永 幸平(京大)
*2013年 [#dcba4f01]
:[[第11回プログラミングおよびプログラミング言語サマースク...
--「高階モデル検査とその応用」
--講師:小林直樹(東京大学)
--2013年9月10日 東京大学本郷キャンパス (日本ソフトウェア...
--幹事: [[千葉 滋:http://www.ci.i.u-tokyo.ac.jp/~chiba/]...
:[[第15回プログラミングおよびプログラミング言語ワークショ...
--2013年3月4日(月)〜6日(水) 場所: 会津若松市 東山温泉「[[...
--プログラム委員長: [[勝股 審也:http://www.kurims.kyoto-...
--実行委員長: [[上野 雄大:http://www.pllab.riec.tohoku.a...
*2012年 [#ud474f0d]
:[[第10回プログラミングおよびプログラミング言語サマースク...
--2012年8月21日 法政大学小金井キャンパス (日本ソフトウェ...
--幹事: [[住井 英二郎:http://www.kb.ecei.tohoku.ac.jp/~s...
:[[11th International Symposium on Functional and Logic P...
--2012年5月23-25日,神戸大学
--General Chair: [[Naoyuki Tamura:http://bach.istc.kobe-u...
--Program Co-Chairs: [[Tom Schrijvers:http://users.ugent....
:[[第14回プログラミングおよびプログラミング言語ワークショ...
--2012年3月8日(木)〜3月10日(土)、場所: 和歌山県 南紀白浜...
--プログラム委員長: [[中澤 巧爾:http://www.sato.kuis.kyo...
--実行委員長: [[鵜川 始陽:http://spa.cs.uec.ac.jp/~ugawa...
*2011年 [#jea75ce5]
:[[第9回プログラミングおよびプログラミング言語サマースク...
--2011年9月26日(月)、 [[日本ソフトウェア科学会28回大会:ht...
--幹事: [[首藤 一幸:http://www.shudo.net/]](東京工業大...
:[[第13回プログラミングおよびプログラミング言語ワークショ...
--2011年3月9日(水)〜11日(金)、場所 北海道/定山渓温泉「[[...
--プログラム委員長: [[浅井 健一:http://pllab.is.ocha.ac....
--実行委員長: [[松崎 公紀:http://www.info.kochi-tech.ac....
*2010年 [#r908b813]
:[[第8回プログラミングおよびプログラミング言語サマースク...
--2010年9月12日(日)、 [[日本ソフトウェア科学会27回大会:ht...
--幹事: [[石崎 一明:http://www.research.ibm.com/trl/peop...
:[[10th International Symposium on Functional and Logic P...
--2010年4月19-21日,東北大学
--General Chair: [[Naoki Kobayashi:http://www.kb.ecei.toh...
--Program Co-Chairs: [[Matthias Blume:http://ttic.uchicag...
:[[第12回プログラミングおよびプログラミング言語ワークショ...
--2010年3月3-5日、場所 香川県/琴平温泉「[[琴参閣:http://w...
--プログラム委員長: [[寺内 多智弘:http://www.kb.ecei.toh...
--実行委員長: [[西澤 弘毅:http://isw3.kankyo-u.ac.jp/lab...
*2009年 [#mdf06944]
:[[第7回プログラミングおよびプログラミング言語サマースク...
--2009年9月15日、[[日本ソフトウェア科学会大会:http://www....
--幹事:[[関 浩之:http://narayama.aist-nara.ac.jp/~seki/J...
:[[第11回プログラミングおよびプログラミング言語ワークショ...
--2009年3月9-11日, 場所 飛騨高山・[[高山グリーンホテル:h...
--プログラム委員長: 千代 英一郎 (日立製作所), [[長谷川 ...
--実行委員長: [[中野 圭介:http://millsmess.cs.uec.ac.jp/...
*2008年 [#ae97cf1b]
:[[第6回プログラミングおよびプログラミング言語サマースク...
--2008年9月9日、日本ソフトウェア科学会大会に併設
--幹事: [[田浦 健次朗:http://www.logos.ic.i.u-tokyo.ac.j...
:[[9th International Symposium on Functional and Logic Pr...
--2008年4月14-16日,伊勢市
--プログラム委員長: [[Jacques Garrigue:http://www.math.n...
:[[第10回プログラミングおよびプログラミング言語ワークショ...
--2008年3月5日(水)-7日(金),場所 仙台市 秋保温泉 [[緑水亭...
--プログラム委員長: [[住井 英二郎:http://www.kb.ecei.toh...
--実行委員長: [[青戸 等人:http://www.nue.riec.tohoku.ac....
*2007年 [#i6468eb8]
:[[第5回プログラミングおよびプログラミング言語サマースク...
--2007年9月11日(火)、奈良先端大,日本ソフトウェア科学会大...
--幹事: [[小川 瑞史:http://www.jaist.ac.jp/~mizuhito/]] ...
:[[第9回プログラミングおよびプログラミング言語ワークショ...
--2007年3月8日(木)-10日(土),石川県 山代温泉 瑠璃光
--プログラム委員長: [[五十嵐 淳:http://www.sato.kuis.kyo...
--実行委員長: [[中澤 巧爾:http://www.sato.kuis.kyoto-u.a...
*2006年 [#h305e346]
:日本ソフトウェア科学会チュートリアル「Java言語の最新事情...
--2006年10月16日(月)、東京大学理学部
--幹事: 尾上 能之 (東京大学)
:[[第4回プログラミングおよびプログラミング言語に関するサ...
--2006年9月12日,東京大学、 日本ソフトウェア科学会大会に...
--幹事: [[Jacques Garrigue:http://www.math.nagoya-u.ac.j...
:[[8th International Symposium on Functional and Logic Pr...
--2006年4月 24日〜26日,富士裾野
--プログラム委員長: [[Masami Hagiya:http://hagi.is.s.u-t...
:[[第8回プログラミングおよびプログラミング言語ワークショ...
--2006年3月5日〜7日,琵琶湖グランドホテル
--プログラム委員長: [[石崎 一明:http://www.research.ibm....
--実行委員長: [[筧 一彦:http://www.ipl.t.u-tokyo.ac.jp/~...
*2005年 [#wa610767]
:[[第3回プログラミングおよびプログラミング言語に関するサ...
--2005年9月12日(月)(東北大学. 日本ソフトウェア科学会全...
--幹事: [[西村 進:http://www.math.kyoto-u.ac.jp/~susumu/]...
:[[第7回プログラミングおよびプログラミング言語ワークショ...
--2005年3月9〜11日,群馬県利根郡水上町
--プログラム委員長: [[関 浩之:http://narayama.aist-nara....
*2004年 [#wa57537d]
:[[第2回プログラミングおよびプログラミング言語に関するサ...
--2004年9月14日,東京工業大学、 日本ソフトウェア科学会大...
--幹事: [[亀山 幸義:http://www.is.tsukuba.ac.jp/~kam]](筑...
:[[第6回プログラミングおよびプログラミング言語ワークショ...
--2004年3月11日(木)〜13日(土),愛知県蒲郡市
--プログラム委員長: [[小川 瑞史:http://www.jaist.ac.jp/~...
:[[7th International Symposium on Functional and Logic Pr...
--2004年4月7日〜9日,奈良県新公会堂
--プログラム委員長: [[Yukiyoshi Kameyama:http://www.is.t...
*2003年 [#naa09863]
:[[第1回プログラミング及びプログラミング言語に関するサマ...
--2003年9月15日〜16日,愛知県立大学, 日本ソフトウェア科...
--幹事: 胡 振江(東京大学)
:[[第5回プログラミングおよびプログラミング言語ワークショ...
--2003年3月5日〜7日,静岡県富士市 富士ハイツ
--プログラム委員長: [[西村 進:http://wwwfun.kurims.kyoto...
*2002年 [#k4abf272]
:[[6th International Symposium on Functional and Logic Pr...
--2002年9月15日〜17日,福島県 会津大学
--プログラム委員長: Zhenjiang Hu (University of Tokyo), ...
:[[第4回プログラミングおよびプログラミング言語ワークショ...
--2002年3月5日(火)〜7日(木)、杉乃井ホテル(大分県別府市)
--プログラム委員長: [[亀山 幸義:http://logic.cs.tsukuba.a...
*2001年 [#te40d28f]
:[[第3回プログラミングおよびプログラミング言語ワークショ...
--2001年3月21日(水)〜3月23日(金)、亀岡ハイツ(京都湯の...
--プログラム委員長: Jacques Garrigue(京都大学)、田浦 健二...
:[[5th Fuji International Workshop on Functional and Logi...
--2001年3月7日〜9日,早稲田大学, 東京
--プログラム委員長: Kazunori Ueda (Waseda), Herbert Kuche...
*2000年 [#l5999268]
:[[第2回プログラミングおよびプログラミング言語ワークショ...
--2000年3月20日〜22日,遠鉄ホテルエンパイア,浜名湖かんざ...
--プログラム委員長: 小林 直樹(東京大学)、南出 靖彦(筑波大...
*1999年 [#t53b7bc3]
:4th Fuji International Workshop on Functional and Logic ...
--1999年11月11日〜12日,つくば市
:[[第1回プログラミングおよびプログラミング言語ワークショ...
--1999年3月17日〜19日,熱川ハイツ,伊豆急行線伊豆熱川駅か...
--プログラム委員長: 胡 振江(東京大学)、Manuel Chakravarty...
*1998年 [#d59a839f]
:3rd Fuji International Workshop on Functional and Logic ...
--1998年4月2日〜4日,京都
:「型理論とその多相型言語のコンパイラーへの応用に関する」...
*1996年 [#le8996ce]
:2nd Fuji International Workshop on Functional and Logic ...
--1996年11月1日〜4日,湘南国際村
*1995年 [#j91bedd5]
:Fuji International Workshop on Functional and Logic Prog...
--1995年7月17日〜19日,富士教育研修所, 富士裾野
:第1回研究会|
--1995年10月30日〜11月1日, けいはんなプラザ
ページ名: