[Hol-info] TPTP v7.3.0 released

The TPTP Problem Library, Release v7.3.0 Geoff Sutcliffe Dep't of Computer Science,

[Hol-info] FMCAD 2019 Call for Participation

CALL FOR PARTICIPATION International Conference on Formal Methods in Computer-Aided Design (FMCAD) Hyatt Place San Jose Downtown, San Jose, California, USA, Oct 22 - 25, 2019 For program and registration, see: https://fmcad.forsyte.at/FMCAD19/ IMPORTANT DATES Early Registration deadline: Oct

[Hol-info] Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS'19 -- an ICFEM event)

--- Call for Papers FTSCS 2019 7th International Workshop on Formal Techniques for Safety-Critical Systems Shenzhen, China, November, 9, 2019

[Hol-info] FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal

# FMTea19 - CALL FOR PARTICIPATION Formal Methods Teaching Workshop and Tutorial - FMTea19 Porto, October 7, 2019 https://fmtea.github.io/ Affiliated with the 3rd World Congress on Formal Methods FMTea19 aims to share experiences of teaching

[Hol-info] AIIA 2019 Doctoral Consortium

Students are invited to apply for admission to the Doctoral Consortium to be held at the the AIIA 2019 conference which will take place in Rende, from the 19th to the 22nd of November 2019. Submission Deadline: September 15th, 2019 The AIIA 2019 Doctoral Consortium provides an opportunity for

[Hol-info] GCAI 2020, Hangzhou, China - Call for Papers

6th Global Conference on Artificial Intelligence GCAI 2020, Hangzhou, China, 6-9 April 2020 http://www.gcai-2020.info/ The 6th Global Conference on Artificial Intelligence (GCAI 2020) will be held in Hangzhou,