[TYPES] Types and Theorem Proving
Mario.Frank at uni-potsdam.de
Tue Jul 2 04:40:22 EDT 2013
-----BEGIN PGP SIGNED MESSAGE-----
Dear list members,
I am a (nearly graduate) CS student at University of Potsdam (Germany).
Currently I am trying to focus my plans for my PhD. During the last
years, I was researching in the field of theorem proving and attended
the CADE ATP Systems Competition twice (IJCAR 2012 and CADE 24) .
Since theorem provers partially support typed logics, this mailing
list could be a good forum to get some impression of experiences with
In order to focus my plans for my PhD, I am trying to get some
impressions about the experiences of implementers and users of theorem
provers (interactive and automated) and theorem proving assistents
(e.g. preprocessors for theorem proving).
The scope is to collect some information about the use of theorem
provers and the strengths and weaknesses which are seen by users.
Also, usually missing functionalities and gaps are in my scope.
Thus, I created a small survey which I would like to distribute.
Surely, all information given are treated as confidential and no
informations about the people who filled-in the survey will be disclosed.
The survey can be found at:
Institute for Computer Science
University of Potsdam
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with undefined - http://www.enigmail.net/
-----END PGP SIGNATURE-----
More information about the Types-list