Substructural logics: semantics, proof theory, and applications

26–28 February 2018, Vienna (Austria)

Second SYSMICS Workshop

Giada Coppi

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)