[TYPES/announce] 3rd Workshop on Automated Inductive Theorem Proving - Call for Contributions

Stefan Hetzl stefan.hetzl at tuwien.ac.at
Mon Feb 1 05:34:07 EST 2016

3rd Workshop on Automated Inductive Theorem Proving
23-24 March 2016, Vienna University of Technology, Austria

Inductive theorem proving is a topic of growing interest in the
automated reasoning community. This workshop aims to give researchers
interested in the topic a chance to meet, exchange ideas and perhaps
also try out some of the available theorem provers. We would like to
invite talks featuring demos and tutorials of inductive theorem
provers, challenging problems, new directions of research or anything
else of interest to the inductive theorem proving community.

Participation will be free of charge but we ask you to register on our
website http://www.dmg.tuwien.ac.at/indws/. The deadline for
registration and talk submission is 16 February 2016.

More information about the Types-announce mailing list