Open Science Research Excellence

ICPTM 2020 : International Conference on Proof Technologies and Mathematics

Barcelona, Spain
March 5 - 6, 2020

Conference Code: 20ES03ICPTM

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, OpenAIRE, BASE, WorldCAT, Sherpa/RoMEO, and other index databases. Impact Factor Indicators.

Special Journal Issues

ICPTM 2020 has teamed up with the Special Journal Issue on Proof Technologies and 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.

Important Dates

Abstracts/Full-Text Paper Submission Deadline   July 1, 2019
Notification of Acceptance/Rejection   July 16, 2019
Final Paper (Camera Ready) Submission & Early Bird Registration Deadline   February 10, 2020
Conference Dates   March 5 - 6, 2020

Important Notes

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 GUIDE before submitting your paper.

Selected Conference Papers

1) The Analysis of Deceptive and Truthful Speech: A Computational Linguistic Based Method
Seham El Kareh, Miramar Etman
2) Computational Study of Blood Flow Analysis for Coronary Artery Disease
Radhe Tado, Ashish B. Deoghare, K. M. Pandey
3) Concept of a Pseudo-Lower Bound Solution for Reinforced Concrete Slabs
M. De Filippo, J. S. Kuang
4) Improving the Performance of Gas Turbine Power Plant by Modified Axial Turbine
Hakim T. Kadhim, Faris A. Jabbar, Aldo Rona, Audrius Bagdanaviciu
5) Characterisation of Wind-Driven Ventilation in Complex Terrain Conditions
Daniel Micallef, Damien Bounaudet, Robert N. Farrugia, Simon P. Borg, Vincent Buhagiar, Tonio Sant
6) Quantification of Aerodynamic Variables Using Analytical Technique and Computational Fluid Dynamics
Adil Loya, Kamran Maqsood, Muhammad Duraid
7) Teaching Computer Programming to Diverse Students: A Comparative, Mixed-Methods, Classroom Research Study
Almudena Konrad, Tomás Galguera
8) An Automated Approach to the Nozzle Configuration of Polycrystalline Diamond Compact Drill Bits for Effective Cuttings Removal
R. Suresh, Pavan Kumar Nimmagadda, Ming Zo Tan, Shane Hart, Sharp Ugwuocha
9) The Creative Unfolding of “Reduced Descriptive Structures” in Musical Cognition: Technical and Theoretical Insights Based on the OpenMusic and PWGL Long-Term Feedback
Jacopo Baboni Schilingi
10) Numerical Investigation of Pressure Drop and Erosion Wear by Computational Fluid Dynamics Simulation
Praveen Kumar, Nitin Kumar, Hemant Kumar
11) Numerical Study of Effects of Air Dam on the Flow Field and Pressure Distribution of a Passenger Car
Min Ye Koo, Ji Ho Ahn, Byung Il You, Gyo Woo Lee
12) Computational Fluid Dynamics Simulation and Comparison of Flow through Mechanical Heart Valve Using Newtonian and Non-Newtonian Fluid
D. Šedivý, S. Fialová
13) Movie Genre Preference Prediction Using Machine Learning for Customer-Based Information
Haifeng Wang, Haili Zhang
14) All-or-None Principle and Weakness of Hodgkin-Huxley Mathematical Model
S. A. Sadegh Zadeh, C. Kambhampati
15) CFD Simulation for Air-Borne Infection Analysis in AII-Room
Young Kwon Yang, In Sung Kang, Jung Ha Hwang, Jin Chul Park

Similar conferences about Mathematical and Computational Sciences