Home » Évènement

Journée « Julia et Optimisation »

UFR Sciences 2 rue de la Houssinière, Nantes

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

Journées annuelles du groupe de travail Vérification du GDR Informatique et Mathématiques

ECN École Centrale Nantes, 1 rue de la Noë, Nantes

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

Copyright : LS2N 2017 - Mentions Légales - 
 -