Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake (TU Wien) prepared the report on the second workshop within the project SYSMICS (Syntax meets Semantics – Methods, Interactions, and Connections in Substructural logics) for the ACM SIGLOG News vol. 5, Issue 2.

The workshop “Substructural logics: semantics, proof theory, and applications” was held in Vienna at the Faculty of Mathematics, University of Vienna, from 26 – 28 February 2018. The workshop lasted for 3 full days and comprised of 31 talks (including 6 invited talks) and 55 participants from project-partner universities and other universities. Additional funding for the workshop was provided by the Vienna Center for Logic and Algorithms (VCLA) and by the Wolfgang Pauli Institute (WPI) Vienna.

SYSMICS is a European Marie Skłodowska-Curie RISE Project within the Horizon 2020 framework. The main objective of SYSMICS is to establish a network of collaborations between researchers who investigate substructural logics and to provide a stable basis of cooperation for a large, international community of algebraists, logicians and theoretical computer scientists. The project involves 23 partners from 13 different countries and 6 continents. 

Website of the project SYSMICS

Download the report in PDF here