Thursday, November 17, 2016
More info here.
Inductive theorem proving is a topic of growing interest in the automated reasoning community. The Third Workshop on Automated Inductive Theorem-Proving – WAIT focuses on all relevant aspects of inductive reasoning.
The workshop is an informal event and aims to give researchers interested in the topic a chance to meet, exchange ideas and have an active platform for discussions.
We invite talks featuring demos and tutorials of inductive theorem provers, challenge problems, new directions of research or anything else of interest to the inductive theorem proving community.