Substructural logics: semantics, proof theory, and applications

26–28 February 2018, Vienna (Austria)

Second SYSMICS Workshop

Giada Coppi


Substructural logics are non-classical logics lacking some of the structural rules of classical logic and are motivated by philosophical, linguistic, and computational considerations. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge.

This is the second workshop in the framework of the MSCA-RISE project SYSMICS (Syntax meets semantics—Methods, interactions, and connections in substructural logics). Its program will be focused on the interactions between syntactic and semantic methods in substructural and related logics, as well as their applications, e.g., security, verification and concurrency theory.

Project information

Project Title
SYSMICS: SYntax meets Semantics – Methods, Interactions, and Connections in Substructural logics

Project type
European Marie Skłodowska-Curie RISE Project No 689176 within the Horizon 2020 framework.

2016 – 2019

Funding organizations

Previous SYSMICS Meetings
Information regarding previous workshops can be found here.