[UAI] [fm-announcements] Release of NASA PVS Library v7.1

The Formal Methods Team at NASA Langley Research Center and the National Institute of Aerospace is pleased to announce the release of the NASA PVS Library (NASALib) v7.1 (https://github.com/nasa/pvslib). NASALib v7.1 is fully compatible with PVS 7.1 (https://pvs.csl.sri.com), the recently releas

[UAI] Extension of deadline (ISMSI21, Seychelles, Victoria)

Dear colleagues, This is about *2021* 5*th International Conference on Intelligent Systems, Metaheuristics & Intelligent Systems (ISMSI21). * The conference is slated to be held in *Victoria, Seychelles *during *April 10-11, 2021* http://ismsi.org/ However, in case the prevailing global pande

[UAI] Australian Robotic Vision Summer School (RVSS), Australia, 1-5 February 2021

~~ Australian Robotic Vision Summer School (RVSS), Australia, 1-5 February 2021 ~~ The Australian Centre for Robotic Vision

[UAI] 8th International Symposium on End-User Development (IS-EUD 2021): Preliminary Call for Papers

*** Preliminary Call for Papers *** 8th International Symposium on End-User Development (IS-EUD 2021): "Democratizing AI Development" July 6-8, 2021, Atlantica Miramare Beach Hotel 4*, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=CQlBSQl1YWlAZW5nci5vcnN0LmVkdQk4dGggSW50ZXJuYXRp

[UAI] Post-doc position in Rouen University

Post-doc position (1year or more; 38K? - 44K?/year) Work place : Université de Rouen Normandy, France Contact : edwige.pissal...@univ-rouen.fr Context of the post-doc position The "Perception and Interaction" (P&I) group of the LITIS laboratory (150 researchers), of the University of Rouen Norm