[Hol-info] [fm-announcements] RV 2017 - 2nd Call for Participation

2017-08-09 Thread Havelund, Klaus (348B)
CALL FOR PARTICIPATION RV’17 - RUNTIME VERIFICATION 2017 The 17th International Conference on Runtime Verification September 13-16 2017, Seattle, WA, USA Website: http://rv2017.cs.manchester.ac.uk Program: http://easychair.org/smart-program/RV2017/ Af

[Hol-info] TPTP v7.0.0 and CASC-26

2017-08-09 Thread geoff
The TPTP Problem Library, Release v7.0.0 Geoff Sutcliffe Dep't of Computer Science, Universi