Call for Papers

SYNTAX MEETS SEMANTICS (SYSMICS 2019) 21-25 January 2019, Amsterdam (The Netherlands) 


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 has 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.


Featured topics

Contributed talks can be on any topic related to substructural logic. This includes, but is not limited to, the following areas:

  • Algebraic structures in CS
  • Algebraic logic
  • Coalgebraic aspects of logic
  • Categorical methods in logic
  • Gentzen systems
  • Lattice theory
  • Lattices with operators
  • Linear logic
  • Mathematical fuzzy logic
  • Non-classical logics
  • Ordered algebraic structures
  • Proofs and Types
  • Stone-type dualities
  • Topological semantics


Invited Speakers

Bahareh Afshari
(University of Gothenburg)
Miguel Campercholi (National University of Cordoba)
Silvio Ghilardi
(University of Milan)
Sam van Gool
(University of Amsterdam)
Wesley Holliday (University of California, Berkeley)
Tomáš Kroupa (Czech Academy of Sciences)
Valeria de Paiva
(Nuance Communications)
Amanda Vidal
(Czech Academy of Sciences)


Programme Committee

Stefano Aguzzoli
(University of Milan)
Nick Bezhanishvili (University of Amsterdam)
Agata Ciabattoni (Vienna University of Technology)
Petr Cintula (Czech Academy of Sciences)
Pilar Dellunde   (Autonomous University of Barcelona)
Brunella Gerla (University of Insubria)
Lluís Godo (IIIA-CSIC, Barcelona)
Ramon Jansana (University of Barcelona)
Jan Kühr (University of Olomouci)
Antonio Ledda (University of Cagliari)
George Metcalfe (University of Bern)
Carles Noguera (Czech Academy of Sciences)
Luca Spada
(University of Salerno)
Yde Venema
(University of Amsterdam, Chair)


Organizing Committee

Nick Bezhanishvili
(University of Amsterdam, Chair)
Almudena Colacito (University of Bern)
Gianluca Grilletti (University of Amsterdam)
Frederik Möllerström Lauridsen (University of Amsterdam)
Peter van Ormondt
(University of Amsterdam)
Aybüke Özgün (University of Amsterdam)


Important Dates

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



Contributed presentations will be 30 minutes long. Abstracts of proposed contributions must be between 2 and 4 pages, of which at least 2 pages should describe the content of the contribution. Contributions must be based on original results that are unpublished or have been published very recently (2018). Submissions must be formatted according to the EasyChair style; instructions can be found at:


The submission web page for SYSMICS 2019 is at:


The deadline for submission is 19 October 2018 (extended).


Financial Support

We expect to be able to offer (partial) reimbursement for travel and/or registration for interested students.
See here for more information.