Logic List Mailing Archive

CfP: Special Session on Mathematical Fuzzy Logic @ IPMU 2026, 15–19 June 2026, Rome (Italy)

Special Session on Mathematical Fuzzy Logic at IPMU 2026 conference.

The special session will be part of the 21st International Conference on
Information Processing and Management of Uncertainty in Knowledge-Based
Systems (IPMU 2026)

June 15th-19th, 2026, Rome, Italy

https://www.sbai.uniroma1.it/conferenze/ipmu2026/

Special Session Organizers:

- Matteo Bianchi, Department of Computer Science "Giovanni degli Antoni",
Universit? degli Studi di Milano
matteo.bianchi@unimi.it
- Tommaso Flaminio, IIIA-CSIC, Barcelona
tommaso@iiia.csic.es
- Amanda Vidal,
Institute of Computer Science of the Czech Academy of Sciences (Prague),
amanda@cs.cas.cz

This special session is devoted to the most recent developments of
Mathematical Fuzzy Logic. Thus, to formal fuzzy logics from a mathematical
point of view. We encourage particular emphasis on theoretical advances
related to many-valued logics, algebraic semantics, combinatorial aspects,
topological and categorical methods, proof theory and game theory,
many-valued computation, many-valued logics and finite model theory,
many-valued logics and AI.

* This special session is dedicated to Jan ?ukasiewicz (1878-1956), an
important figure in the area of Mathematical Fuzzy Logic. *

A partial list of topics is the following:

- Algebraic semantics of fuzzy logics
- First-order fuzzy logics, with applications to model theory and finite
model theory
- Fuzzy modal logics
- Proof theory for fuzzy logics
- Combinatorial or topological dualities
- Computational complexity of many-valued logics
- Fuzzy logic approaches to (subjective) probability and general
uncertainty models
- Fuzzy logics and automated reasoning
- Fuzzy logics and AI


SUBMISSION INSTRUCTIONS

Regular Papers

The proceedings of IPMU 2026 regular papers will be published by Springer
in the series Communications in Computer and Information Science (
https://link.springer.com/series/7899), indexed in DBLP, Google Scholar,
EI-Compendex, Mathematical Reviews, SCImago, Scopus. CCIS volumes are also
submitted for the inclusion in ISI Proceedings.


   - Deadline for regular paper submission: 12 January 2026.


   - Authors should consult Springer?s authors? instructions and use the
   proceedings template, either for LaTeX or for Word, for the preparation of
   their papers. The LaTeX templates are also available in Overleaf. Springer
   encourages authors to include their ORCIDs in their papers.


   - The length of a submission is 12-14 pages in the LNCS/CCIS one-column
   page format. The paper must be written in English and submitted in PDF via
   the EasyChair system, at the following link:
   https://easychair.org/my/conference?conf=ipmu2026


   - In EasyChair authors can choose one of the proposed special sessions
   or the general track of IPMU 2026.


   - In EasyChair authors should point out if one of the authors is an
   early career researcher (no more than 4 years from the Ph.D. defense) to be
   considered for best early career researcher awards.


   - All figures are printed in black and white, unless a special
   arrangement has been made for colored figures. Colored figures remain in
   color in the online version. Please make sure that any colored figures are
   equally comprehensible in black and white. Figures and Tables should be
   cross referred in the text.


   - Authors interested in publishing their paper Open Access should
   consult Springer's page.


   - One full registration will allow acceptance of one regular paper. Each
   additional accepted paper associated with the same registration will be
   subject to an additional fee.

Short Papers

IPMU will also accept short papers of 2-6 pages. Accepted short papers will
not be published by Springer. A separate volume, with its own DOI,
containing the accepted works, will be published in open access. Authors
may opt to not include their work in this volume.

   - Deadline for short paper submission: 12 January 2026.


   - Short papers should be prepared using the LaTeX template used for
   regular papers that are available on Overleaf.


   - Short papers must be written in English and submitted in PDF via the
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php