logic-ml関係者の皆様， 東京大学の松田です．

複数受け取られた場合はご容赦ください．

3月4日（水）から3月6日（金）に道後温泉で開催される 第17回プログラミングおよびプログラミング言語ワークショップ (PPL2015) の 参加登録を開始いたしましたで，そのご案内をお届けいたします．

今回は，

* 橋本 和幸 (NVIDIA. 元日本シンボリックス株式会社) 「1980年代のLispマシンSymbolicsとその開発環境Genera 付属：NVIDIA GPUによる超並列コンピューティング」 * Chung-Kil Hur (Seoul National University) 「Formal C semantics and LLVM compiler validation」

の二件の招待講演を予定しております．多くの方々のご参加をお待ちしております．

参加登録の案内ページは http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/registration/ です．参加登録の締切は2月17日（火）です． どうぞお早めのご登録をお願い致します． 今年は昨年と異なり，*三日目は全日開催*となります．ご注意ください．

また，カテゴリ2（国外既発表論文），4（サーベイ・チュートリアル）の申し込みは 2015年1月23日(金) 17:00 (JST) まで，カテゴリ3（ポスター・デモ発表）の申し込みは 2015年2月6日(金) 17:00 (JST) まで受け付けております．こちらも http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/ をご参照の上，投稿をご検討いただけますと幸いです．

--------------------------------------------------------------------------

第17回プログラミングおよびプログラミング言語ワークショップ （PPL2015）

http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/

参加登録のご案内

主催: 日本ソフトウェア科学会 プログラミング論研究会 日程: 2015年3月4日(水)～3月6日(金) 会場: 愛媛県松山市道後温泉「道後プリンスホテル」 http://www.dogoprince.co.jp/

PPL2015は、プログラミングおよびプログラミング言語に関する研究者が一堂に 会し、最新の研究成果の発表、および新たな研究課題についての討論やアイディ ア交換等を行うことを目的とした、合宿形式のワークショップです．

======================================================================

参加登録ならびに宿泊予約を2月17日(火)まで日本旅行のWebサービスにて 受け付けております． http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/registration/ をご参照いただき，ご登録ください．

問い合わせ先：ppl2015-oc [at] kb.is.s.u-tokyo.ac.jp （[at]を@に置き換えてください） ====================================================================== プログラム委員会 青戸 等人 東北大学 浅田 和之 東京大学 岩崎 英哉 電気通信大学 鵜川 始陽 高知工科大学 馬谷 誠二 京都大学 [プログラム共同委員長] 大岩 寛 産業技術総合研究所 亀山 幸義 筑波大学 河内谷 清久仁 日本IBM 久野 靖 筑波大学 木村 大輔 国立情報学研究所 宋 剛秀 神戸大学 塚田 武志 University of Oxford 中田 景子 FireEye DresDen 浜名 誠 群馬大学 [プログラム共同委員長] 平井 洋一 FireEye Dresden 平石 拓 京都大学 藤田 憲悦 群馬大学 星野 直彦 京都大学 増原 英彦 東京工業大学 渡部 卓雄 東京工業大学

組織委員会 松田 一孝 東京大学 [組織委員長] 浜名 誠 群馬大学 [プログラム共同委員長] 馬谷 誠二 京都大学 [プログラム共同委員長] 末永 幸平 京都大学 上野 雄大 東北大学 海野 広志 筑波大学 木村 大輔 国立情報学研究所 [ポスターセッション幹事] --------------------------------------------------------------------------