Search a Conference through our dedicated search page

SYSMICS2016 - Syntax Meets Semantics 2016

5th September 2016   -   9th September 2016
Barcelona, Catalonia, Spain
http://sysmics-16.iiia.csic.es/
Save

Abstract

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.

Related Fields