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 [email protected] - Tommaso Flaminio, IIIA-CSIC, Barcelona [email protected] - Amanda Vidal, Institute of Computer Science of the Czech Academy of Sciences (Prague), [email protected] 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
