Report on the second SYSMICS workshop

April 3, 2018 Luca Spada 0

The second workshop within the project SYSMICS was held in Vienna at the Faculty of Mathematics, University of Vienna, from the 26th to the 28th of February 2018. The workshop involved 56 participants, coming from both external and partner universities. A call for abstracts with deadline 15th December 2017 was [read more]

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

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]