<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><br class=""></div><div class=""><br style="font-family: 'Times New Roman'; color: rgb(80, 0, 80); font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class=""> [Apologies for multiple copies]</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">==============================</span><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">=====================</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class=""> SYNTAX MEETS SEMANTICS (SYSMICS 2016)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">==============================</span><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">=====================</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class=""> 5-9 September 2016, Barcelona (Spain)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class=""> </span><a href="redir.aspx?REF=3JrhEPnWJhwDmPZQ96mbMm4AzZ8sc_ctIquEEEp-etY-za6EzjDTCAFodHRwOi8vc3lzbWljcy0xNi5paWlhLmNzaWMuZXMv" rel="noreferrer" target="_blank" style="font-family: 'Times New Roman'; font-size: 13px;" class="">http://sysmics-16.iiia.csic.es</a><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class=""> ***** (PRELIMINARY) CALL FOR ABSTRACTS *****</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Scope</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">---------</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Substructural logics are formal reasoning systems that refine</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">classical logic by weakening structural rules in a Gentzen-style</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">sequent calculus. Intuitionistic, many-valued, linear logics, are</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">typical examples. Traditionally, substructural logics have been</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">investigated using proof theoretic and algebraic methods. In recent</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">years, combined approaches have started to emerge. The programme of</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">the SYSMICS conference will focus on interactions between syntactic</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">and semantic methods in substructural logics. This open conference is</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">the first of a series of meetings planned in the SYSMICS RISE project</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">(</span><a href="redir.aspx?REF=qdlC0cxPfFZ_fCN0wUjwAcIRa-ScwOLHWRs6wFFw4f0-za6EzjDTCAFodHRwOi8vbG9naWNhLmRtaS51bmlzYS5pdC9zeXNtaWNzLw.." rel="noreferrer" target="_blank" style="font-family: 'Times New Roman'; font-size: 13px;" class="">http://logica.dmi.unisa.it/sysmics/</a><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">) during 2016-2019.</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Featured topics</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">---------------------</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Contributed talks can be on any topic related to substructural logic.</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">This includes, but is not limited to, the following areas:</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">* Algebraic structures in CS</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">* Algebraic logic</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">* Coalgebraic aspects of logic</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">* Categorical methods in logic</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">* Gentzen systems</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">* Lattice theory</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">* Lattices with operators</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">* Linear logic</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">* Mathematical fuzzy logic</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">* Non-classical logics</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">* Ordered algebraic structures</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">* Proofs and Types</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">* Stone-type dualities</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">* Topological semantics</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Programme Committee</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">------------------------------</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Stefano Aguzzoli (University of Milano)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Nick Bezhanishvili (University of Amsterdam)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Agata Ciabattoni (Vienna University of Technology)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Petr Cintula (Czech Academy of Sciences)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Pilar Dellunde (Autonomous University of Barcelona)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Brunella Gerla (University of Insubria)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Lluis Godo (CSIC - IIIA Barcelona)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Ramon Jansana (University of Barcelona)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Jan Kühr (University of Olomouc)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Antonio Ledda (University of Cagliari)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">George Metcalfe (University of Bern)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Carles Noguera (Czech Academy of Sciences)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Luca Spada (University of Salerno, chair)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Organising Committee</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">------------------------------</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Pilar Dellunde (Autonomous University of Barcelona)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Joan Gispert (University of Barcelona)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Ramon Jansana (University of Barcelona)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Lluis Godo, (CSIC - IIIA Barcelona, Chair)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Diego Valota (CSIC - IIIA Barcelona)</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Dates</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">---------------------------</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Deadline for submissions 30 April 2016</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Notification of acceptance 30 May 2016</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Conference dates 5-9 September 2016</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Submissions</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">------------------------------</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">The Programme Committee accepts submissions of abstracts ranging from</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">2 to 4 pages. The abstracts should be formatted according to EasyChair</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">style, instructions can be found at</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><a href="redir.aspx?REF=I3icUbodjNiO_GfCHFENkLALHlEA8BSgN_dIoQoFWlc-za6EzjDTCAFodHRwOi8vZWFzeWNoYWlyLm9yZy9wdWJsaWNhdGlvbnMvZWFzeWNoYWlyLnppcA.." rel="noreferrer" target="_blank" style="font-family: 'Times New Roman'; font-size: 13px;" class="">http://easychair.org/publications/easychair.zip</a><span style="font-family: 'Times New Roman'; font-size: 13px;" class=""> .</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Abstracts can be submitted at the following address:</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><a href="redir.aspx?REF=cJ7bDbGAj3zV8a4bwPMz8F93-rTaMHzOPtpe4ELlaTc-za6EzjDTCAFodHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9c3lzbWljczIwMTY." rel="noreferrer" target="_blank" style="font-family: 'Times New Roman'; font-size: 13px;" class="">https://easychair.org/conferences/?conf=sysmics2016</a><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">A short text-only abstract will also be requested during submission.</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Expression of interest</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">------------------------------</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Expressions of interests will be greatly appreciated, please fill in</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">the simple form on the conference web site under "Express Interest".</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">This will help the Organising Committee with their planning. You can</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">also opt-out from receiving future announcements by following the</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">instructions on the web site.</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">More Information</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">-----------------------</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">SYSMICS 2016 web site: </span><a href="redir.aspx?REF=3JrhEPnWJhwDmPZQ96mbMm4AzZ8sc_ctIquEEEp-etY-za6EzjDTCAFodHRwOi8vc3lzbWljcy0xNi5paWlhLmNzaWMuZXMv" rel="noreferrer" target="_blank" style="font-family: 'Times New Roman'; font-size: 13px;" class="">http://sysmics-16.iiia.csic.es</a><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Use this site for updates on the program, invited speakers and local</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">information, including hotel accommodations, travel information and</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">registration.</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">Any queries regarding the conference should be sent to</span><br style="font-family: 'Times New Roman'; font-size: 13px;" class=""><a href="redir.aspx?REF=tKqFlroc_eIKlpqFgMTlQ9Xf6dfQdHH2L4kOQ4Thdgk-za6EzjDTCAFtYWlsdG86c3lzbWljcy1vY0BpaWlhLmNzaWMuZXM." target="_blank" style="font-family: 'Times New Roman'; font-size: 13px;" class="">sysmics-oc@iiia.csic.es</a><span style="font-family: 'Times New Roman'; font-size: 13px;" class="">.</span></div></body></html>