L'école d'été sur la technologie, les systèmes et les applications de vérification aura lieu à Nancy du 27 au 31 août 2018. Nous croyons que les trois aspects de la technologie de vérification, les systèmes et les applications dépendent fortement les uns des autres et que les progrès dans le domaine de l'analyse formelle et de […]
La 6ème édition de la grande rencontre business et numérique du Grand Est, GEN se déroulera le jeudi 13 et vendredi 14 septembre au tout nouveau Centre des Congrès de Metz, situé juste derrière la Gare, dans le quartier de l'Amphithéâtre. Il portera sur le thème Business & Tech. À cette occasion, nos chercheurs et nos […]
Les meetups Intelligence Artificielle Nancy sont des moments de rencontre pour démystifier et comprendre l’Intelligence Artificielle. L’objectif de ce groupe est de réunir régulièrement un réseau de chercheurs, étudiants et entreprises qui vous présenteront leurs travaux et partageront leurs connaissances. Passionnés par l’intelligence artificielle ou simples curieux, ces rencontres sont ouvertes à tous et suivies […]
Le 1er octobre 2018 seront remis les insignes et titres de docteur honoris causa à Michael Backes, professeur en informatique, expert en cybersécurité. Cette cérémonie sera suivie d'une conférence du professeur Backes, en anglais : Tackling the Grand Challenges of Cybersecurity Research: The Case of Security of Autonomous Systems. Vous êtes chaleureusement invités et nous vous invitons […]
Le prochain brunch de l'Université de Lorraine aura lieu le vendredi 5 octobre de 11h30 à 14h à la Maison Mosaïque de Saint-Dié-des Vosges, avec pour thème "GPS, géolocalisation et systèmes d'information géographique. La géomatique aujourd'hui et demain !". Gilles Simon (maître de conférences dans l'équipe Magrit), y présentera ses recherches sur la vision par […]
