Syntax Meets Semantics 2019

21-25 January 2019, University of Amsterdam


The program of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural and other non-classical logics. Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, non-classical logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge, thus establishing new links with modal logic and other branches of logic. The scope of the conference includes but is not limited to algebraic, proof theoretic and relational approaches towards the study of non-classical logics.

This conference is the last 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 has also received support from the Institute for Logic, Language and Computation of the University of Amsterdam.

The SYSMICS 2019 conference is sponsored by the Association for Symbolic Logic as well as the Evert Willem Beth Foundation.

eu flag illc logo asl_symbol_bandw





Important Dates

Deadline for submissions:
19 October 2018 (extended)
Notification of acceptance:
16 November 2018
Early Registration:
10 December 2018 (extended)
21-25 January 2019