西村 進
ニシムラ ススム (Susumu Nishimura)
更新日: 02/06
講演・口頭発表等
11
表示件数
-
Epistemic and Topological Reasoning in Distributed Systems, Dagstuhl Seminar 23272 2023年7月4日
-
CELT2022: Connections between Epistemic Logic and Topology 2022年10月25日 招待有り
-
第33回 代数,論理,幾何と情報科学研究集会 (ALGI33) 2022年9月12日
-
GETCO 2022 – 11th International Conference on Geometric and Topological Methods in Computer Science 2022年6月
-
第37回 記号論理と情報科学 研究集会 SLACS2020 2020年12月3日
-
第14回 情報科学ワークショップ 2018年
-
代数, 論理, 幾何と情報科学研究集会 ALGI29 2018年
-
第13回情報科学ワークショップ 2017年
-
代数, 論理, 幾何と情報科学研究集会 (ALGI 2017) 2017年
-
Topological Methods in Distributed Computing, Dagstuhl Seminar 16282 2016年7月
-
日本ソフトウェア科学会 第31回大会 2014年9月