Open Science Research Excellence

ICCASPA 2020 : International Conference on Computer Algebra Systems and Proof Assistants

New York, USA
January 30 - 31, 2020

Conference Code: 20US01ICCASPA

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

ICCASPA 2020 has teamed up with the Special Journal Issue on Computer Algebra Systems and Proof Assistants. 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   August 29, 2019
Notification of Acceptance/Rejection   September 10, 2019
Final Paper (Camera Ready) Submission & Early Bird Registration Deadline   December 26, 2019
Conference Dates   January 30 - 31, 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) A Mixed Method Investigation of the Impact of Practicum Experience on Mathematics Female Pre-Service Teachers’ Sense of Preparedness
Fatimah Alsaleh, Glenda Anthony
2) Motivational Orientation of the Methodical System of Teaching Mathematics in Secondary Schools
M. Rodionov, Z. Dedovets
3) The Use of Different Methodological Approaches to Teaching Mathematics at Secondary Level
M. Rodionov, N. Sharapova, Z. Dedovets
4) Developing Proof Demonstration Skills in Teaching Mathematics in the Secondary School
M. Rodionov, Z. Dedovets
5) Limits Problem Solving in Engineering Careers: Competences and Errors
Veronica Diaz Quezada
6) Development of Active Learning Calculus Course for Biomedical Program
Mikhail Bouniaev
7) Multivariate Assessment of Mathematics Test Scores of Students in Qatar
Ali Rashash Alzahrani, Elizabeth Stojanovski
8) Leveraging Reasoning through Discourse: A Case Study in Secondary Mathematics Classrooms
Cory A. Bennett
9) The Competence of Solving Mathematical Problems in the Formation of Ethical Values
Veronica Diaz Quezada
10) Evaluating the Perception of Roma in Europe through Social Network Analysis
Giulia I. Pintea
11) Sfard’s Commognitive Framework as a Method of Discourse Analysis in Mathematics
Dong-Joong Kim, Sangho Choi, Woong Lim
12) Electoral Mathematics and Asymmetrical Treatment to Political Parties: The Mexican Case
Verónica Arredondo, Miguel Martínez-Panero, Teresa Peña, Victoriano Ramírez
13) Students Perceptions on the Relevance of High School Mathematics in University Education in South Africa
Gilbert Makanda, Roelf Sypkens
14) Practical Problems as Tools for the Development of Secondary School Students’ Motivation to Learn Mathematics
M. Rodionov, Z. Dedovets
15) Evaluation of Introductory Programming Course for Non-Computer Science Majored Students
H. Varol

Similar conferences about Mathematical and Computational Sciences