Dear all, I would like to announce the submission and acceptance to ECAI2020 of our paper. It falls in the topics of SAFAIR: the idea is that one of the main obstacles to the usage of formal methods in verification and validation of NN is the absence of formal specification against which to verify. Our paper proposes a framework for NN that are trained on simulated data (a prevalent process in certain areas where not enough "real" data is available -- automotive for example), whereby the simulation process itself could be considered as a spec. I will send you a link to the proceedings when they will be available online. @inproceedings{girardsatabin2020, TITLE = {{CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators}}, AUTHOR = {Girard-Satabin, Julien and Charpiat, Guillaume and Chihani, Zakaria and Schoenauer, Marc}, URL = {https://hal.inria.fr/hal-02440520}, BOOKTITLE = {{ECAI 2020 - 24th European Conference on Artificial Intelligence}}, ADDRESS = {Santiago de Compostela, Spain}, YEAR = {2020}, MONTH = Jun, HAL_ID = {hal-02440520}, HAL_VERSION = {v1}, } Best wishes, stay safe. Zak _____________________________