[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
-----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-----
