ICCM 2025: 19. International Conference on Computer Mathematics
September 20-21, 2025 in Lisbon, Portugal
The International Research Conference Aims and Objectives
The International Research Conference is a federated organization dedicated to bringing together a significant number of diverse scholarly events for presentation within the conference program. Events will run over a span of time during the conference depending on the number and length of the presentations. With its high quality, it provides an exceptional value for students, academics and industry researchers.
International Conference on Computer Mathematics aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of Computer Mathematics. It also provides a premier interdisciplinary platform for researchers, practitioners and educators to present and discuss the most recent innovations, trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of Computer Mathematics.
Call for Contributions
Prospective authors are kindly encouraged to contribute to and help shape the conference through submissions of their research abstracts, papers and e-posters. Also, high quality research contributions describing original and unpublished results of conceptual, constructive, empirical, experimental, or theoretical work in all areas of Computer Mathematics are cordially invited for presentation at the conference. The conference solicits contributions of abstracts, papers and e-posters that address themes and topics of the conference, including figures, tables and references of novel research materials.
Guidelines for Authors
Please ensure your submission meets the conference's strict guidelines for accepting scholarly papers. Downloadable versions of the check list for Full-Text Papers and Abstract Papers.
Please refer to the Paper Submission Guideline, Abstract Submission Guideline and Author Information before submitting your paper.
Conference Proceedings
All submitted conference papers will be blind peer reviewed by three competent reviewers. The peer-reviewed conference proceedings are indexed in the Open Science Index, Google Scholar, Semantic Scholar, Zenedo, BASE, WorldCAT, Sherpa/RoMEO, and other index databases. Impact Factor Indicators.
Special Journal Issues
19. International Conference on Computer Mathematics has teamed up with the Special Journal Issue on Computer Mathematics. A number of selected high-impact full text papers will also be considered for the special journal issues. All submitted papers will have the opportunity to be considered for this Special Journal Issue. The paper selection will be carried out during the peer review process as well as at the conference presentation stage. Submitted papers must not be under consideration by any other journal or publication. The final decision for paper selection will be made based on peer review reports by the Guest Editors and the Editor-in-Chief jointly. Selected full-text papers will be published online free of charge.
Conference Sponsor and Exhibitor Opportunities
The Conference offers the opportunity to become a conference sponsor or exhibitor. To participate as a sponsor or exhibitor, please download and complete the Conference Sponsorship Request Form.
Application Forms
Selected Papers
-
A Study on the Application of Machine Learning and Deep Learning Techniques for Skin Cancer Detection
Hritwik Ghosh, Irfan Sadiq Rahat, Sachi Nandan Mohanty, J. V. R. Ravindra, Abdus Sobur -
Using Historical Data for Stock Prediction of a Tech Company
Sofia Stoica -
Identifying Autism Spectrum Disorder Using Optimization-Based Clustering
Sharifah Mousli, Sona Taheri, Jiayuan He -
Climate Change in Albania and Its Effect on Cereal Yield
L. Basha, E. Gjika -
A Text Classification Approach Based on Natural Language Processing and Machine Learning Techniques
Rim Messaoudi, Nogaye-Gueye Gning, François Azelart -
PredictionSCMS: The Implementation of an AI-Powered Supply Chain Management System
Ioannis Andrianakis, Vasileios Gkatas, Nikos Eleftheriadis, Alexios Ellinidis, Ermioni Avramidou -
Safe and Efficient Deep Reinforcement Learning Control Model: A Hydroponics Case Study
Almutasim Billa A. Alanazi, Hal S. Tharp -
AI-Driven Cloud Security: Proactive Defense Against Evolving Cyber Threats
Ashly Joseph -
Accelerating Quantum Chemistry Calculations: Machine Learning for Efficient Evaluation of Electron-Repulsion Integrals
Nishant Rodrigues, Nicole Spanedda, Chilukuri K. Mohan, Arindam Chakraborty -
Imputing Missing Data in Electronic Health Records: A Comparison of Linear and Non-Linear Imputation Models
Alireza Vafaei Sadr, Vida Abedi, Jiang Li, Ramin Zand -
Unveiling the Mathematical Essence of Machine Learning: A Comprehensive Exploration
Randhir Singh Baghel -
Comparison of Machine Learning Techniques for Single Imputation on Audiograms
Sarah Beaver, Renee Bryce -
Metrology-Inspired Methods to Assess the Biases of Artificial Intelligence Systems
Belkacem Laimouche -
Harnessing the Power of AI: Transforming DevSecOps for Enhanced Cloud Security
Ashly Joseph, Jithu Paulose -
Data Privacy and Safety with Large Language Models
Ashly Joseph, Jithu Paulose
Conference venue information will be released soon.
Numerical solution of systems or of multi-dimensional partial differential equations
Nonlocal modelling and computations
Multi-scale modelling
Quantum computing
Imaging configurations
Stochastic differential systems and uncertainty quantification
Highly vibrant and robust algorithms
Automated theorem proving
First-order logic and automated theorem proving
Machine learning and automated theorem proving
Automated theorem proving in computer algebra systems
Computer algebra in theorem proving systems
Case studies and applications that involve a mix of computation and reasoning
Representation of mathematics in computer algebra systems
Adding computational capabilities to theorem proving systems
Adding reasoning capabilities to computer algebra systems
Combining methods of symbolic computation and formal deduction
Theory, design and implementation of interdisciplinary systems for computer mathematics
Theory exploration techniques
Case studies in formalization of mathematical theories
Input languages, programming languages, types and constraint languages, and modeling languages for mechanized mathematics systems (PA, CAS, and ATP)
Infrastructure for mathematical services.
Natural deduction
Sequent calculus
Focused derivations
The inverse method
Labeled deduction
Abstracts/Full-Text Paper Submission Deadline | January 15, 2025 | |
Notification of Acceptance/Rejection | January 31, 2025 | |
Final Paper (Camera Ready) Submission & Early Bird Registration Deadline | August 19, 2025 | |
Conference Dates | September 20-21, 2025 |
Other Conferences
September 2026 in Lisbon
- Conference Code: 26PTLI09ICCM082
- Abstract/Full-Text Paper Submission: February 13, 2025
- Notification of Acceptance/Rejection: February 27, 2025
- Final Paper and Early Bird Registration: August 19, 2026
- Conference Date: September 20-21, 2026
- Conference Program