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 third SYSMICS workshop

June 20, 2018 Luca Spada 0

The third workshop within the project SYSMICS was held in Cagliari at the Department of Pedagogy, Psychology and Philosophy  from the 11th to the 13th of June 2018. The workshop involved 60 participants, coming from both external and partner universities. A call for abstracts with deadline 15th April 2018 was [read more]

Report of the First Workshop

September 14, 2017 Luca Spada 0

The first workshop within the project SYSMICS was held at the campus of the University of Salerno (Italy) from the 5th to the 8th of September 2017. The workshop involved 26 researchers, both coming form external and partner universities. The scientific programme of the workshop focused on the interactions between [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]

One year of SYSMICS

June 15, 2017 Sara Lapenta 0

On February 28th, the first year of our project has ended. During this period, 35 researchers have been seconded, for a total of 29 research visits involving all but one of the countries represented in the project. The researchers have worked on topics that cover every WP, obtaining a cohesive scientific [read more]