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 […]
Bernadette Bensaude-Vincent, professeur d'histoire et de philosophie des sciences à l'Université Paris I Panthéon-Sorbonne, fera un exposé le mardi 2 octobre à 10h30 en salle A008. Sa présentation est intitulée Biologie de synthèse, enjeux épistémologiques, économiques et philosophiques. Résumé : Domaine de pointe dans les biotechnologies et porteur d'espoirs d'une bioéconomie florissante, la biologie de synthèse […]
Jean-François Cardoso, directeur de recherche CNRS à l’Institut d’Astrophysique de Paris est l’invité du prochain colloquium du Loria. Rendez-vous le jeudi 4 octobre à 13h30 dans l’amphithéâtre pour son exposé intitulé “La plus vieille image du monde : la saisir, la faire parler.” Voici le résumé de sa présentation : “La collaboration “Planck” de l’Agence […]
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 […]
Pascal Fontaine (Mosel-Veridis) will defend his habilitation on Monday, October 8th at 3PM in room C005. His presentation is entitled "Satisfiability Modulo Theories". Abstract: Satisfiability Modulo Theories (SMT) is an automatic reasoning paradigm to check the satisfiability of logic formulas in presence of predicates and functions interpreted within a theory. Among relevant theories, one finds […]
