京都大学数理解析研究所 RIMS研究集会 2013/9/24（火） -- 2013/9/26（木） 概要毎年行われている研究集会 ALGI (Algebra, Logic and Geometry in Informatics) 代数, 論理, 幾何と情報科学 研究集会 と SLACS (Symbolic Logic and Computer Science) 記号論理と情報科学 研究集会 SLACS-ALGI = "SLAGICS" の名前は勝股さんからもらいました :-) 3日間の日程をなんとなく ALGI day と SLACS day に色分けします．が，特に2日目は相互乗り入れデーとして，東京大学の塚田武志さんによる共同チュートリアルなどを通して，2つのコミュニティの協働関係を築く場にできれば，と考えています． |