[logic-ml] PPL2012 参加募集&カテゴリ3発表募集
Koji Nakazawa
knak at kuis.kyoto-u.ac.jp
Tue Jan 31 21:41:57 JST 2012
logic-mlのみなさま,
(重複の場合はご容赦ください.)
京都大学の中澤です.
3月に和歌山県白浜温泉で開催される
第14回プログラミングおよびプログラミング言語ワークショップ (PPL2012)
につきまして,参加登録を開始いたしましたのでお知らせします.
参加登録要領 http://ppl2012.cs.uec.ac.jp/registration.html
をご参照の上,日本旅行の専用ページからご登録ください.
また,カテゴリ3(ポスター・デモ発表)の発表申込締切は
カテゴリ3 発表申込締切:2月6日(月)
ですのであわせてお知らせいたします.必要事項をテキスト形式にて投稿用メール
アドレス
ppl2012-submit at kuis.kyoto-u.ac.jp
までお申込ください.
皆様のご参加,ご発表をお待ちしております.
最新情報は引き続き下記webページにてお知らせします.
--------------------------------------------------------------------------
第14回プログラミングおよびプログラミング言語ワークショップ
(PPL2012)
http://ppl2012.cs.uec.ac.jp/
論文募集
主催: 日本ソフトウェア科学会 プログラミング論研究会
日程: 2012年3月8日(木)〜3月10日(土)
会場: 和歌山県西牟婁郡 白浜温泉 むさし http://www.yado-musashi.co.jp/
PPL2012は,プログラミングおよびプログラミング言語に関する研究者が一堂
に会し,最新の研究成果の発表,および新たな研究課題についての討論やアイ
ディア交換等を行うことを目的とした,合宿形式のワークショップです.プロ
グラミングおよびプログラミング言語の理論・設計・実装・処理系などに関す
る研究発表を,カテゴリ別に幅広く募集します.
カテゴリ1: 国内外で未発表の論文の発表
カテゴリ2: 国際会議・学術雑誌等で既発表であるが,国内では未発表の
研究の紹介
カテゴリ3: ポスター・デモ発表(既発表・未発表の別を問いません)
※ショートプレゼンテーションは行いません
カテゴリ1の採択論文の中から,特に独創的なアイディアや顕著な成果を含む
ものに対して論文賞を授与する予定です.
また,ポスター・デモを含む全発表のなかから,聴衆の投票により,最も優秀
なプレゼンテーションに発表賞(一般の部,学生の部)を授与する予定です.
カテゴリ1(国内外未発表論文)
------------------------------
(投稿受付は終了しました)
カテゴリ2(国外既発表論文)
----------------------------
(投稿受付は終了しました)
カテゴリ3(ポスター・デモ発表)
------------------------------------------
2時間程度のセッション内でのポスター発表またはデモ発表です.既発表・未
発表の別を問いません.PPLへの関連をもとに採録を判定いたします.また,申
込多数の場合は抽選によって採否を決定する可能性があります.
なお,PPL2012 ではポスターやデモによる活発な意見交換を促進したいという
観点から,ショートプレゼンテーションのセッションは設けません.
招待講演
--------
長谷川 真人(京都大学)
タイトル(予定)「プログラム意味論・テンソル圏・量子トポロジー - 意味論の「量子化」は可能か?」
細谷 晴夫(理化学研究所脳科学総合研究センター・科学技術振興機構さきがけ)
タイトル(予定)「大脳皮質の計算論」
以上のお二方の招待講演を予定しています.
======================================================================
投稿・発表申込要領
3つのカテゴリそれぞれに対して,投稿は以下のように行って下さい.最新の
情報は上記Webページでご確認下さい.
カテゴリ1(国内外未発表論文)
------------------------------
(投稿受付は終了しました)
カテゴリ2(国外既発表論文)
----------------------------
(投稿受付は終了しました)
カテゴリ3(ポスター・デモ発表)
------------------------------------------
ポスター・デモの区別を行なわずに募集いたします.デモを行なう場合は,発
表概要においてその旨をご説明ください.
発表申込先:ppl2012-submit at kuis.kyoto-u.ac.jp
発表申込締切:2012年2月6日(月)
著者名,所属,発表タイトル,発表概要(200〜300字程度),希望する発表
形態(ポスター・デモの別),をテキスト形式で上記申込先宛にお送り下さ
い.
採否通知:2012年2月13日(月)
ワークショップ全般に関する問い合わせ先:ppl2012-oc at kuis.kyoto-u.ac.jp
======================================================================
プログラム委員会
青戸 等人 (東北大学)
稲葉 一浩 (Google)
上野 雄大 (東北大学)
小笠原 啓 (ITプランニング)
角谷 良彦 (東京大学)
Jacques Garrigue (名古屋大学)
小宮 常康 (電気通信大学)
立堀 道昭 (IBM東京基礎研究所)
千代 英一郎 (日立製作所)
中澤 巧爾 (京都大学)
中田 秀基 (産業技術総合研究所)
西村 進 (京都大学)
長谷部 浩二 (筑波大学)
浜名 誠 (群馬大学)
前田 敦司 (筑波大学)
八杉 昌宏 (京都大学)
横山 大作 (東京大学)
渡部 卓雄 (東京工業大学)
実行委員会
鵜川 始陽 (電気通信大学) [実行委員長]
中澤 巧爾 (京都大学) [プログラム共同委員長]
前田 敦司 (筑波大学) [プログラム共同委員長]
--------------------------------------------------------------------------
More information about the Logic-ml
mailing list