Numalis lève 5 millions d’euros pour ses solutions de validation des algorithmes d'IA par méthode formelle
Publié le :
15/11/2023
15
novembre
nov.
11
2023
Source : www.usine-digitale.frLa start-up tricolore Numalis a finalisé un tour de table de 5 millions d’euros pour développer et déployer ses solutions de validation d’algorithmes d’IA par méthode formelle, qui montrent un intérêt particulier dans des secteurs critiques comme la défense ou la santé... Lire la suite
Historique
-
Propagande terroriste sur Internet : rattachement au territoire de la République
Publié le : 16/11/2023 16 novembre nov. 11 2023Droit pénal / InfractionLa direction zonale de la sécurité intérieure nord (DZSI) a adressé un signal...Source : www.actu-juridique.fr
-
La prescription de l’action, à l’égard de la caution, est interrompue jusqu’au terme de la procédure collective
Publié le : 16/11/2023 16 novembre nov. 11 2023Droit des sociétés / Procédures collectivesPar une décision du 25 octobre 2023, la Cour de cassation confirme que la déc...Source : www.lemag-juridique.com
-
Déplacements professionnels du salarié itinérant : le temps de trajet entre le domicile et les sites des clients ne constitue pas du temps de travail effectif
Publié le : 15/11/2023 15 novembre nov. 11 2023Droit du travail - Employeurs / Relation individuelles au travailPar une décision du 25 octobre 2023, la Cour de cassation rappelle, sur la ba...Source : www.lemag-juridique.com
-
Numalis lève 5 millions d’euros pour ses solutions de validation des algorithmes d'IA par méthode formelle
Publié le : 15/11/2023 15 novembre nov. 11 2023Droit des sociétés / Levées de fondsLa start-up tricolore Numalis a finalisé un tour de table de 5 millions d’eur...Source : www.usine-digitale.fr