Periodic Reporting for period 2 - SYSMICS (Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics.)

SYSMICS is a European project funded under the 2015 Marie Sklodowska-Curie Action RISE. It gathers 25 universities in all 5 continents and 55 researchers have taken part in the action. The project spans across the period 1 March 2016 – 28 February 2019.The acronym SYSMICS...