[UAI] [fm-announcements] NASA Formal Methods Symposium - 2nd CFP

** 2nd Call for Papers The Thirteenth NASA Formal Methods Symposium https://shemesh.larc.nasa.gov/nfm2021/ 24-28 May 2021 Norfolk, VA, USA ** The s

[UAI] 1st CfP ROMCIR 2021: Reducing Online Misinformation through Credible Information Retrieval

Apologies for Cross Posting --- What: ROMCIR 2021: Reducing Online Misinformation through Credible Information Retrieval Where: Online Event (originally scheduled in Lucca, Italy) When: March 28-April 1, 2021 Colocated with: ECIR 2021 European Symposium on Information Retrieval https://www.eci

[UAI] DFP of DCOSS 2021

The 17th Annual International Conference on Distributed Computing in Sensor Systems (DCOSS 2021)* Coral Bay, Pafos, Cyprus June 7 - 9, 2021 www.dcoss.org * DCOSS has always been technically co-sponsored by IEEE; ap

[UAI] Benchmark for Autonomous Robot Navigation (BARN) Dataset Available

* Dear roboticists, Do you have a motion planning algorithm for mobile robots that you're interested in benchmarking against other approaches?  Are you interested in precisely characterizing which types of environments it can handle smoothly, and which causes it more problems? If so, Benc

[UAI] Benchmark for Autonomous Robot Navigation (BARN) Dataset Available

* Dear roboticists, Do you have a motion planning algorithm for mobile robots that you're interested in benchmarking against other approaches?  Are you interested in precisely characterizing which types of environments it can handle smoothly, and which causes it more problems? If so, Benc

[UAI] CfP -- ICFCA 2021 -- 16th Intern. Conf. on Formal Concept Analysis (June 29 -- July 2, 2021, Strasbourg, France)

 ICFCA 2021  16th International Conference on Formal Concept Analysis  June 29 -- July 2, 2021, Strasbourg, France  Web:  Mail: icfca2...@sciencesconf.org =

[UAI] Call for Papers - WorldCIST'21, Terceira Island, Azores

* CORE Ranking conference * Conference with a Google Scholar H5-Index = 19 * Proceedings published by Springer, in several books of the AISC series * Indexed in Scopus, WoS, DBLP, Ei-Compendex, etc. * Extended versions of best articles published in JCR/WoS/SCI journals ---