ALGI: Seminar on Algebra, Logic and Geometry in Informatics