Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] 3rd Workshop on Automated Inductive Theorem Pr...


view this post on Zulip Email Gateway (Aug 22 2022 at 12:01):

From: Stefan Hetzl <hetzl@logic.at>
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.

view this post on Zulip Email Gateway (Aug 22 2022 at 12:44):

From: Stefan Hetzl <hetzl@logic.at>
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 deadline for
registration and talk submission is 16 February 2016.


Last updated: Mar 28 2024 at 20:16 UTC