school

Report on the Second SYSMICS school

September 6, 2018 Sara Lapenta 0

The second SYSMICS school was organized by the Logic Group of the Mathematical Institute of the University of Bern at Hotel Les Sources in Les Diablerets, Switzerland, 22-26 August 2018. The school preceded two conferences relevant to the SYSMICS project, taking place in Bern 27{31 August 2018, namely Advances in Modal Logic [read more]

Report on the First SYSMICS school

August 6, 2017 Sara Lapenta 0

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]