ITP2019: Interactive Theorem Proving: Tenth International Conference

Страна: США

Город: Portland

Тезисы до: 31.03.2019

Даты: 10.09.19 — 13.09.19

Область наук: Физико-математические;

Е-мейл Оргкомитета:

Организаторы: Portland State University


ITP 2019 is the tenth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects to applications in program verification, security, and formalization of mathematics. It will take place in Portland, Oregon in September 2019.

ITP welcomes submissions describing original research on all aspects of interactive theorem proving and its applications. Suggested topics include, but are not limited to, the following:

  • formal aspects of hardware and software formalizations of mathematics
  • improvements in theorem prover technology
  • integration with automated provers and other symbolic tools
  • user interfaces for interactive theorem provers
  • 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 (proof pearls)

Веб-сайт конференции:

Конференции по теме - с близкими дедлайнами: