研究集会

Logic, Algebra and Category Theory: Applications in Computer Science

開催期間

2025.9.29(月)
~ 2025.10.3(金)

場所

D-413 IMIオーディトリアム

概要