[Hol-info] iFM 2019: Deadline Extension

=== CALL FOR PAPERS iFM 2019  15th International Conference on integrated Formal Methods    December 4-6, 2019 - Bergen, Norway http://ifm2019.hvl.no/

[Hol-info] WORDS 2019 - call for participation

[Apologies if you receive multiple copies of this message] == === *WORDS 2019 Call for PARTICIPATION* === == 12th International Conference on WORDS Loughborough, UK, September 9-13, 2019 http://words2019.lboro.ac.uk *REGISTRATION* is open:

[Hol-info] Is there any good web inteface for formally proven mathematical theorems that anyone can contribute to without manual proof review?

Hi there, I'm looking, for fun, for a website that anyone can publish their formal proofs to (HOL, Isabelle, Coq, etc.) The website would then, without any human verification, git clone the proof project from GitHub, run the proof, and show a web page saying "this was proved based on such and

[Hol-info] SEFM 2019 - Call for Participation

SEFM 2019 - Call for Participation 17th International Conference on Software Engineering and Formal Methods September 16-20, 2019, Oslo, Norway https://sefm2019.inria.fr/

[Hol-info] KTH announces 8 PhD student positions in cyber security

As part of a new defense-funded research centre, KTH Royal Institute of Technology has openings for up to 8 PhD student positions in the general area of cyber security, including (but not restricted to) topics such as provable security, secure systems architecture and design, language based