ELC ミニワークショップ (A02)
| 開催日時 | 2012年12月17日（月） |
|---|---|
| 開催場所 | CELC（計算限界研究センター, 田町） |
| プログラム | |
|---|---|
| Experimental Model Theory and Testing: Recent Directions［講演スライド］ | Skip Jordan（JST ERATO Minato Project & 北大） |
| 性質検査とCSP －今後の展望－［講演スライド］ | 吉田悠一（NII & PFI & JST ERATO Kawarabayashi Project) |
| 回路計算量と通信複雑さ | 脊戸和寿（電通大） |
| 計算限界証明における障壁と性質検査アルゴリズム［講演スライド］ | 玉置卓（京大） |