[Hol-info] iFM 2019: Deadline Extension

2019-07-15 Thread Kristin Yvonne Rozier
=== 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

2019-07-15 Thread Words 2019
[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?

2019-07-15 Thread Ciro Santilli
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

2019-07-15 Thread Lina Marsso
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

2019-07-15 Thread Roberto Guanciale
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