Événement incontournable pour la cybersécurité au sein de la Grande Région transfrontalière, la première édition du Cross-Border Cybersecurity Tour #1 (Convention transfrontalière sur la cybersécurité) marque le lancement d’un événement inédit dédié aux enjeux et innovations en matière de cybersécurité, dans un contexte franco-allemand et international. Coorganisé par le World Trade Center Metz-Saarbrücken, Inspire Metz, l’Eurométropole de Metz, la ville de Metz, la ville de Sarrebruck et East Side Fab e.V, ce rendez-vous s’adresse aux entreprises, chercheurs et experts désireux…
Find out more »The next formal methods seminar will take place on April 1st at 13:00 in room A008. Speaker: Kostia Chardonnet Title: Infinite Algebraic Proofs Lors du séminaire du département du 7 janvier, Alejandro a montré comment étendre le fragment multiplicatif-additif de la logique linéaire intuitionniste au cas quantique. En particulier, il a montré comment représenter, à travers un système de preuve et par Curry-Howard, un langage de programmation pour toute application linéaire entre des espaces de Hilbert de dimension finie. Dans…
Find out more »
CAIPI est un séminaire de mathématiques sur la théorie des Codes correcteurs, la cryptogrAphie, la géométrie arIthmétique, et leurs aspects comPutationnels, dans un format Itinérant. La prochaine édition, "Endomorphismes et invariants de variétés abéliennes", aura lieu les 7 et 8 avril au Loria. Trois exposés sont proposés par : Annamaria Iezzi Laboratoire Jean Kuntzmann, Université Grenoble Alpes Elisa Lorenzo García Université de Neuchâtel, Université de Rennes Stefano Marseglia Laboratoire J.A. Dieudonné, Université Côte d'Azur Plus d'informations sur le site de…
Find out more »Joël Ky, doctorant dans l'équipe Resist, soutiendra sa thèse intitulée "Détection d’Anomalies et Diagnostic des Causes Racines des Applications à Faible Latence sur les Réseaux à Capacité Variable" le mardi 29 avril, à 14h, en salle A008. Résumé L’évolution des réseaux a conduit à l’émergence d’applications à faible latence (FL) telles que le cloud gaming (CG) et la réalité virtuelle basée sur le cloud (Cloud VR), qui exigent des conditions réseau strictes, notamment une faible latence et une bande passante…
Find out more »
