Events (98)

Public 2021/08/07(Sat) 12:00〜

並行システムの設計検証

hatsugai hatsugai

オンライン

0/10

Ended 2021/07/03(Sat) 13:00〜

定理証明支援系 Coq チュートリアル

hatsugai hatsugai

オンライン

9/10

Ended 2021/06/15(Tue) 20:30〜

ヒープソート siftup の正当性証明

hatsugai hatsugai

オンライン

6/10

Ended 2021/06/13(Sun) 13:00〜

Isabelle チュートリアル 第1回 論理

hatsugai hatsugai

オンライン

5/10

Ended 2021/06/02(Wed) 20:00〜

Coq ユーザのための Isabelle ガイド

hatsugai hatsugai

オンライン

5/6

Ended 2021/05/30(Sun) 14:00〜

プロセス代数 CSP 構文と操作的意味論

hatsugai hatsugai

オンライン

3/10

Ended 2021/05/19(Wed) 19:30〜

等式論理と関数7個で作る証明検査器

hatsugai hatsugai

オンライン

3/10