代数, 論理, 幾何と情報科学研究集会 ALGI

Algebra, Logic and Geometry in Informatics