第8回CSPSAT講演会

概要

  • 会議名
    • 第8回CSPSAT講演会
  • 日程
    • 2015年3月23日(月), 24日(火)
  • 用務先
    • 別府国際コンベンションセンター(ビーコンプラザ)会議室32
  • 用務地
    • 〒874-0828 大分県別府市山の手町12番1号
  • アクセス
    • JR別府駅から
      • バス5分 (3番のりば.路線3, 8にお乗りください.時刻表)
      • 徒歩の場合は約20分 (1.3km)
    • 会場・駅周辺のマップは こちら をご覧ください
    • ビーコンプラザの交通案内

プログラム

3月23日(月)  
13:30 - 14:30 SIG-FPAI 招待講演 モデル生成型定理証明系とSATソルバー
  長谷川隆三(九州大学) [PDF]
3月23日(月)  
15:15 - 15:30 オープニング
15:30 - 16:10 講演1   離散構造処理系プロジェクトの主な研究成果と今後の展望  
  湊真一 (北海道大学)  [概要] [PDF]
16:10 - 16:50 講演2  メタレベル・アブダクションの論理 
  井上克巳 (国立情報学研究所)  [概要] [PDF]
16:50 - 17:10 20分休憩
17:10 - 17:50 講演3  制約付きマッチングのメカニズムデザイン  
  横尾真 (九州大学)  [概要] [PDF]
17:50 - 18:30 講演4  制約充足問題のハイブリッド符号化のための枠組み 
  田村直之 (神戸大学)  [概要] [PDF]
19:00 - 懇親会
3月24日(火)  
09:30 - 10:10 講演5  分散探索による船舶衝突回避      
  平山勝敏 (神戸大学)  [概要] [PDF]
10:10 - 10:50 講演6  SAT ソルバーと動的簡単化手法 
  鍋島英知 (山梨大学)  [概要] [PDF]
10:50 - 11:10 20分休憩
11:10 - 11:50 講演7  MGTPとQMaxSAT
  越村三幸 (九州大学)  [概要] [PDF]
11:50 - 12:00 クロージング

参加者

(順不同,敬称略.*印は講演会のみのご参加)

  • 北海道大学
    • 湊真一
  • 山梨大学
    • 岩沼宏治, 鍋島英知, 福田翔士*, 黒岩健歩*, 杉本拓也, 渡辺大樹, 横前菜々子
  • 国立情報学研究所
    • 井上克巳
  • 電気通信大学
    • 戸田貴久
  • 名古屋大学
    • 酒井正彦, 橋本健二
  • 神戸大学
    • 平山勝敏, 田村直之, 番原睦則, 宋剛秀
  • 徳山高専
    • 力規晃
  • 九州大学
    • 長谷川隆三, 越村三幸, 横尾真, 査澳龍, 早田翔*, 上村直輝

懇親会情報

  • 日時
    • 2015年3月23日(月) 19:00 - 21:00
  • 場所
  • 費用
    • 教員 8,000円
    • 学生 5,000円

宿泊情報

その他

  • 遠方の方で,ハンドアウト等の配布物がありましたら,ファイル(PDF)と部数を宋までご連絡ください.

Author: Takehide Soh

Created: 2015-04-02 木 15:22

Emacs 24.3.1 (Org mode 8.2.8)

Validate