Logic List Mailing Archive

AsubL take 6: Algebra & substructural logic

11-13 Jun 2018
Cagliari, Italy

*%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%*

AsubL take 6
Algebra and substructural logics
Cagliari June 11th-13th 2018

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



*Reminder*



With the present communication we wish to recall the AsubL Take 6 event
that will take place in Cagliari on June 11th-13th.

At the same time, we inform you that we have good news! Among them, a
new *communication
session* has been included in the program of the workshop (see below).





*About AsubL*



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
<https://mail.yahoo.com/neo/b/compose?to=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.)



*New: Communication session*



*Conferences represent a good opportunity for exchanging ideas on its
subjects. However, in order to facilitate the sharing of knowledge, new
projects and suggestions on research in fieri, we are organizing a
communication session during which everyone can expose his/her research
projects, small results and remarks on the main topics of the workshop in
an informal and friendly environment. The duration of each communication
will be of (at most) 15 minutes. Good coffee and food will be provided. For
further information, please visit our website.*







*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