[Hol-info] NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium

The Eleventh NASA Formal Methods Symposium https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html    7 - 9 May 2019     Rice University, Houston, Texas, USA * No regis

[Hol-info] 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/ --

[Hol-info] [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 premier

[Hol-info] 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 impa