6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE
University of Notre Dame, 24--27 July 2018
http://icms-conference.org/2018/
CALL FOR SESSIONS
===
The 6th International Congress on Mathematical Software will be held
CALL FOR PAPERS
CAV 2018: The 30th International Conference on Computer Aided Verification
July 14-17 2018, Oxford, UK, Part of the Federated Logic Conference, FLoC 2018
http://cavconference.org/2018/
http://floc2018.org
IMPORTANT DATES:
Paper submission deadline: January 31, 2018 (firm)
CALL FOR PAPERS
The 9th International Joint Conference on Automated Reasoning, IJCAR 2018
Oxford, UK, July 14-17, 2018. http://www.ijcar2018.org
Part of The Federated Logic Conference, FLoC 2018,
Oxford, UK, July 6-19, 2018.
ARES 2018 - CALL FOR PAPERS
**
The 13th International Conference on Availability, Reliability and Security
(ARES 2018)
August 27 - August 30, 2018, Hamburg, Germany
http://www.ares-conference.eu
[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
