計算理論ゼミ（Foundations of Computing）

通常ゼミと大学院生の文献講読ゼミをほぼ隔週で行っています。

5月27日（水）〜30日（土）には研究集会CCCが行われます
5月11日（月）
4月27日（月）　杉山
4月20日（月）9:00　数研本館204　大西「計算タスクとモデル」
4月16日（木）17:00　寺町ラボ　Rajeev Raman氏講演「Succinct Dynamic Data Structures (25 years on)」
4月8日（水）13:00　総人1401　Monika Seisenberger氏講演「SMT proof checking to support safety-criticala railway assurance」
4月6日（月）11:00　数研本館204　研究室生活とゼミの進め方について

※この他の月曜1・2限の時間帯は進捗連絡会を行っています（詳細は各自教員と相談）。