[TYPES] Types and Theorem Proving

[Mario Frank]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

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
theorem provers.

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:
http://apache.cs.uni-potsdam.de/de/profs/ifi/theorie/deduction/theorem-proving-survey

Sincerly,
Mario Frank
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/

iQEcBAEBAgAGBQJR0pH2AAoJEDnmHcItIfWECKgH/0tonQZxQjp4SqHV0vzgAdiw
5+iR6HLraTLrUnwyy2w9NuW5ehlU3a6tIzOOnhWGptmU1kC2Gqvi9EdW4dK3UiFq
W3/8Mk+wPF/ED+5WOHg7j68m5MbtiZ1tPpZwwCjoAYIwJZkCb2fa/hqZ++9y9pZM
LnPo/JkbFfyuGL07DBAMJi+Mu4jfCcfvqkiQwmv4NR1xrTu1D9BW9FbqtdW+FHR5
XBXlfssZXfu2fr/uL7EhaCE/Hve1MjSatynmmkehHOamcGweFEy9sYlSuPBLHk82
9Loev+XNTLgsi0zn47ZuMx3Tw+xR49UH4JVDbtPEZZUmVfRR71dBaTUmTR7gdpc=
=czfi
-----END PGP SIGNATURE-----