[UAI] [Vardi-list] Advanced Winter School on Formal Verification

2017-09-20 Thread Moshe Vardi
Date: December 17 - December 21, 2017 Location: Israelli Institute for Advanced Studies, Hebrew University, Jerusalem, Israel Details: http://ias.huji.ac.il/CSE2 Registration: http://ias.huji.ac.il/content/application-form-cse2 Program: http://ias.huji.ac.il/sites/default/files/CSE2Prog

[UAI] AISTATS 2018 Call for Papers

2017-09-20 Thread Amos Storkey
AISTATS 2018 Call for Papers http://www.aistats.org/ AISTATS is an interdisciplinary gathering of researchers at the intersection of computer science, artificial intelligence, machine learning, statistics, and related areas. Since its inception in 1985, the primary goal of AISTATS has been to

[UAI] CFP: 6th Workshop on Automated Knowledge Base Construction at NIPS17

2017-09-20 Thread Jay Pujara
AKBC 2017 6th Workshop on Automated Knowledge Base Construction (AKBC) at NIPS 2017 December 8, 2017, Long Beach, California http://www.akbc.ws Knowledge Base Construction Extracting knowledge from text, images, and video and translating these extractions into a coherent, structured knowledge b

[UAI] [AAMAS18] - 1st Call for Tutorials

2017-09-20 Thread Jordi Sabater-Mir
*** Call for Tutorials AAMAS 2018: July 10-15, 2018 in Stockholm *** http://aamas18.ifaamas.org The AAMAS 2018 Organizing Committee invites proposals for the Tutorial Program to be hel