\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\n

\n The Programme Committee cordially invites a ll researchers\n to submit their\n p apers for presentation. Contributed talks can be o n any topic related to substructural logic. The Pr ogramme Committee accepts submissions of abstracts ranging from 2 to 4 pages.\n Deadline for submissions: 30 April 2016.\n

\n URL:/NewsandEvents/Archives/2016/newsitem/7172/5-9 -September-2016-Syntax-Meets-Semantics-SYSMICS-201 6-Barcelona-Spain END:VEVENT END:VCALENDAR