posted by user: diegov || 816 views || tracked by 2 users: [display]



When Sep 5, 2016 - Sep 9, 2016
Where Barcelona
Submission Deadline Apr 30, 2016
Notification Due May 30, 2016
Categories    logic

Call For Papers




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 have started to emerge. The programme of
the SYSMICS conference will focus on interactions between syntactic
and semantic methods in substructural logics. This open 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:

* 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

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 (CSIC - IIIA Barcelona)
Ramon Jansana (University of Barcelona)
Jan Kühr (University of Olomouc)
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, (CSIC - IIIA Barcelona, Chair)
Diego Valota (CSIC - IIIA Barcelona)

Deadline for submissions 30 April 2016
Notification of acceptance 30 May 2016
Conference dates 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.

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 web site.

More Information
SYSMICS 2016 web site:

Use this site for updates on the program, invited speakers and local
information, including hotel accommodations, travel information and

Any queries regarding the conference should be sent to
sysmics-oc (at)

Related Resources

ORAJ 2016   Operations Research and Applications: An International Journal
SAC PL 2017   ACM SAC'17 PL Track
LPNMR 2017   14th International Conference on Logic Programming and Non-monotonic Reasoning
CLEF 2016   Conference and Labs of the Evaluation Forum. Information Access Evaluation meets Multilinguality, Multimodality and Interaction
ISWC 2016   15th International Semantic Web Conference
VCC 2016   2016 International Symposium on Verbs, Clauses and Constructions
SEMANTiCS 2016   12th International Conference on Semantic Systems (Call for Research & Innovation Papers)
SEMANTiCS 2016   12th International Conference on Semantic Systems (Call for Workshop Proposals)
JWS-SS 2016   Journal of Web Semantics special issue on Semantic Statistics
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process