[Hol-info] LPNMR 2019 Final Call for Papers ** DEADLINE EXTENSION **

Call for Participation --- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 https://sites.sju

[Hol-info] Verification Mentoring Workshop 2019: Scholarships

Verification Mentoring Workshop 2019: Call for scholarship applications Verification Mentoring Workshop (VMW 2019) http://i-cav.org/2019/mentoring/ co-located with CAV 2019 13 July 2019 New York City, USA APPLICATIONS FOR TRAVEL SCHOLARSHIPS We warmly invite eligible students to apply for trave

[Hol-info] CFP: 1st Workshop on Formal Methods for Blockchains (FMBC) 2019

[ Please distribute, apologies for multiple postings. ] == 1st Workshop on Formal Methods for Blockchains (FMBC) 2019 https://sites.google.com/view/fmbc/home Porto, Portugal, October 11 Part of the 3rd World Congress on Formal Methods htt

[Hol-info] LPNMR 2019 CALL FOR PARTICIPATION

Call for Participation --- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 https://sites.sju