Formal Methods Seminar
A008The Formal Methods Seminar takes place every first Tuesday of the month at 13:00 in room A008. The next seminar will take place on Thursday, November 5th. Speaker: Julie Cailler […]
The Formal Methods Seminar takes place every first Tuesday of the month at 13:00 in room A008. The next seminar will take place on Thursday, November 5th. Speaker: Julie Cailler […]
Bien que relativement ancien, le concept d'Intelligence Artificielle est de plus en plus présent dans notre quotidien. Porteuse d'espoirs pour certaines personnes, cette technologie est perçue comme néfaste par d'autres. […]
La science des codes secrets n’a cessé d’influencer le cours de l’histoire, de Jules César qui communiquait avec ses armées par messages chiffrés, jusqu’au déchiffrement de la machine allemande Enigma […]
The Loria Security Seminar (SSL - séminaire sécurité du Loria) is back! This seminar aims to offer a comprehensive overview of security topics to all interested people (students, postdoc, permanent […]
Les JNRH (Journées Nationales de Robotique Humanoïde) ont lieu le 20 et 21 novembre 2024 au Loria, juste avant la conférence internationale IEEE Humanoids qui se tiendra également à Nancy […]
