11-13 Jun 2018
Cagliari, Italy
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% AsubL take 6 Algebra and substructural logics Cagliari June 11th-13th 2018 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% First announcement and call for papers The workshop AsubL (Algebra & Substructural Logics) is a workshop on algebraic structures related to substructural logics. It is the sixth in the series and it will be held in Cagliari, Italy on June 11th Ð 13th 2018 as an event in the framework of SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics, and hosted by Universit?à degli studi di Cagliari, Dipartimento di Pedagogia, Psicologia e Filosofia. History AsubL take 1 (10-14 November 1999). Organised by Hiroakira Ono and Tomasz Kowalski. Held at Japan Institute of Science and Technology (JAIST). AsubL take 2 (12-14 November 2002). Organised by Hiroakira Ono and Tomasz Kowalski. Hosted by (JAIST), held at Bogakuen lodge in Shiramine/Hakusan area. AsubL take 3 (6-8 November 2006). Organised by Hiroakira Ono and Andrzej Wronski. Held at Department of Logic of the Jagiellonian University. AsubL take 4 (8-10 June 2010). Organised by Hiroakira Ono and Constantine Tsinakis. Hosted by JAIST; held at Ishikawa Hightech Center. AsubL take 5 (13-16 December 2014). Organised by Tomasz Kowalski. Hosted by La Trobe University, Department of Mathematics and Statistics, held at Franklin Street Campus. Invited speakers Here is the list of invited speakers who have confirmed their participation so far: -Anatolij Dvureçenskij -Tomasz Kowalski -Hiroakira Ono (Founder of AsubL) -Constantine Tsinakis Call for papers Authors are kindly asked to submit an abstract (not exceeding two pages) for their proposed contributed talks to Francesco Paoli: paoli@unica.it<mailto:paoli@unica.it>. by April 15th 2018. After this date, abstracts of contributed talks may still be accepted, depending on available space. The duration of the contributed talks will be communicated in a later announcement. We welcome contributions on any topic relevant to the theme of the workshop, including (but not limited to) the following: ? residuated lattices, their expansions and reducts; ? other ordered structures related to substructural logics; ? abstract algebraic logic methods in substructural logics; ? proof theory of substructural logics; ? categorical methods in substructural logics; ? relations between substructural logics and other logics (quantum logics, many-valued logics etc.) Webpage and registration Further information on the workshop will be available presently on the website of the workshop http://sites.unica.it/asubl6/ Please note that in addition to submitting the abstract, you also need to register for the conference using the registration form that will be available on the site. No participation fee will be charged. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam