- SIPTA News - lists.sipta.org

deadline for CoProD 2026 has been extended
by Kreinovich, Vladik Feb. 4, 2026

Feb. 4, 2026

Dear Friends, This is FYI, papers using imprecise probabilities are always welcome at this series of workshops *************************************************************** 18th International Workshop on Constraint Programming and Decision Making CoProD'2026 https://www.reliable-computing.org/coprod26.html March 13, 2026, El Paso, Texas, USA (remote participation is possible) CoProD'2026 is the eighteenth edition of CoProD. It will be held on March 13, 2026, right before the Joint NAFIPS International Conference on Fuzzy Systems, Soft Computing and Explainable AI and 10th World Conference on Soft Computing NAFIPS 2026, El Paso, Texas, USA, March 14-16, 2026, https://sites.google.com/view/nafips26/ Constraint programming techniques are important components of intelligent systems. They constitute a declarative and efficient methodology to represent and solve many practical problems. They have been applied successfully to a number of fields, such as scheduling of air traffic, software engineering, networks security, chemistry, and biology. Despite the proved usefulness of these techniques, they are still under-utilized in real-life applications. One reason is the perceived lack of effective communication between constraint programming experts and domain practitioners about constraints, in general, and their use in decision making, in particular. Objectives of CoProD: * To present advances in constraint solving, optimization, and related topics; * To develop a network of researchers interested in constraint techniques, in particular researchers and practitioners that use numeric and symbolic approaches (or a combination of them) to solve constraint and optimization problems; * To address the gap between the great capacity of these techniques and their limited use. CoProD aims at encouraging presentation and discussion of on-going work. In particular, please note that there is room for presentation of ideas, as opposed to results only. It also aims at facilitating networking opportunities as well as cross-fertilization between the approaches used in the different attending communities. Therefore, besides active researchers in decision making and constraint programming techniques, we expect to have a wide attendance and participation of domain scientists -- whose input is highly valued in this workshop. Proceedings / Publication: Submissions should take 2-5 page (a few more pages is OK), if possible, formatted using the Springer edited book format, style file svmult.cls and an example of using this file (not related to CoProD) are attached to the workshop website. Accepted submissions of at least 4 pages will be published by Springer, as part of the proceedings of the NAFIPS 2026 conference. Please send the source file(s) and the resulting pdf file to mceberio [at] utep [dot] edu and vladik [at] utep [dot] edu. A contact author should be specified in the submission email. The deadline for submissions is Fenruary 15, 2026 (Let us know if you need a few more days). Authors of accepted submissions are expected to participate and present their work at the workshop. Participation / Submission: Participation is encouraged from people doing research in the area of decision making as well as from domain scientists. Submissions of ideas are also encouraged. Important dates: February 15, 2026: deadline for submission February 22, 2026: notification of acceptance March 1, 2026: deadline for final versions of accepted submissions March 13, 2026: workshop Organizers: Martine Ceberio, the University of Texas at El Paso, mceberio(a)utep.edu<mailto:mceberio@utep.edu> Vladik Kreinovich, the University of Texas at El Paso, vladik(a)utep.edu<mailto:vladik@utep.edu> The previous editions of CoProD featured invited talks by highly recognized experts (listed in alphabetic order): * Purushotham Bangalore, CIS department, University of Alabama at Birmingham, USA * Martin Berz, Michigan State University, USA * Stefano Bistarelli, University of Perugia, Italy * Alessandro Dal Palu, University of Parma, Italy * Rina Dechter, Information and Computer Sciences, University of California Irvine, USA * Scott Ferson, Applied Bioinformatics, New York, USA * Juan Carlos Figueroa, Universidad Distrital de Bogota, Colombia * Milan Hladik, Charles University, Prague, Czech Republic * Patty Hough, Sandia National Lab, Livermore, California, USA * Luc Jaulin, Ecole Nationale Superieure des Techniques Avancees (ENSTA) Bretagne, France * Weldon Lodwick, University of Colorado Denver, Denver, Colorado, USA * Kyoko Makino, Michigan State University, USA * Francois Modave, Texas Tech Health Center, El Paso, Texas, USA * Tiago Oliveira, National Institute of Informatics (NII) in Tokyo, Japan. * Enrico Pontelli, New Mexico State University, Las Cruces, New Mexico, USA * James Raynolds, College of Nanoscale and Engineering, SUNY Albany, USA * Siegfried Rump, Hamburg University of Technology and Waseda University, Japan * Ken Satoh, National Institute of Informatics (NII) in Tokyo, Japan * Bart Selman, CS department, Cornell University, USA * Yaroslav D. Sergeyev, Universita della Calabria, Italy * Sergey Shary, Novosibirsk State University, Russia * Young Jun Son, The University of Arizona, Tucson, USA * Xiaobai Sun, Duke University, USA * Alfredo Vaccaro, University of Sannio, Department of Engineering, Benevento, Italy * Leticia Velazquez, The University of Texas at El Paso, USA

1 0

CfP PEVA Special issue on "Artificial Intelligence for Performance and Reliability Evaluation of Software Systems"
by Laura Carnevali Feb. 2, 2026

Feb. 2, 2026

Dear Colleagues, We invite submissions to the special issue of the Performance Evaluation Journal by Elsevier, on the theme: *"Artificial Intelligence for Performance and Reliability Evaluation of Software Systems" * The deadline for paper submission is May 15th, 2026. Details can be found below and at the following link: https://www.sciencedirect.com/special-issue/329639/artificial-intelligence-… Kind regards, Laura Carnevali, Pengfei Chen, Evgenia Smirni --------------------- *CALL FOR PAPERS* Nowadays software systems have become deeply pervasive, with a wide variety of applications (e.g., enterprise architectures, web services, artificial intelligence, mobile app) in several domains (e.g., IoT systems, cyber-physical systems, cloud systems, automotive driving systems). By leveraging technological advancements in hardware and communication, software systems have grown in scale, complexity, and inter-dependence, thus introducing new challenges in performance and reliability evaluation. In fact, in distributed and heterogeneous environments, performance and reliability may be affected by many different factors (e.g., software architecture, hardware infrastructure, network communication, runtime environment). Although lots of effort has been contributed to performance and reliability evaluation of software systems, challenges still exist. Recently, Artificial Intelligence (AI) and Machine Learning (ML) methods provide powerful tools to develop descriptive, predictive, and prescriptive analytics, being able to learn the system behavior from observed data, detect anomalies at run time, and then trigger proactive remediation. At the same time, notable challenges are introduced as well, e.g., concerned with availability and quality of data, cost of re-training, and interpretability of results. This special issue solicits unpublished works on novel solutions that leverage AI, and in particular ML, to assess and improve performance and reliability of software systems. It is intended for researchers, engineers, and practitioners who study and work on AI/ML methods for software engineering as well as those interested in performance and reliability engineering in general. Works solely focused on improving classification or regression performance of AI/ML models (e.g., in terms of metrics such as accuracy, recall, F1 score) are outside the scope of this special issue. Papers are expected to demonstrate advances to performance and/or reliability evaluation methods. This special issue seeks submissions of full-length original research articles. Short communications and surveys are not in the scope of this special issue. Topics of interest for this special issue include, but are not limited to, the following: *AI/ML for performance evaluation of software systems* * Deep learning for performance anomaly detection * Explainable AI for performance diagnosis and prediction * Forecasting approaches for workload characterization and prediction * Data-driven performance profiling, benchmarking, and testing *AI/ML for reliability evaluation of software systems* * Neuro-symbolic approaches for reliability engineering * LLMs for fault localization and root-cause analysis * Generative AI for fault injection * Clustering techniques for alert grouping and attribution * Time-series analysis for predictive maintenance *Applications in cutting-edge software domains* * Edge-to-cloud computing systems * Microservices architectures * Cyber-physical systems and real-time systems * Software-defined networks * LLM systems * * *MANUSCRIPT SUBMISSION INFORMATION* General information for submitting papers to PEVA can be found at Guide for Authors - Performance Evaluation <https://www.sciencedirect.com/journal/performance-evaluation/publish/guide-…>. Authors should submit their manuscripts to the Performance Evaluation Editorial System (EM) at Submission site for Performance Evaluation <https://www.editorialmanager.com/peva/default2.aspx>, and *select "VSI:AI for PRE of SW" when they reach the “Article Type” step in the submission process.* *EXPECTED TIMELINE* * Manuscript submission deadline: May 15th, 2026 * First review round completed: September 15th, 2026 * Revised manuscripts due: December 15th, 2026 * Final notification: February 15th, 2027 * Publication: June 1st, 2027

1 0

2nd Call for Papers of QEST+FORMAT 2026
by Marco Paolieri Jan. 29, 2026

Jan. 29, 2026

======================================= 2nd Call for Papers QEST+FORMATS 2026 September 2-4, 2026, Liverpool, UK https://www.qest-formats.org/ https://confest-2026.github.io/ ======================================= Dates: Abstract submission: April 3, 2026 Paper submission: April 10, 2026 Artifact submission: April 17, 2026 Author notification: May 24, 2026 Camera-ready submission: June 14, 2026 ======================================= Scope and Topics The two flagship conferences QEST (International Conference on Quantitative Evaluation of SysTems) and FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) are pursuing a strategic process of joining forces and sparking a new joint conference for quantitative modelling, analysis, and verification. This culminated in 2024 in the first QEST+FORMATS joint conference. In 2026, the two conferences will form the third QEST+FORMATS joint conference, which will be held on 2-4 September 2026 in Liverpool, UK, as part of the CONFEST 2026 umbrella conference. The joint conference is the leading forum for the quantitative evaluation and verification of systems. QEST+FORMATS aims to promote the study of fundamental and practical aspects of systems with quantitative nature (such as probability, timing, and cost). It aims to bring together researchers from different disciplines who share interests in the modelling, design, and analysis of computational systems. Systems of interest include biological and chemical systems; computer networks; critical infrastructures; cyber-physical systems; data-driven AI systems; energy systems; hardware and software systems; industrial systems; mobility networks; and quantum systems. The QEST+FORMATS joint conference also aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of timed, hybrid, and probabilistic systems. In general, the conference aims to attract experts in quantitative and timed systems from any domain. Topics and scientific areas of interest include: --- Models and metrics for the correctness, performance, reliability, safety, and security of systems (stochastic, probabilistic, quantum, and non-deterministic models including Markov chains, automata, Petri nets, process algebra, and their variations); --- Languages and methods for the specification of quantitative properties of systems; --- Techniques, algorithms, and data structures for the analysis, evaluation, and verification of the above models, e.g., for model checking, testing, constraint solving, scheduling, optimization, and worst-case execution time analysis; --- Quantitative and probabilistic aspects of programming; --- Data-driven and machine-learning techniques for the analysis, prediction, and verification of quantitative properties of systems; --- Case studies that highlight the role of quantitative specification, modelling, and evaluation in the design and analysis of systems, with emphasis on emerging problems and technologies, or novel domains; --- Software tools to support the practical application of research results in all of the above areas. ======================================= Confirmed Invited Speakers Ezio Bartocci, TU Wien, Austria Jane Hillston, University of Edinburgh, UK Kim Guldstrand Larsen, Aalborg University, Denmark ======================================= Submissions QEST+FORMATS 2026 considers three types of submissions (authors will be able to specify the type of contribution upon submission): --- Research papers: Theoretical and methodological contributions that advance the understanding of a topic or issue, or describe the development of new analysis processes and techniques. --- Case study papers: Contributions that present practical applications of quantitative methods to challenging real-world case studies. Case study papers shall provide detailed evaluation and insights, and highlight the value added to the domain experts. --- Tool papers: Contributions introducing new tools or significant improvements of existing ones, and the formalisms they support. These papers shall focus on the software architecture, practical implementation, and evaluation (e.g., usability, scalability, and effectiveness). Tool papers must be accompanied by an artifact in the Artifact Evaluation as detailed below. All three types of papers can be regular or short: --- Regular papers must not exceed 16 pages, excluding references. --- Short papers should be limited to 7 pages, also excluding references. --- All papers can have an appendix containing supporting material. Note that reviewers are not required to read the appendix to fully assess the merits of the paper. We are considering additional presentation-only submission types; details will be provided in the later CfPs. All papers must be submitted in Springer's LNCS format and will undergo a rigorous single-blind review process. All submitted papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using EasyChair (Track: QEST+FORMATS 2026). Springer encourages authors to include their ORCIDs in their papers. Authors should consult Springer's authors' guidelines and use Springer's LaTeX templates for the preparation of their papers. Submitted papers not complying with the above guidelines may be rejected without undergoing review. We are considering awards for best papers and best artifacts. ======================================= Publications All accepted papers need to be presented and discussed at the conference by one of the authors. Similarly to last year, the QEST+FORMATS 2026 proceedings will be published in the Springer LNCS series indexed by ISI Web of Science, Scopus, ACM Digital Library, DBLP, Google Scholar. All submitted papers will be evaluated by at least three reviewers on the basis of their originality, technical quality, scientific or practical contribution to the state of the art, methodology, clarity, and adequacy of references. ======================================= Special Issue We are working on a special issue in a Q1 journal. A selection of the best papers will be invited to submit an extended version of their work to a special issue in an internationally recognized journal. ======================================= Artifact Evaluation Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, QEST+FORMATS 2026 will include a dedicated Artifact Evaluation (AE). Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for research and case study papers where it can support the results presented in the paper. More details will follow.

1 0

IPMU 2026 - Deadline extension for paper submission
by Davide Petturiti Jan. 29, 2026

Jan. 29, 2026

****** PLEASE APOLOGIZE FOR MULTIPLE COPIES ****** ********************************************************** 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/ *********************************************************** Due to numerous requests, the deadline for paper submission at IPMU 2026 has been extended to February 15, 2026, both for long and short papers. This will be the final, hard deadline. Papers must be submitted in PDF via EasyChair at https://easychair.org/my/conference?conf=ipmu2026 Submission instructions can be found at https://www.sbai.uniroma1.it/conferenze/ipmu2026/submission-instructions.php IMPORTANT DATES: Paper submission deadline: February 15, 2026 Notification of acceptance: March 15, 2026 Camera-ready versions: April 1, 2026 Conference: June 15-19, 2026 Contact: ipmu2026(a)sbai.uniroma1.it KEYNOTE SPEAKERS: We are also pleased to inform about the keynote speakers at the conference: Bob Kowalski (Imperial College London, United Kingdom) Luc de Raedt (KU Leuven, Belgium) María Ángeles Gil (University of Oviedo, Spain) Marco Zaffalon (IDSIA, Switzerland) GRANTS AND AWARDS: EUSFLAT is providing 5 student grants to support student participation at the conference. Eligibility criteria and instructions can be found at https://www.sbai.uniroma1.it/conferenze/ipmu2026/student-grants.php In addition, there shall be a number of awards for the best paper and best student paper at the conference. General Chair Barbara Vantaggi (Italy) -- *Fai crescere le giovani ricercatrici e i giovani ricercatori*** *con il 5 per mille alla Sapienza* Scrivi il codice fiscale dell'Università *80209930587 **Cinque per mille <https://www.uniroma1.it/it/node/23149>*

1 0

Seminar this afternoon: reminder
by DESTERCKE Sébastien Jan. 29, 2026

Jan. 29, 2026

Dear Siptians, This is just a small reminder that Eric Goubault SIPTA seminar is this European afternoon (3pm Paris time), entered on system verification with sets (and IP) approaches. You can check the info at https://sipta.org/events/sipta-seminars/ See you there! Sébastien

1 0

NEXT SIPTA virtual seminar: 29th January, 3pm Paris time, Eric Goubault
by DESTERCKE Sébastien Jan. 21, 2026

Jan. 21, 2026

Dear colleagues, We are delighted to announce our upcoming SIPTA online seminar on imprecise probabilities (IP). These monthly events are open to anyone interested in IP, and will be followed by a Q&A and open discussion. They also provide an occasion for the community to meet, keep in touch and exchange between in-person events. The next seminar will take place on the 29th of January (Thursday). The zoom link for this seminar is https://utc-fr.zoom.us/j/85306809920 For this new seminar, we are very happy to have Eric Goubault as our speaker. Eric Goubault is currently the head of the computer science department at the Ecole polytechnique, and is in charge of the "Engineering of Complex Systems" academic and research chair. His research focuses on the verification of numerical programs and systems, on geometric methods for concurrency, directed topology and applications to verification of concurrent, distributed and fault-tolerant computing. He has notably made different contributions mixing system verification with imprecise probabilistic approaches. On the 29th of January, at 15:00 CEST:paris time (up to 17:00 CEST, with a talk duration of 45min/1h), he will talk about "Verification of Cyber-physical systems”. Curious? Then check out the abstract on the webpage of the SIPTA seminars: sipta.org/events/sipta-seminars. The zoom link for attending the seminar can be found on that same page. So please mark your calendars on the 29th of January, and join us for the occasion. And for those who missed the previous seminar and want to catch up, or simply want to see it again and again, it is online at https://www.youtube.com/watch?v=4T7XnauyuFg See you at the seminar! Sébastien, Enrique and Jasper

1 0

special session: Rough Sets and Hybrid Theories: Models, Logic, and Applications
by Boffa, Stefania Jan. 17, 2026

Jan. 17, 2026

