Call for Participation
---
15th International Conference on
Logic Programming and Non-monotonic Reasoning
LPNMR 2019
https://sites.sju
[ 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
Call for Participation
---
15th International Conference on
Logic Programming and Non-monotonic Reasoning
LPNMR 2019
https://sites.sju
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