Quantified Bit Vectors and Synthesis

Description

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.

Period	17 Nov 2016
Event title	WAIT Workshop: The Third Workshop on Automated Inductive Theorem-Proving
Event type	Conference
Location	AustriaShow on map