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.
ICFPT 2021: 15. International Conference on the Future of Proof Technology
aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of
the Future of Proof Technology.
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 the Future of Proof Technology
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 the Future of Proof Technology 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,
OpenAIRE,
BASE,
WorldCAT,
Sherpa/RoMEO,
and other index databases. Impact Factor Indicators.
Special Journal Issues
ICFPT 2021 has teamed up with the Special Journal Issue on
the Future of Proof Technology.
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.
Selected Papers
-
Lexicon-Based Sentiment Analysis for Stock Movement Prediction
Zane Turner, Kevin Labille, Susan Gauch
-
Thermal Performance of a Pair of Synthetic Jets Equipped in Microchannel
J. Mohammadpour, G. E. Lau, S. Cheng, A. Lee
-
Lexicon-Based Sentiment Analysis for Stock Movement Prediction
Zane Turner, Kevin Labille, Susan Gauch
-
Investigation of the Physical Computing in Computational Thinking Practices, Computer Programming Concepts and Self-Efficacy for Crosscutting Ideas in STEM Content Environments
Sarantos Psycharis
-
Conjugate Heat Transfer Analysis of a Combustion Chamber using ANSYS Computational Fluid Dynamics to Estimate the Thermocouple Positioning in a Chamber Wall
Muzna Tariq, Ihtzaz Qamar
-
The Analysis of Deceptive and Truthful Speech: A Computational Linguistic Based Method
Seham El Kareh, Miramar Etman
-
Numerical Investigation on the Interior Wind Noise of a Passenger Car
Liu Ying-jie, Lu Wen-bo, Peng Cheng-jian
-
Numerical Study of Bubbling Fluidized Beds Operating at Sub-atmospheric Conditions
Lanka Dinushke Weerasiri, Subrat Das, Daniel Fabijanic, William Yang
-
Electromagnetic Wave Propagation Equations in 2D by Finite Difference Method
N. Fusun Oyman Serteller
-
Computational Study of Blood Flow Analysis for Coronary Artery Disease
Radhe Tado, Ashish B. Deoghare, K. M. Pandey
-
Concept of a Pseudo-Lower Bound Solution for Reinforced Concrete Slabs
M. De Filippo, J. S. Kuang
-
Improving the Performance of Gas Turbine Power Plant by Modified Axial Turbine
Hakim T. Kadhim, Faris A. Jabbar, Aldo Rona, Audrius Bagdanaviciu
-
Characterisation of Wind-Driven Ventilation in Complex Terrain Conditions
Daniel Micallef, Damien Bounaudet, Robert N. Farrugia, Simon P. Borg, Vincent Buhagiar, Tonio Sant
-
Quantification of Aerodynamic Variables Using Analytical Technique and Computational Fluid Dynamics
Adil Loya, Kamran Maqsood, Muhammad Duraid
-
Teaching Computer Programming to Diverse Students: A Comparative, Mixed-Methods, Classroom Research Study
Almudena Konrad, Tomás Galguera
Digital Program consists of the e-proceedings book which is available online-only
and includes the conference communications (proceedings abstracts and papers).
Registered participants can access the digitally available conference
proceedings ( and certificates ) by visiting their profile pages.
Proof technology and computation
Information-intensive proof technology
Proof theory and verification
Computability, complexity, and termination
Automata and logic-based systems design
Computer algebra
Modern computer algebra
Algorithmic and computational aspects of computer algebra
The improvement and optimization of the existing algorithms and methods
Deep computer analysis of algebraic models
Markov process modeling
Quantum algorithms modeling
Investigation of difference schemes of an arbitrary order
Analysis of text data of huge volume
Computational discovery in mathematics
Computationally assisted mathematical discovery
Mathematical knowledge and discoveries
Experimental mathematics
Visualization
Mathematical explorations
Meta-mathematical knowledge
Discovery in pure mathematics
Computer algebra systems
Automated theorem proving
Mathematical databases
| Abstracts/Full-Text Paper Submission Deadline |
|
February 15, 2021 |
| Notification of Acceptance/Rejection |
|
March 01, 2021 |
| Final Paper (Camera Ready) Submission & Early Bird Registration Deadline |
|
February 21, 2021 |
| Conference Dates |
|
March 22-23, 2021 |
| Branka Marasovic |
Faculty of Economics, University of Split, Croatia |
| Rozlan Alias |
Tun Hussein Onn University of Malaysia, MY |
| K. Sivakumar Krishnamoorthy |
Sri Chandrasekharendra Saraswathi Viswa Mahavidyalaya University, IN |
| Michal Cerny |
University of Economics, Prague / Czech Technical University, CZ |
| Jiri Kala |
Brno University of Technology, CZ |
| John Kaiser Calautit |
University of Leeds, UK |
| Ali Al-Sherbaz |
The University of Northampton, UK |
| Xiangming Zhou |
Brunel University, UK |
| Konstantin Volkov |
Kingston University, UK |
| Valente Hernandez Perez |
Nottingham University, UK |
| Huseyin Seker |
De Montfort University, UK |
| John Chiverton |
University of Bristol, UK |
| Xin-She Yang |
University of Cambridge, UK |
| Ahmad Lotfi |
Nottingham Trent University, UK |
| Behnam Ahmadikia |
University of California, Santa Barbara, US |
| Tarek Belgasam |
Honda R&D America, US |
| Zhixuan Cao |
ANSYS Inc., US |
| Irina K. Tezaur |
Sandia National Laboratories, US |
| Bo Jin |
Air Products, US |
| Kyung-Hoon Lee |
Chowan University, US |
| Kiran Kumar Bandeli |
University of Arkansas at Little Rock, US |
| Habibolla Latifizadeh |
West Virginia University, US |
| Zhenlu Cui Cui |
Fayetteville State University, US |
| Samuel Md Oliveira |
Boston University, US |
| Reza Yaghmaie |
OnScale Inc., US |
| Christos Kastrisios Kastrisios |
University of New Hampshire / CCOM-JHC, US |
| Imane Khalil |
University of San Diego, US |
| Wen Zhang |
Icahn school of medicine at Mount Sinai, US |
| Harshavardhan Achrekar |
University of Massachusetts Lowell, US |
| Farhana Afroz |
Virginia Tech, US |
| Participation Type |
Early Registration Ticket Fees |
Registration Ticket Fees |
| Non-Student Oral/Poster Presenter Registration |
€ 450 |
€ 500 |
| Student Oral/Poster Presenter Registration |
€ 350 |
€ 400 |
| Listener Registration |
€ 250 |
€ 300 |
| Additional Paper Publication |
€ 100 |
All conference materials and services will be delivered digitally to the participant with the online conference management system.
Conference registration includes the following digital materials and services:
- e-certificates [for Authors: Certificate of Attendance and Presentation; for Listeners: Certificate of Attendance; for Chairs: Certificate of Attendance and Appreciation; for Presenters: Certificate of Best Presentation (if conferred based appraisal)]
- e-program
- e-book
- e-name badge
- e-receipt
- e-presentation
Presentation Types:
-
Physical presentation is an oral conferencing presentation that is made using digital technology including embedded digital elements ( texts, tables, graphs, or videos ) for PowerPoint sharing.
-
Digital presentation is a digital conferencing presentation that is made using digital technology including embedded digital elements ( texts, tables, graphs, or videos ) for PowerPoint sharing.
Early Bird Registration
Early Bird registration was valid until 2021-02-21 23:59:59
Online Credit Card Processing
Online payment option available for author
and listener delegates.
Conference participants can make online credit card payments for conference registration fees.
