[logic-ml] 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)論文募集/発表募集

Isao Sasano sasano at sic.shibaura-it.ac.jp
Wed Sep 14 11:59:48 JST 2016


皆様

第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)のご案内です。
申込方法や詳細につきましては、webページにて確定次第お知らせします。
是非ご投稿、ご参加をご検討ください。

======================================================================
 第19回プログラミングおよびプログラミング言語ワークショップ
                       (PPL2017)

          https://ppl2017.ipl-e.ai.kyutech.ac.jp/

                   論文募集/発表募集

主催: 日本ソフトウェア科学会プログラミング論研究会
日程: 2017年3月8日(水)~3月10日(金)
会場: 山梨県笛吹市石和温泉「華やぎの章慶山」

PPL2017は,プログラミングとプログラミング言語に関連する幅広い分野の研究
者・技術者・学生が一堂に会し,最新の研究成果の発表や,新たな研究課題の
提案・討論・アイディア交換を行うことを目的とした,合宿形式の研究集会で
す.プログラミング方法論,プログラミング言語の理論・設計・実装などに関
する研究発表を,カテゴリ別に幅広く募集します.

カテゴリ1 (国内外未発表論文)
----------------------------
完成した理論やシステムの研究発表のみならず,萌芽的なアイディアや問題点
の提示等も歓迎します.発展途上の研究内容も積極的に採録する方針です.ま
た,カテゴリ1で発表された研究については,会場での討議や査読コメントを
もとにその完成度を高め,将来の学術雑誌・国際会議等での業績に結び付ける
ことを奨励しています.そのため,予稿集の配布は参加者のみへの限定的なも
のとします.投稿手続きは2段階です.

発表申込締切: 2016年12月21日(水) 17:00 (JST)
論文提出締切: 2017年1月11日(水) 17:00 (JST)
採否通知:2017年2月3日(金)

カテゴリ2 (国外既発表論文)
--------------------------
査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研
究を紹介する場です.採録決定済みの研究も含みます.PPLへの関連をもとに
採否を判定いたしますが,申し込み多数の場合はプログラム委員会で選考致し
ます.

発表申込締切: 2017年1月25日(水) 17:00 (JST)
採否通知:2017年2月6日(月)

カテゴリ3 (ポスター・デモ発表)
------------------------------
2時間程度のセッション内でのポスター発表またはデモ発表です.既発表・未発
表の別を問いません.PPLへの関連をもとに採否を判定いたしますが,申し込
み多数の場合はプログラム委員会で選考致します.

発表申込締切: 2017年2月8日(水) 17:00 (JST)
採否通知:2017年2月15日(水)

カテゴリ4 (サーベイ・チュートリアル発表)
----------------------------------------
研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底
上げとなる発表を募集します.既発表・未発表の別を問いません.PPLへの関
連,著者の研究発表実績,トピックや切り口の興味深さをもとに,プログラム
委員会で選考致します.

発表申込締切: 2017年1月25日(水) 17:00 (JST)
採否通知:2017年2月6日(月)

申込方法や詳細につきましては,上記ウェブページにて確定次第お知らせ致し
ます.

======================================================================
問い合わせ先
ppl2017-oc at ipl-e.ai.kyutech.ac.jp(ワークショップ全般について)
ppl2017-pc-chairs at ipl-e.ai.kyutech.ac.jp(発表/プログラムについて)

======================================================================
プログラム委員会

青谷 知幸 (東京工業大学)
浅田 和之 (東京大学)
Reynald Affeldt (産業技術総合研究所)
稲葉 一浩 (Google)
上野 雄大 (東北大学)
菊池 健太郎 (東北大学)
小宮 常康 (電気通信大学)
篠埜 功 (芝浦工業大学)
佐藤 亮介 (東京大学)
首藤 一幸 (東京工業大学)
末永 幸平 (京都大学)
宋 剛秀 (神戸大学)
千葉 滋 (東京大学)
土屋 達弘 (大阪大学)
中野 圭介 (電気通信大学)
鍋島 英知 (山梨大学)
番原 睦則 (神戸大学)
前田 敦司 (筑波大学)
松田 一孝 (東北大学)
森畑 明昌 (東京大学) 
八杉 昌宏 (九州工業大学)

組織委員会

江本 健斗 (九州工業大学) [組織委員長]
平石 拓 (京都大学)
佐藤 重幸 (高知工科大学)
海野 広志 (筑波大学)
対馬 かなえ (国立情報学研究所)
塚田 武志 (東京大学)
篠埜 功 (芝浦工業大学) [プログラム共同委員長]
番原 睦則 (神戸大学) [プログラム共同委員長]
======================================================================

篠埜 功
--
Isao Sasano <sasano at sic.shibaura-it.ac.jp>



More information about the Logic-ml mailing list