NExT lance la vague 2 de l'appel à candidature NExT x Deeptech Founders. NExT x Deeptech Founders est une formation à l’entrepreneuriat. Basée sur la pratique, cette formation a pour but d’accompagner des chercheurs, des ingénieurs et/ou des étudiants qui projettent de se lancer dans une aventure entrepreneuriale pour valoriser une technologie (Deeptech) qu’ils ont développée. Le cahier des charges est disponible sur le site de NExT Les porteurs sont…
Les Universités de Bordeaux, Lille et Nantes organisent lundi 17 juin 2019 une journée "Julia et Optimisation" à la Faculté des Sciences et Techniques de Nantes. La journée sera organisée en 3 parties : Programme prévisionnel : - matin : 3 tutoriaux (génération de colonnes; algorithmes de graphe; optimisation multi-objectif) de 50 minutes chacun pour lesquels des contributions au langage de programmation Julia sous la forme de package open-source existent…
Les prochaines journées annuelles du GT Vérif auront lieu du 17 au 19 juin 2019 au bâtiment S sur le site de Centrale Nantes. Elles visent à rassembler la communauté française en vérification formelle, et en particulier les chercheurs juniors, doctorants et post-doctorants, avec pour objectif de favoriser les collaborations et l'ouverture sur des thématiques liées à la vérification. Les domaines inclus sont : la vérification informatique de systèmes, modélisant…
