Second SYSMICS workshop
The second SYSMICS workshop “Substructural logics: semantics, proof theory, and applications” will take place in Vienna 26–28 February 2018. Webpage of the workshop
Report of the First Workshop
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]
Mid-term meeting
On the 4th and 5th of September the University of Salerno hosted the mid-term meeting of the project. The discussions were very fruitful and the overall impression it that the project is well on track both with the scientific mission and with the performed secondments. Documents of the workshop: Mid-term [read more]
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]
One year of SYSMICS
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]
First SYSMICS workshop
We are happy to announce that the first SYSMICS workshop “Geometry and non-classical logics” will take place at the campus of the University of Salerno, from the 5th to the 8th of September. The workshop is one of the events planned within the project. For further information please visit http://logica.dmi.unisa.it/sysmics/geoNonLogic/
First SYSMICS school (Olomouc, June 2017)
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]
Account of the kick-off meeting in Barcelona
The conference SYSMICS 2016 was held in Barcelona from the 5th to the 9th of September 2016. There were more than 60 registered participants and 36 contributed talks, hence the conference featured two parallel tracks. There were 7 invited speakers and one “open lecture” dedicated to a general audience and [read more]
SYSMICS kick-off meeting (Barcelona, September 2016)
The first meeting within the SYSMICS project has been announced. It will take place in Barcelona (Spain) from the 5th to the 9th of September 2016. The conference has its own webpage that can be fund at: http://sysmics-16.iiia.csic.es/
Sysmics project
The Sysmics project started on the 1st of March 2016. The universities involved are: