日本ソフトウェア科学会 プログラミング論研究会

[2009.9.2] FLOPS 2010 (2010.4.19-21) の web pageをリンクしました。

[2009.5.1] PPL2010 の日程と開催場所が決まりました! (以前に貼っていたリンクが間違っていたので修正しました。[2009.9.2])

[2009.3.13] PPL2009 が終了しました。 110名の参加者による活発な討論が行われました。

[2008.9.26] PPL2009 の発表募集が始まりました。

[2008.9.4] PPL2009 の web page が開設されました。

[2008.7.29] PPLサマースクール 2008 のプログラムが決まりました。

[2008.7.16] PPL2009 の日程および場所が決まりました。

● 第12回プログラミングおよびプログラミング言語ワークショップ (PPL2010)

（2010年3月3-5日、場所 香川県/琴平温泉「琴参閣」）

プログラム委員長： 寺内 多智弘 (東北大学)、 岩崎 英哉 (電気通信大学)

実行委員長： 西澤 弘毅 (鳥取環境大学)

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

● 第7回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2009)

（2009年9月15日、 日本ソフトウェア科学会大会に併設)

幹事： 関 浩之（奈良先端大), 滝本 宗宏（東京理科大）

● 第11回プログラミングおよびプログラミング言語ワークショップ (PPL2009)

（2009年3月9-11日， 場所 飛騨高山・ 高山グリーンホテル)

プログラム委員長： 千代 英一郎 (日立製作所)， 長谷川 真人 (京都大学)

実行委員長： 中野 圭介 (電気通信大学)

● 第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日(金)，場所 仙台市 秋保温泉 緑水亭)

プログラム委員長： 住井 英二郎 (東北大学)， 首藤 一幸 (ウタゴエ(株))

実行委員長： 青戸 等人 (東北大学)

●第5回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2007)

（2007年9月11日(火)、奈良先端大,日本ソフトウェア科学会大会に併設)

幹事： 小川 瑞史 (北陸先端大)

● 日本ソフトウェア科学会チュートリアル「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日，琵琶湖グランドホテル）

プログラム委員長： 石崎 一明(日本アイ・ビー・エム)， 結縁 祥治(名古屋大学)

実行委員長： 筧 一彦(東京大学)

● 第3回プログラ ミングおよびプログラミング言語に関するサマースクール(PPL Summer School 2005)

（2005年9月12日(月)（東北大学． 日本ソフトウェア科学会全国大会に併設））

● 第7回プログラミングおよびプログラミング言語ワークショップ (PPL2005)

（2005年3月9〜11日，群馬県利根郡水上町）

プログラム委員長： 関 浩之(奈良先端科学技術大学院大学)， 増原 英彦(東京大学)

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

● 第1回プログラミング及びプログラミング言語に関するサマースクール(PPL Summer School 2003)

（2003年9月15日〜16日，愛知県立大学， 日本ソフトウェア科学会大会に併設）

● 第5回プログラミングおよびプログラミング言語ワークショップ (PPL2003)

（2003年3月5日〜7日，富士ハイツ，静岡県）

プログラム委員長： 西村 進（京都大学）， 八杉 昌宏（京都大学）

● 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日(木)、杉乃井ホテル（大分県別府市））

● 第3回プログラミングおよびプログラミング言語ワークショップ (PPL 2001)

（2001年3月21日（水）〜3月23日（金）、亀岡ハイツ(京都湯の花温泉)）

● 5th Fuji International Workshop on Functional and Logic Programming (FLOPS 2001)

（2001年3月7日〜9日，早稲田大学, 東京）

● 第2回プログラミングおよびプログラミング言語ワークショップ (PPL2000)

（2000年3月20日〜22日，遠鉄ホテルエンパイア，浜名湖かんざんじ温泉）

● 4th Fuji International Workshop on Functional and Logic Programming (FLOPS'99)

（1999年11月11日〜12日，つくば市）

● 第1回プログラミングおよびプログラミング言語ワークショップ (PPL'99)

（1999年3月17日〜19日，熱川ハイツ，伊豆急行線伊豆熱川駅からタクシー7分）

● 3rd Fuji International Workshop on Functional and Logic Programming (FLOPS'98)

（1998年4月2日〜4日，京都）

● 「型理論とその多相型言語のコンパイラーへの応用に関する」国際ワークショップ協賛

（1998年3月）

● 2nd Fuji International Workshop on Functional and Logic Programming

（1996年11月1日〜4日，湘南国際村）

● Fuji International Workshop on Functional and Logic Programming

（1995年7月17日〜19日，富士教育研修所, 富士裾野）

● 第1回研究会

（ 1995年10月30日〜11月1日， けいはんなプラザ）

プログラミングの理論と実践に関する研究者の情報交換を目的としたメイリングリストを 運営しています． 入会方法は こちらを御覧ください．

研究会運営規則・過去の運営委員など

日本ソフトウェア科学会プログラミング論研究会主査に関する規定

日本ソフトウェア科学会プログラミング論研究会運営委員会に関する規定

PPL プログラム委員長に関する規定

PPL 実行委員長に関する規定

PPLプログラム委員に関する規定

FAQ: PPLワークショップ予稿集に掲載された論文の扱いについて

PPLワークショップの Category-1 に採録された論文の扱いについて、 「既発表と見なされて他会議・雑誌に投稿できなくなるのか」等の質問が多く出されて きました。これについては、 PPL2007のオンライン予稿集のページの冒頭に PPL2007プログラム委員長の見解が述べられています。この見解は、基本的に 翌年以降も継続していく予定です。