5-9 September 2016, Barcelona (Spain)


Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Intuitionistic, many-valued, linear logics, are typical examples. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches has 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.

Featured topics

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

Invited Speakers

Manuela Busaniche
Roberto Cignoli
(University of Buenos Aires)
Josep Maria Font
(University of Barcelona)
Alessandra Palmigiano
(Delft University of Technology)
James Raftery
(University of Pretoria)
Kazushige Terui
(Kyoto University)
Constantine Tsinakis
(Vanderbilt University)
Yde Venema
(University of Amsterdam)

Open Lecture:

Daniele Mundici
(University of Florence)

Programme Committee

Stefano Aguzzoli
(University of Milano)
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)
Lluis 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, Chair)

Organising Committee

Pilar Dellunde
(Autonomous University of Barcelona)
Joan Gispert
(University of Barcelona)
Ramon Jansana
(University of Barcelona)
Lluis Godo
(IIIA - CSIC Barcelona, Chair)
Diego Valota
(IIIA - CSIC Barcelona)


Deadline for submissions
15 May 2016

Notification of acceptance
10 June 2016

Early Registration
15 June 2016

5-9 September 2016


The Programme Committee accepts submissions of abstracts ranging from 2 to 4 pages.
The abstracts should be formatted according to EasyChair style, instructions can be found at:
Abstracts can be submitted at the following address:
A short text-only abstract will also be requested during submission.

Financial Support

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 the ASL website.

We also expect to be able to offer (partial) reimbursement for travel and/or registration for interested students.
Please fill in the "Expression of Interest" form on the Contacts page.

Expression of interest

Expressions of interests will be greatly appreciated, please fill in the simple form on the conference web site under "Express Interest" . This will help the Organising Committee with their planning. You can also opt-out from receiving future announcements by following the instructions on the conference web site.

More Information

SYSMICS 2016 web site:

Use this site for local information, including hotel accommodations, for travel information and registration. Queries regarding registration, hotel accommodations, financial support and reimbursements, technology infrastructure, abstract submission guidelines, etc. should be sent to sysmics-oc (at)

To unsubscribe from this list, please send an email to sysmics-oc (at) with “OPTOUT SYSMICS2016” as the subject of the message.