International Conference on Interactive Theorem Proving and Computer Algebra Systems ICITPCAS on June 25-26, 2020 in Istanbul, Turkey

Submit Your Paper
International Conference on Interactive Theorem Proving and Computer Algebra Systems (ICITPCAS) June 25, 2020 - Istanbul, Turkey
Interactive theorem proving
Interactive theorem proving systems and technologies
Cloud-based interactive theorem proving systems
Formal aspects of hardware and software
Formalizations of mathematics
Improvements in theorem prover technology
User interfaces for interactive theorem prover
Formalizations of computational models
Verification of security algorithms
Use of theorem provers in education
Industrial applications of interactive theorem provers
Concise and elegant worked examples of formalizations
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

Name: World Academy of Science, Engineering and Technology
Website: https://waset.org/
Address: UAE

World Academy of Science, Engineering and Technology is a federated organization dedicated to bringing together a significant number of diverse scholarly events for presentation within the conference program.
Description Price Date
Presenter Sign Up Fee EUR 350.00 Before May 27, 2020
Listener Sign Up Fee EUR 250.00 Before May 27, 2020