代数, 論理, 幾何と情報科学研究集会 ALGI (Algebra, Logic and Geometry in Informatics) Click [[[HERE]]] for an English version. ALGI は代数学や論理学, 幾何学の情報科学への応用について, および情報科学の代数学や論理学, 幾何学への応用についての研究集会です. 情報科学の数理科学的研究というと, まず論理学や離散数学の応用が思いうかびますが, 代数や幾何も大いに利用されています. 表示的意味論のために位相束が研究されて領域理論が作られたのは, もはや昔話になりつつありますが, 近年でも, 並列プログラムの解析に代数的位相幾何学の方法が用いられる, 高階論理 (型理論) のモデル構成に圏論的普遍代数の方法が用いられるなど, 応用の例に事欠きません. けれども現在, 日本では論理学や離散数学の情