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. The program of this SYSMICS workshop 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.
Submissions are closed.
Participation will be free of charge, and everyone is welcome to attend
with or without contributing a talk, provided a notification of attendance is sent via email by 10th February 2018.
All notifications and informal enquiries should be addressed to