Dear colleagues, We are pleased to invite you to submit a paper to the Special Session entitled *Rough Sets and Hybrid Theories: Models, Logic, and Applications*, to be held within the framework of the *International Joint Conference on Rough Sets (*IJCRS 2026 <https://ijcrs2026.uca.es/>). The special session aims to bring together researchers working on hybrid approaches that integrate rough sets with fuzzy sets, evidence theories, generalized probabilistic models, mathematics, and allied areas. Topics of interest include, but are not limited to: *- *rough fuzzy sets, - fuzzy rough sets, - L-fuzzy sets and general rough sets, - mereological and logical aspects of hybrid L-fuzzy sets, - evidential rough sets, - fusion methods, - rough-set–valued stochastic models, -comparative studies between evidence theories and probabilistic rough sets; - rough mereology, - generalized rough inclusion functions, - uni-norm–based rough mathematics. Both theoretical contributions and methodological advances are welcome, as well as applications demonstrating the added value of hybrid models. The session seeks to foster discussion on foundations, unifying frameworks, and emerging directions in hybrid rough set research*.* Kind regards Stefania Boffa A. Mani Balasubramaniam Jayaram Special Session Organizers – IJCRS 2026 -- *Stefania Boffa* <stefania.boffa(a)iulm.it> ricercatrice tenure track facoltà di comunicazione dipartimento di business, diritto, economia e consumi <https://www.iulm.it> Via Carlo Bo, 1 - 20143 - Milano <https://maps.app.goo.gl/LYLaXXCoxLqFLin38> <https://www.iulm.it>

1 0

Call for a special session at IJCRS 26
by Boffa, Stefania Jan. 3, 2026

Jan. 3, 2026

Dear Colleagues, I am pleased to invite you to submit proposals for a *special session* to enrich the scientific program of the *12th International Joint Conference on Rough Sets (IJCRS 2026)*, to be held in Cádiz, Spain, on May 26–29, 2026 (https://ijcrs2026.uca.es/) We welcome high-quality proposals addressing emerging topics in rough set theory and related areas. If you are interested in contributing or would like to discuss a potential proposal, please feel free to contact me directly at *stefania.boffa(a)iulm.it*. I will be delighted to assist you throughout the submission process. Best regards, *Stefania Boffa* Tutorials and Workshops Chair IJCRS 2026 -- *Stefania Boffa* <stefania.boffa(a)iulm.it> ricercatrice tenure track facoltà di comunicazione dipartimento di business, diritto, economia e consumi <https://www.iulm.it> Via Carlo Bo, 1 - 20143 - Milano <https://maps.app.goo.gl/LYLaXXCoxLqFLin38> <https://www.iulm.it>

1 0

IPMU 2026: updated deadline- January 30, 2026
by Enrique Miranda Dec. 30, 2025

Dec. 30, 2025

******** PLEASE APOLOGIZE FOR MULTIPLE COPIES ******** ------------------------------------------------------------------------ 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/ ------------------------------------------------------------------------ The IPMU conference is organized every two years with the aim of bringing together scientists working on information processing and the management of the many aspects of uncertainty. It also serves as an ideal forum for the exchange of ideas between theoreticians and practitioners in these and related areas. The 2026 edition of IPMU will take place at the Faculty of Economics of Sapienza University of Rome, Italy, in the nearby of the University city of Rome and the main train stations (Termini and Tiburtina). It celebrates the 40th anniversary from the first edition of the conference that took place in Paris, France. The choice of Rome for this special occasion is not a case since Rome and Paris are exclusively and reciprocally twinned, starting from April 1956. Sapienza University of Rome is one of the oldest universities of the world, being it funded in 1303 by Pope Boniface VIII, and is the largest university in Europe. Due to its strategic position, the Faculty of Economics allows to easily reach the plethora of monuments, historic hot-spots and wonderful sightseeing places that awarded to Rome the name of the Eternal city. Get ready for discussing cutting-hedge research on methods for the management of uncertainty and aggregation in one of the most beautiful cities of the world. On behalf of the Organizing Committee of the 21st IPMU Conference, we invite researchers to submit original research contributions (theoretical, methodological, applications) on a specific topic within the scope of the conference which includes (but is not limited to) the following topics: Theory, Methods and Tools: Measures of Information and Uncertainty Bayesian and Probabilistic Methods Evidence, Possibility and Utility Theories Imprecise Probabilities Fuzzy, Rough, Intuitionistic, etc, Sets and operators Fuzzy Logic and other non-classical Logics Multiple Criteria Decision Methods Aggregation Methods Knowledge Acquisition, Representation and Reasoning Graphical Models Machine Learning Evolutionary Computation Neural Networks Data Analysis and Data Science. Application Fields: Big Data Smart Cities Image Processing Intelligent Systems and Information Processing, Logistics, Transportation and Routing Information Retrieval and Fusion Agents E-Health, Medicine and Bioinformatics Finance Fuzzy Optimization 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: 30 January 2026. **updated** * 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: 30 January 2026. **updated** * 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 EasyChair system, at the following link: https://easychair.org/my/conference?conf=ipmu2026 * Short papers can be submitted to one of the proposed special sessions or the general track of IPMU2026. * In EasyChair authors should take care to select the checkbox marking the submission as a short paper. * Short papers will be included in the regular conference program and Book of Abstracts and will be presented orally. * One full registration will allow acceptance of one short paper. Each additional accepted paper associated with the same registration will be subject to an additional fee. GRANTS AND AWARDS A number of student grants provided by EUSFLAT will be provided to support student participation at the conference. In addition, there shall be a number of awards for the best paper and best student paper at the conference. Information about these grants shall provided at the conference website in due course. IMPORTANT DATES Paper submission deadline: January 30, 2026 Notification of acceptance: February 28, 2026 Camera-ready versions: March 15, 2026 Conference: June 15-19, 2026 Contact: ipmu2026(a)sbai.uniroma1.it General Chair Barbara Vantaggi (Italy) Program Chairs Giulianella Coletti (Italy) Thierry Denoeux (France) Anne Laurent (France) Davide Petturiti (Italy) Publication Chair Enrique Miranda (Spain) Special Session Chair: Jesús Medina (Spain) Social Media Chairs Andrea Cinfrignini (Italy) Silvia Lorenzini (Italy) Executive Directors Bernadette Bouchon-Meunier (France) Ronald R. Yager (USA)

1 0

Re: [IUKM 2026] Call for Papers
by Kreinovich, Vladik Dec. 26, 2025

Dec. 26, 2025

FYI, imprecise probabilities are one of the highlighted topics -----Original Message----- From: Van Nam Huynh <huynh(a)jaist.ac.jp> Dear Colleagues and Friends, [Apologies for cross-posting. Your help in circulating this call for papers to potentially interested parties is highly appreciated.] ———————————————————————————————————————————————————— CALL FOR PAPERS --------------------------------------------------- IUKM 2026: The 12th International Symposium on INTEGRATED UNCERTAINTY in KNOWLEDGE MODELLING and DECISION MAKING 14 - 17 September 2026, Quy Nhon City, Vietnam Conference website: https://www.jaist.ac.jp/IUKM/IUKM2026/ Submission link: https://cmt3.research.microsoft.com/IUKM2026 Submission deadline: 15 March, 2026 --------------------------------------------------- IUKM 2026 marks the 12th edition of the International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making (IUKM). The symposium cordially invites proposals for special sessions and workshops. Relevant topics for IUKM 2026 include, but are not limited to, the following: --------------------------------------------------- Theory and Methodology: --------------------------------------------------- Uncertainty formalisms: Bayesian probability, Dempster-Shafer theory, imprecise probability, random sets, rough sets, fuzzy sets and interval methods Modelling uncertainty and inconsistency in big data Learning and reasoning with uncertainty Logics for reasoning under uncertainty Machine learning and deep learning Information fusion and knowledge integration in uncertain environments Decision making under various types of uncertainty Aggregation operators for decision making Copulas for dependence modelling Granular and soft computing Computational intelligence --------------------------------------------------- Application: --------------------------------------------------- Data mining and knowledge discovery Multi-agent reinforcement learning Ontology engineering and Semantic Web Privacy preserving data analysis Intelligent data analysis and modelling Agents and argumentation Natural language processing Medical informatics and bioinformatics Ranking and recommendation systems Big data and cloud computing Social network analysis and mining Sensor fusion System identification and modelling Diagnosis and reliability Decision support systems Kansei/affective engineering Service computing Engineering management Supply chain management Environmental management Economics and econometrics Statistics and Applications --------------------------------------------------- Paper Submission and Publication: The authors are invited to submit their full papers by 15 March, 2026. The submissions will be peer-reviewed for originality and scientific quality. As done in previous editions, the proceedings of IUKM 2026 will be published by Springer-Verlag in the Lecture Notes in Artificial Intelligence series, and be available at the Symposium. ----------------------------------------------------

1 0