==
RuleML+RR 2018 SECOND CALL FOR PAPERS
RuleML+RR 2018: International Joint Conference on Rules and Reasoning
http://2018.ruleml-rr.org
Part of Luxembourg Logic for AI Summit (LuxLogAI, https://luxlogai.uni.lu)
==
-
Call for Participation: NFM 2018
-
Tenth NASA Formal Methods Symposium
30 Years of Formal Methods at NASA
April 17-19, Newport News, VA, USA
https://shemesh.larc.nasa.gov/NFM2018/
Celebrating 30 years of formal met
*** Apologies for multiple copies ***
C a l l F o r P a p e r s
Workshop on Industrial Internet of Things Security (WIIoTS)
Bilbao, Spain, June 4-7, 2018 (in conjunction with Global IoT Summit
2018)
http://globaliotsummit.org/sites/default/files/WIIoTS-2018.pdf
Submission due: Feb
[Apologies, if you receive multiple copies of this CFP]
CALL FOR POSTERS
**
6th IEEE Conference on Communications and Network Security (CNS 2018)
30 May - 1 June 2018, Beijing, China
http://cns2018.ieee-cns.org
*
FLoC 2018 — The 2018 Federated Logic Conference
6-19 July 2018
Oxford, England UK
http://www.floc2018.org/workshops
The seventh Federated Logic Conference (FLoC'18) will be held in
Oxford, UK, in July 2018, at the Mathematical Institute and the
Blavatnik School of Government at the University of O