開催案内

日時

2017年9月18日(月・祝):併設イベント (PPLサマースクール,チュートリアル)
2017年9月19日(火) ~ 21日(木):大会

会場

慶應義塾大学 日吉キャンパス 来往舎

主要日程

登壇発表申込締切:2017年8月4日(金) (終了しました)
講演論文原稿締切:2017年9月4日(月) (終了しました)
デモ・ポスター発表申込締切:2017年9月5日(火) (終了しました)
事前参加登録締切:2017年9月12日(火) (終了しました)

イベント情報

  • PPL サマースクール 2017
    9月18日(月) 10:00~17:00
    Isabelle/HOL による証明とプログラミング
    山田晃久 (インスブルック大学)
  • チュートリアル
    9月18日(月) 13:00~16:00
    Deep LearningフレームワークChainerと最近の技術動向
    齋藤俊太 (Preferred Networks)
  • 基礎研究賞 特別講演
    9月19日(火)

    • コンパイラの基礎研究 -最適化を中心として-
      佐々政孝 (東京工業大学)
    • 音楽情報処理: 基礎、応用、未来
      後藤真孝 (国立研究開発法人 産業技術総合研究所)
  • 招待講演
    9月20日(水)
    加速するクラウドプラットフォーム化と産業のイノベーション
    榊原彰 (日本マイクロソフト株式会社)
  • FTD (Future Technology Design)
    9月20日(水)
    最先端領域を切り開く研究者,ソフトウェアのビジネスに展開するエンジニア,夢のようなソフトウェアを開発している若い人々に熱く語っていただきます.
  • 特別講演
    9月21日(木)
    越境するソフトウェア科学——物理情報システム応用からの視点
    蓮尾一郎 (国立情報学研究所)
  • トップカンファレンス特別講演
    9月21日(木)

    • Stateful Manifest Contracts
      Taro Sekiyama and Atsushi Igarashi
      POPL2017 にて発表
    • Automated Refactoring of Legacy Java Software to Default Methods
      Raffi Khatchadourian and Hidehiko Masuhara
      ICSE2017 (Research Track) にて発表

優秀発表賞投票フォーム

大会参加者の皆さまは下記より投票をお願いします.
投票は最終日9月21日(木)午後6時まで受け付けます.
https://goo.gl/forms/tFl18PV09TQHP5Ep2

スポンサー

Gold

microsoft

日本マイクロソフト株式会社

IBMResearch

日本アイ・ビー・エム株式会社 東京基礎研究所

Silver

Rakuten IT

楽天株式会社 楽天技術研究所

Iron

Yahoo! JAPAN

ヤフー株式会社

KD

(株)近代科学社