[UAI] [fm-announcements] NASA Formal Methods Symposium (NFM2021) -- Final CFP (Extended Deadline)

2020-11-25 Thread Munoz, Cesar (LARC-D320) via fm-announcements
**     Final Call for Papers -- Extended Deadline    The Thirteenth NASA Formal Methods Symposium   https://shemesh.larc.nasa.gov/nfm2021/ May 24-28, 2021    Virtual / Norfolk, VA, USA

[UAI] Doctoral fellowships in mathematics, theoretical computer science, mathematical and theoretical physics

2020-11-25 Thread EIMI SPb
Title: Doctoral fellowships in mathematics, theoretical computer science, mathematical and theoretical physics Doctoral fellowships in mathematics, theoretical computer science, mathematical and theoretical physics The Leonhard Euler International Mathematical Institute (EIMI)

[UAI] [CFP] ACM-CHIL 2021 - Conference on Health, Inference and Learning (April 2021)

2020-11-25 Thread Sanja Šćepanović
ACM-CHIL 2021 Call for Papers - Conference on Health, Inference and Learning (Virtual, April 2021) The ACM Conference on Health, Inference, and Learning (ACM-CHIL 2021) solicits work across a variety of disciplines, including machine learning, statistics, epidemiology, health policy, operations,

[UAI] Final Call AAMAS Blue Sky Ideas Track - Deadline Dec 1

2020-11-25 Thread AAMAS2021 Publicity Chair
AAMAS 2021 invites submissions to the Blue Sky Ideas Track. The emphasis of this special track is on visionary ideas, long-term challenges, new research opportunities, and controversial debate. It serves as an incubator for innovative, risky, and provocative ideas, and aims to provide a forum for