Report on the First SYSMICS school
The fi rst school of the SYSMICS project was organized jointly by the Institute of Computer Science of the Czech Academy of Sciences and by the Faculty of Science of the Palacky University in Olomouc as the summer school associated to the 8th biennial conference Topology, Algebra, and Categories in Logic – TACL 2017 [read more]