Third SYSMICS workshop

November 6, 2017 Luca Spada 0

The third SYSMICS workshop ” AsubL (Algebra & Substructural Logics)” will take place in Cagliari  on June 11th – 13th 2018. Website of the worskshop

Second SYSMICS workshop

November 6, 2017 Luca Spada 0

The second SYSMICS workshop “Substructural logics: semantics, proof theory, and applications” will take place in Vienna 26–28 February 2018. Webpage of the workshop

First Workshop report

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]

Mid-term meeting

September 13, 2017 Luca Spada 0

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]

First SYSMICS workshop

June 14, 2017 Luca Spada 1

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/

Account of the kick-off meeting in Barcelona

October 12, 2016 Luca Spada 0

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]