PPLサマースクール2007

アナウンスが出たようです。

http://www.jaist.ac.jp/~mizuhito/ppl_ss07/

10:30-12:30 非同期リアルタイム処理（デヴィットカトラーの見果てぬ夢）
講師：小野 諭（工学院大）
13:45-15:45 Substructural Logics ---- 証明論的視点から
講師：小野 寛晰 (JAIST)
16:00-18:00 停止性自動検証ツールにおける SAT Solver の使い方
講師：広川 直 (広川技研)
18:00以降 講師との歓談のためのレセプション（無料）を予定

例年に比較すると、今年は（意図して）やや異色のプログラムになっているようです。この機会に今まで興味のなかった方もどうぞ。