[Hol-info] Postdoc positions in automatic and interactive theorem proving, apply before December 3, 2020

Two postdoc positions in automatic and interactive theorem proving in dependent type theory (we are using Coq currently) will be opened with a starting date September 1, 2021 at IHES, France See details and apply before the deadline December 3, 2020

[Hol-info] Announcing the release of PVS 7.1.

Hi All, We are pleased to announce the release of PVS version 7.1. This has many new features; read the release notes for details. Here we list a summary of the highlights. - The http://pvs.csl.sri.com web site has been updated, with a more modern look, and simplified access to the

[Hol-info] [fm-announcements] NASA Formal Methods Symposium (NFM2021) -- Final CFP (Extended Deadline)

**     Final Call for Papers -- Extended Deadline    The Thirteenth NASA Formal Methods Symposium   https://shemesh.larc.nasa.gov/nfm2021/ May 24-28, 2021    Virtual / Norfolk, VA, USA

[Hol-info] [fm-announcements] Release of NASA PVS Library v7.1

The Formal Methods Team at NASA Langley Research Center and the National Institute of Aerospace is pleased to announce the release of the NASA PVS Library (NASALib) v7.1 (https://github.com/nasa/pvslib). NASALib v7.1 is fully compatible with PVS 7.1 (https://pvs.csl.sri.com), the recently

[Hol-info] CADE-28: Call for Tutorials

CADE-28: Call for Tutorials The 28th International Conference on Automated Deduction (CADE-28) Carnegie Mellon University, Pittsburgh, USA. 11-16th July 2021. http://www.cade-28.info CADE will carefully monitor the development of the COVID-19 pandemic, and take guidance from the health