[Om-announce] CFP - ICLP 2019 (Special Session: Women in Logic Programming ) - updated deadlines

Apologies for cross-posting - Please forward to anybody who might be interested The 35th International Conference on Logic Programming (ICLP 2019) Special Session: Women in Logic Programming === This special session aims to increase the visibility and

[Om-announce] QBF 2019 - second call for papers

[We apologize if you receive multiple copies of this call] -- CALL FOR PAPERS QBF 2019 International Workshop on Quantified Boolean Formulas and Beyond

[Om-announce] CFP: AdHoc-Now 2019 (18th International Conference on Ad Hoc Networks, and Wireless) Luxembourg, October 2019, LNCS proceedings

[apologies for cross-posting] -- CALL FOR PAPERS 18th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now 2019) Luxembourg, 1-3 October 2019 Web: http://www.adhocnow2019.lu --- IMPORTANT DATES: - Abstract

[Om-announce] CFP: WPES 2019 (Workshop on Privacy in the Electronic Society), London, UK - November 11, 2019, held in conjunction with the ACM CCS 2019

[apologies for cross-posting] CALL FOR PAPERS Workshop on Privacy in the Electronic Society (WPES 2019) London, UK - November 11, 2019 http://wpes.tech/ The

[Om-announce] SEFM 2019 - Final CfP with Extended Deadlines

- Final Call for Papers SEFM 2019 17th International Conference on Software Engineering and Formal Methods Oslo, Norway, September 16-20, 2019

[Om-announce] ARES 2019 - Call for Workshop Paper

ARES 2019 - CALL FOR WORKSHOP PAPER ** The 14th International Conference on Availability, Reliability and Security (ARES 2019) August 26 - August 29, 2019, University of Kent, Canterbury, UK