第5回CSPSAT2研究会
会議情報
- 会議名
- 第5回CSPSAT2研究会
- 日程
- 2014年8月21日(木)〜22日(金)
- 用務先
- 神戸大学 自然科学総合研究棟3号館(東)4F 渕野グループ プレゼンテーション室(421号室)
- 用務地
- 〒657-8501 兵庫県神戸市灘区六甲台町1-1
プログラム
- プログラムは下記の通りですが，発表の進行状況に合わせて「柔軟」に進めたいと思います．
| 8月21日(木) | |
|---|---|
| 13:30-14:30 | (Special Lecture) Challenges of model-checking of hybrid systems [PDF] |
| Morgan Magnin | |
| 14:30-14:45 | (休憩) |
| 14:45-15:25 | CSPSAT Projects and Visit to SAT 2014 [PDF] |
| Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh* | |
| 15:25-16:05 | Learning Delayed Influence of Dynamical Systems From Interpretation Transition [PDF] |
| Tony Ribeiro*, Morgan Magnin, and Katsumi Inoue | |
| 16:05-16:20 | (休憩) |
| 16:20-17:00 | Literal Block Minimization [PDF] |
| 鍋島英知 | |
| 17:00-17:40 | SATソルバーを用いたBDD構築法 [PDF] |
| 戸田貴久 |
| 8月22日(金) | |
|---|---|
| 10:00-10:40 | Multi-Objective WCSP Based Timetabling [PDF] |
| Maxime Clement, Tenda Okimoto, Katsumi Inoue | |
| 10:40-11:20 | 時間割問題のゲーム理論的考察 [PDF] |
| 上田俊*, 井上克巳 | |
| 11:20-11:30 | (休憩) |
| 11:30-12:10 | MaxSATを利用したAES暗号鍵の復元 [PDF] |
| 越村三幸，廖暁鵑 | |
| 12:10-12:50 | MaxSATソルバを用いた帰納論理プログラミング [PDF] |
| 力規晃 | |
| 12:50-14:00 | (休憩) |
| 14:00-16:00 | 今後の研究計画に関する議論 |
参加者 (9機関14名)
国立情報学研究所
- 井上克巳, 上田俊, Tony Ribeiro
東京工業大学
- 佐藤泰介
電気通信大学
- 戸田貴久
山梨大学
- 鍋島英知
Ecole Centrale de Nantes
- Morgan Magnin
名古屋大学
- 酒井正彦
神戸大学
- 田村直之，番原睦則，沖本天太，宋剛秀
徳山高専
- 力規晃
九州大学
- 越村三幸
懇親会場
- 8月21日(木) 19時〜21時
- Nishioka （ニシオカ）
- 〒650-0012 兵庫県神戸市中央区北長狭通1-32-6 さんらくビル 2F
- TEL: 078-325-0825
- (予算) 6000円
その他
- 遠方の方で，ハンドアウト等の配布物がありましたら，ファイル(PDF)と部数を幹事までお送りください． こちらで印刷して会場にお持ちします．
- 研究会終了後，発表資料は，本Webページに(認証付き)で公開させていただきます．