Soutenance de thèse d’Élise Klein
LoriaÉlise Klein (Pesto), défendra sa thèse intitulée Formal Verification in Practice: Real-World Case Study and Enhanced Support for AC Operators in Tamarin . La soutenance aura lieu en public le jeudi […]
5 évènements found.
-
-
-
Visite des étudiants de l’École des Mines – Nancy
A008Le Loria a le plaisir d'accueillir des étudiants de l'École des Mines pour deux demi-journées d'échanges et de découvertes Au programme : Présentation du Loria Visite des plateformes LHS et […]
-
DefMal Webinar
On lineRoy Ricaldi will present the DefMal webinar entitled : Hunting CTI on Telegram: Towards Effective Cybercriminal Community Discovery Telegram has become a central coordination and vast distribution hub for cybercriminal […]
-
-
Théâtre Scientifique au Lycée
Lycée Condorcet SchoeneckLe Procès du Robot est un format original mêlant sciences, société… et théâtre d’impro ! Un moment d’échanges et de réflexions autour des grands enjeux de l'IA et ses applications […]
-
Colloquium du Loria : Laura Kovács
Amphithéâtre du LoriaThe Loria is proud to announce a colloquium presentation by Laura Kovács on Induction and synthesis in saturation-based theorem proving. Laura Kovács is a professor at the Faculty of Informatics […]
