Substructural logics: semantics, proof theory, and applications

26–28 February 2018, Vienna (Austria)

Second SYSMICS Workshop

Giada Coppi

Invited Speakers


Matteo Maffei (Vienna)
Francesco Paoli (Cagliari)
Elaine Pimentel (Natal)
David Pym (London)
Alwen Tiu (Canberra)
Philip Wadler (Edinburgh)