19-24 Jul 2020
Glasgow, Scotland
Dear Colleagues,
we are pleased to announce a special session on "Recent trends in
many-valued logic and fuzziness" at the FUZZ-IEEE 2020 Conference, part of
WCCI 2020 (https://wcci2020.org/) to be held in Glasgow (Scotland) from 19
to 24 July 2020. The deadline for regular papers is January 15th, 2020.
Papers submitted to the special sessions will undergo the same review
procedure as that for regular papers. Please submit your papers for this
special session to the conference online submission system by indicating
the title of the special session ("Recent trends in many-valued logic and
fuzziness"). If you plan to submit a paper, please let us know as soon as
possible.
Please note that even if in the description of the session we insist on
certain topics, we think of the session as very generalist on everything
related to many-valued logics.
Thanks in advance for your interest.
Best regards,
Pietro Codara, Università degli Studi di Milano
Stefano Aguzzoli, Università degli Studi di Milano
Diego Valota, Università degli Studi di Milano
---------------------------------------------------------------------------
Call for Papers
---------------------------------------------------------------------------
Special Session on Recent trends in many-valued logic and fuzziness
https://homes.di.unimi.it/~valota/fuzzieee2020.htm
2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2020)
IEEE World Congress on Computational Intelligence 2020
19 - 24th July, 2020, Glasgow, Scotland (UK)
---------------------------------------------------------------------------
Many-valued logics have constituted for several decades key conceptual
tools for the formal description and management of fuzzy, vague and
uncertain information. In the last few years, the study of these
logical systems has seen a bloom of new research related to the most
diverse areas of mathematics and applied sciences. Relevant recent
developments in this field are connected to the natural semantics of
non-classical events. A non-classical event is described by a formula
in the language of a given many-valued logic. A satisfying semantics
for such events must account for their different aspects, in
particular the "ontic" aspect, related to their vague nature, and the
"epistemic" aspect, related to our ignorance, or approximate knowledge
about them. The combination in a unique conceptual framework of the
logic and the probability of a class of non-classical events, usually
reached through the algebraic semantics and their topological or
combinatorial dualities, provides both the theoreticians and the
application-oriented scholars with powerful tools to deal with this
kind of events.
This special session is devoted to the most recent development in the
realm of many-valued logics, with particular emphasis on theoretical
advances related to algebraic or alternative semantics, combinatorial
aspects, topological and categorical methods, proof theory and game
theory, many-valued computation. In particular, results directed
towards a better understanding of the natural semantics of
non-classical events will be appreciated. Further, a special attention
is also given to connections and synergies between many-valued logics
and other different formal approaches to vague and approximate
reasoning, such as Rough Sets, Formal Concept Analysis and Relational
Methods.
A partial list of topics is the following:
Algebraic semantics of many-valued logics
Applications of many-valued logics to Formal Concept Analysis and
Relational Methods
Applications of many-valued logics to Fuzzy Sets and to Rough Sets
Combinatorial or topological dualities
Computational complexity of many-valued logics
Many-valued computational models
Modal logic approaches to probability and uncertainty in many-valued logics
Natural and alternative semantics for many-valued logics
Proof theory for many-valued logics
Representation theory
Subjective probability approaches to many-valued logics and non-classical events
---------------------------------------------------------------------------
Important Dates
Paper Submission Deadline: 15 January 2020;
Paper Acceptance Notification Date: 15 March 2020;
Final Paper Submission: 15 April 2020;
Early Registration Deadline: 15 April 2020;
IEEE WCCI 2020: 19-24 July 2020.
---------------------------------------------------------------------------
Submission
Paper submission deadline is on January 15, 2020.
All papers must be submitted through the Online Submission System
of the conference, see: https://wcci2020.org/submissions/
Please submit your paper selecting the option "Main research
topic": Special Session on Recent trends in many-valued logic and fuzziness,
as detailed here: https://ieee-cis.org/conferences/fuzzieee2020/upload.php
In order for your papers to be included in the congress program
and the proceedings, final accepted papers must be submitted
and the corresponding registration fees must be paid in due time.
---------------------------------------------------------------------------
For more information, please visit: https://wcci2020.org/
--------------------------------------------------------------------------
--
[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