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

Submit Your Paper- Short Name:
**ICITPCAS** - Event Type:
**Conference** - Website URL:
**https://waset.org/interactive-theorem-proving-and-computer-algebra-systems-conference-in-june-2020-in-istanbul** - Contact URL:
**https://panel.waset.org/Support** - Location:
**Istanbul, Turkey** - Date:
**June 25-26, 2020** - Final Submission:
**May 27, 2020** - Notification:
**December 17, 2019** - Organization:
**World Academy of Science, Engineering and Technology** - Conference Tags: algebra computer

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

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

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 |