Research Group on Algebra, Logic and Geometry in Informatics (ALGI)
has been held a series of seminars on applications of algebra, logic
and geometry to informatics, and applications of informatics to these
areas of mathematics. For more details of ALGI, please visit
http://sakura.math.kyushu-u.ac.jp/algi/index_e.html.