É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 11 décembre à 9h30, au LORIA, en salle A008. Elle sera suivie d'un pot. Jury : Yannick Chevalier (rapporteur -- MCF HDR à l'Université de […]
Le 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 Creativ'Lab Exposé de Mathilde Bouvel Titre " Permutations évitant des motifs : pourquoi ? comment ? combien ? " Exposé de Claire Gardent Titre " […]
Roy 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 activity, offering anonymity, scalability, and low entry barriers that make it both attractive to offenders and difficult for analysts to monitor. As a result, Cyber […]
Le 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 quotidiennes… https://iww.inria.fr/NanSciNum/theatre-scientifique/le-proces-du-robot/
The 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 of Vienna University of Technology (Vienna, Austria) and a leading researcher in the field of automated reasoning and symbolic computation. Abstract: Proof by induction is […]
