Seminar/20131026 - PukiWiki


第11回 論理と計算セミナー

次の通り、第11回論理と計算セミナーの開催します。 皆様のご参加をお持ちしております。


  • Georg Struth(The University of Sheffield):Algebraic Approaches to Concurrency Verification
    概要:This talk surveys recent work on concurrency verification based on semirings and Kleene algebras. I will demonstrate how inference rules of concurrent separation logic and the rely/guarantee method can be derived in this setting. I will also discuss the link between these algebras and semantics for concurrency, including shuffle languages, partially ordered multisets, and generalised relational semantics. Much of this work relies on mechanised reasoning and automated counterexample generation, and I will point out how this technology can be used for formalising mathematics and building software verification tools.
  • 平井洋一(産業技術総合研究所) :Formalizing Surreal Numbers and Combinatorial Games
  • 中正和久(信州大学 理工学研究科):Introduction to Mizar and Mathematical Knowledge Management
  • 河原康雄(九大名誉教授):Logic vs. Cellular Automata
    概要:命題論理とCA の類似点と融合を考える。 その結果として、遷移関数の合成は群演算 による論理式の積に対応することが示される。
  • 石田俊一(九産大):TBA
  • 田中久治(佐賀大):TBA


日時: 2013年 10月 26日 (土) 13:00~
場所: リファレンス駅東ビル4階 会議室R


13:00-13:30 石田俊一(九産大)
13:30-14:15 河原康雄(九大名誉教授)
            Logic vs. Cellular Automata


14:45-15:15 平井洋一(産業技術総合研究所) 
            Formalizing Surreal Numbers and Combinatorial Games
15:15-15:45 中正和久(信州大学 理工学研究科)
            Introduction to Mizar and Mathematical Knowledge Management
15:45-16:15 田中久治(佐賀大)


16:45-17:45 Georg Struth(The University of Sheffield)
            Algebraic Approaches to Concurrency Verification

18:30- 懇親会


※この研究集会は【科学研究費補助金 挑戦的萌芽研究 課題番号:25610034 研究代表者:溝口佳寛】(日本学術振興会)の支援のもと開催されます。

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSSPDF
Last-modified: 2013-10-17 (木) 02:10:39 (2566d)