2006-10-11から1日間の記事一覧

Clarke 先生の講演＠計算機言語談話会

大阪の千里にある産業技術総合研究所のシステム検証研究センターでは、隔週くらいの頻度で計算機言語談話会というものが開かれています。モデル検査や対話型定理証明の講演を無料で聞くことができるというありがたいイベントですが、平日の昼間に開催という…