Syntax Meets Semantics 2016

5-9 September 2016, Universitat De Barcelona, Barcelona (Spain)


Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the first of a series of meetings planned in the SYSMICS RISE project during 2016-2019.


The SYSMICS project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 689176.

The SYSMICS conference is sponsored by the Association for Symbolic Logic. Hence, students can apply to the ASL for travel awards. Instructions on how to do can be found on this page.
The SYSMICS conference has also received support from the Consortium for Order in Algebra and Logic.


Important Dates

  • Call for papers:
    1 February 2016
  • Deadline for submissions:
    15 May 2016 Extended!
  • Notification of acceptance:
    10 June 2016
  • Early Registration:
    15 June 2016
  • Conference:
    5-9 September 2016

Expression of interest

Expressions of interests will be greatly appreciated, please fill in the simple form on the "Contacts" page. This will help the Organising Committee with their planning.


The Programme page now contains titles of Invited Talks, Social Programme details and the Booklet of abstracts.

A Tentaive Schedule has been published in the Programme page.

Contributed Talks have been published in the Programme page.

Registration is now open.
The Poster of the conference has been published.

Submission deadline has been extended, and registration fees have been published.

The list of Invited Speakers is complete.

Financial Support page has been updated.

Preliminary list of Invited Speakers has been added.

ASL sponsorship has been obtained. Information on travel support for students can be found on Registration page.