Search a Conference through our dedicated search page
This conference will focus on interactions between syntactic and semantic methods in substructural logics. It is the first of a series of meetings planned in the SYSMICS RISE project during 2016-2019 (see http://logica.dmi.unisa.it/sysmics/). The invited speakers include: M. Busaniche, R. Cignoli, J.M. Font, D. Mundici, A. Palmigiano, J. Raftery, K. Terui, C. Tsinakis, and Y. Venema. The deadline for submission of papers is April, 30, 2016. The Program Committee Chair is L. Spada, and the Chair of the Organizing Committee is L. Godo.