[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
3rd Workshop on Automated Inductive Theorem Proving
23-24 March 2016, Vienna University of Technology, Austria
http://www.dmg.tuwien.ac.at/indws/
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 registration deadline
is 16 February 2016.
