Events (22)

中止 2020/05/23(Sat) 12:10〜

プログラム検証器を作って学ぶ Hoare 論理

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

3/16

Public 2020/04/25(Sat) 12:00〜

並行システムの設計検証入門セミナー

hatsugai hatsugai

オンライン

2/10

中止 2020/04/11(Sat) 12:10〜

プログラムの正しさを数学的に証明する形式検証への招待

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

9/9