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 […]
Évènements
Calendrier de Évènements
|
lundi
|
mardi
|
mercredi
|
jeudi
|
vendredi
|
samedi
|
dimanche
|
|---|---|---|---|---|---|---|
2 évènements,
-
-
Alessio Coltellacci (Veridis), défendra sa thèse intitulée Reconstruction des preuves SMT dans Lambdapi. La soutenance se déroulera en anglais le lundi 26 janvier 2026 à 14h au LORIA, en salle C005. Elle sera suivie d'un pot devant la salle. Pour ceux qui ne pourraient pas venir, la soutenance sera diffusée en visio (accessible à partir […] |
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
1 évènement,
-
Le Procès du Robot est un format original mêlant sciences, société… et théâtre d’impro ! Le tout à destination de classes de secondes en lycée. 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/ |
3 évènements,
-
The thesis is entitled "Mitigating Musculoskeletal Disorders: Cobot Behavior Planning for Human Fatigue Reduction in Repetitive Tasks". The defense will be followed by a Lebanese pot in the space adjacent to room C005. Jury Members: Reviewers: Caroline Chanel Professor, University of Toulouse Arash Ajoudani Researcher, Italian Institute of Technology Examinator: David Daney Researcher, INRIA-University of […]
-
Découvrez le monde fascinant des messages cachés, les stratégies et astuces utilisées dans l’histoire ! Une introduction à la cryptographie et ses facettes avec Cécile Pierrot, chercheuse Inria, experte en informatique et cryptographie historique au Loria (CNRS, Université de Lorraine). Inscription via ce lien : https://www.eventbrite.fr/e/1976452139554?aff=oddtdtcreator
-
Valentin D. Richard (Sémagramme), défendra sa thèse intitulée “Presuppositional and Dynamic Aspects of Questions“. La soutenance aura lieu le 3 Février à 16h à Agnietenkapel. (Amsterdam) Jury : Lucas Champollion : New York University Maria Aloni : Universiteit van Amsterdam Robert van Rooij : Universiteit van Amsterdam Maxime Amblard : Université de Lorraine Claire Gardent […] |
0 évènement,
|
0 évènement,
|
2 évènements,
-
la première séance du séminaire Réflexions qui se tiendra le vendredi 6 février 2026, de 13h30 à 17h30, dans la salle de conférence de l’Institut Élie Cartan de Lorraine, Faculté des Sciences et Technologie, Boulevard des Aiguillettes, 54506 Vandoeuvre-lès-Nancy. Nous écouterons Patrick Massot (Laboratoire de mathématique d’Orsay) 13h30-14h45 : Présentation Titre : Pourquoi raconter […]
-
"Targeted Evasion Attacks Against Machine-Learning-Based Binary Code Analysis". La soutenance aura lieu le vendredi 6 février à 15h00 en salle A008. La présentation sera en anglais. Elle sera suivie d'un pot, également en A008. Résumé : L’analyse de code binaire basée sur l’apprentissage automatique est devenue un pilier essentiel de la cybersécurité moderne, en automatisant de […] |
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
1 évènement,Le Loria est très heureux d'accueillir des étudiantes et les étudiants de l'ENS Paris Saclay pour deux journées d'échanges et de découvertes. L'occasion pour 21 jeunes de L3 Double diplôme mathématique et informatique de découvrir les réalités et la variété des domaines de la recherche informatique et le fonctionnement d'un laboratoire via une immersion au […] |
1 évènement, |
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
1 évènement,
-
Loria Security Seminar will take place on February 17th in room A008 at 1:00pm. Erol Gelenbe, Professeur à l'Institut d'informatique théorique et appliquée de l’Académie des Sciences de Pologne et au King's College (Londres), et ambassadeurs Inria+Alumni au Royaume-Uni donnera une conférence intitulée : Détection et Atténuation des Cyberattaques par l’IA. Titre: Détection et Atténuation des Cyberattaques par […] |
0 évènement,
|
1 évènement,
-
On February 19th, the HUCEBOT team will have the pleasure of welcoming Dorian Verdel, postdoctoral fellow at Paris Saclay, who is applying for the CR position in Centre INRIA de l'Université de Lorraine. Title: The role of time in developing symbiotic human-robot interactive control Abstract: Physical human-robot interactions (pHRI) are promising for a […] |
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|


