[Om-announce] [ECAI2020] Preliminary CFP 24th European Conference on Artificial Intelligence. 8-12 June 2020. Santiago de Compostela, Spain.

** Apologies for cross-postings ** 24th European Conference on Artificial Intelligence (ECAI 2020) Santiago de Compostela, June 8-12 2020 www.ecai2020.eu PRELIMINARY CALL FOR PAPERS The biennial European Conference on Artificial Intelligence (ECAI) is Europe's

[Om-announce] CFP: ICLP 2019 - Research Challenges in Logic Programming Track

Apologies for cross-posting - Please forward to anybody who might be interested The 35th International Conference on Logic Programming (ICLP 2019) Research Challenges in Logic Programming Track September 20–25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/

[Om-announce] CFP: ICLP 2019 - Special Session: Women in Logic Programming

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] EXTENDED DEADLINE: CAUSAL 2019 Call for Papers (co-located with LPNMR 2019)

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] Workshop on Causal Reasoning and Explanation in Logic Programming NEW DEADLINE: April 28th 2019 CALL FOR PAPERS - EXTENDED DEADLINE *** CAUSAL 2019

[Om-announce] VTSA 2019 -- Call for applications

UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2019) July 1-5, 2019, Belval, Luxembourg The summer school on verification technology, systems & applications focuses on fundamental aspects of verification techniques, their implementation, and their use for concrete

[Om-announce] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0"

*** Apologies for multiple copies *** C a l l F o r P a p e r s IEEE TRANSACTION ON INDUSTRIAL INFORMATICS Special Section: Security and Privacy in Industry 4.0 URL:

[Om-announce] Fewer train delays via formal methods? Exciting PhD position at University of Twente, the Netherlands

*Are you fed up with train delays and rail disruptions? *Come join us to improve the quality of the design and implementation of railroad elements (e.g. interlockings and signalling systems), via model checking and model-based testing. The University of Twente has a PhD opening on the FormaSig