2nd SYSMICS Workshop: Substructural logics: semantics, proof theory, and applications
| DATE: | Monday, February 26, 2018 – Wednesday, February 28, 2018 |
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.
Invited Speakers
Matteo Maffei (TU Wien)
Francesco Paoli (University of Cagliari)
Elaine Pimentel (University of Rio Grande de Norte)
David Pym (UCL and Alan Turing Institute)
Alwen Tiu (Australian National University)
Philip Wadler (University of Edinburgh)
Important dates
- 15th December 2017: abstract submission deadline
- 22nd December 2017: author notification
- 10th February 2018: attendance without talk notification
- 26–28th February 2018: workshop
Organizing Committee
Federico Aschieri (TU Wien)
Paolo Baldi (TU Wien)
Agata Ciabattoni (TU Wien, Chair)
Francesco Genco (TU Wien)
Francesca Gulisano (Scuola Normale Superiore di Pisa)
Roman Kuznets (TU Wien)
Björn Lellmann (TU Wien)
Tim Lyon (TU Wien)
Matteo Pascucci (TU Wien)
Revantha Ramanayake (TU Wien)
SYSMICS: SYntax meets Semantics – Methods, Interactions, and Connections in Substructural logics
This is the second workshop in the framework of the MSCA-RISE project SYSMICS: SYntax meets Semantics – Methods, Interactions, and Connections in Substructural logic. Project is funded by European Marie Skłodowska-Curie RISE Project No 689176 within the Horizon 2020 framework, with a duration 2016–2019.
More information
Report in the SIGLOG Newsletter
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.
Download the report in PDF here
