\n

Sub structural logics are formal reasoning systems tha t refine classical logic by weakening structural r ules in a Gentzen-style sequent calculus. Intuitio nistic, many-valued, linear logics, are typical ex amples. Traditionally, substructural logics have b een investigated using proof theoretic and algebra ic methods. In recent years, combined approaches h ave started to emerge. The programme of the SYSMIC S conference will focus on interactions between sy ntactic and semantic methods in substructural logi cs. This open conference is the first of a series of meetings planned in the SYSMICS RISE project du ring 2016-2019.

\n \n \nFor more information, see http://sysmics-16.ii ia.csic.es/

\n

URL:/NewsandEvents/Archives/2016/newsitem/7172/5-9
-September-2016-Syntax-Meets-Semantics-SYSMICS-201
6-Barcelona-Spain
END:VEVENT
END:VCALENDAR
\n The Programme Committee cordially invites all res earchers\n to submit their\n papers for presentation. Contributed talks can be on any topic related to substructural logic. The Programm e Committee accepts submissions of abstracts rangi ng from 2 to 4 pages.\n Deadline for submis sions: 30 April 2016.\n

\n