[UAI] TSD 2019 - Last Call for Papers

** TSD 2019 - LAST CALL FOR PAPERS ** The twenty-second International Conference on TEXT, SPEECH a

[UAI] PhD Position on Explainable Data Science using Formal Verification @Radboud University

Are you interested in improving the explainability of machine learning using formal verification? Are you interested in being a part of cutting edge research in cooperation with TNO and the iCIS institute at Radboud University, Nijmegen? Then apply for a PhD position within the EXoDuS project, w

[UAI] [CFP] @ IJCAI 19: 14th Intl. Workshop on Neural-Symbolic Learning and Reasoning

CALL FOR PAPERS 14th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy’19) In conjunction with IJCAI 2019 https://sites.google.com/view/nesy19/ Submission deadline: Apr 12, 2019 anywhere on earth Notification: May 10, 2019 Camera-ready paper due: May 24, 2019 IJCAI

[UAI] ICLP 2019 - Research Challenges in Logic Programming Track

The 35th International Conference on Logic Programming (ICLP 2019) Research Challenges in Logic Programming Track September 21-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ - Objectives Are you

[UAI] CFP AutoML @ ICML 2019

CALL FOR CONTRIBUTIONS The ICML 2019 Workshop on Automated Machine Learning (AutoML 2019) Collocated with ICML in Long Beach, June 14 or 15 (TBD), 2019 Web: http://icml2019.automl.org *Important Dates:* Submission deadline: 22 A