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 (Vienna)
Francesco Paoli (Cagliari)
Elaine Pimentel (Natal)
David Pym (London)
Alwen Tiu (Canberra)
Philip Wadler (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

Website

Comments are closed.