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]

First SYSMICS school (Olomouc, June 2017)

January 19, 2017 Sara Lapenta 0

The first school within the SYSMICS project has been announced.  It will be linked to the fifth instalment of the successful conference TACL (Topology, Algebra and Categories in Logic) and it will take place in Olomouc (Czech Republic) from the 20th to the 24th of June 2017. Conference and school have their own [read more]