Report on SYSMICS’s closing conference

February 10, 2019 Sara Lapenta 0

The international conference Syntax Meets Semantics (SYSMICS 2019) was held in Amsterdam, The Netherlands on January 21-25, 2019, hosted by the Institute for Logic, Language and Computation of the University of Amsterdam. This conference was the last of SYSMICS’s planned meetings. There were over 70 participants of the conference coming form external and [read more]

Report on the final SYSMICS workshop

September 27, 2018 Sara Lapenta 0

The fourth workshop within the SYSMICS Project was held at Chapman University (California, USA) from the 14th to the 17th of September 2018. The workshop involved 25 researchers, both coming form external and partner universities. The scienti c program of the workshop focused on dualities between algebraic, logical and semantic categories, especially from the [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 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]