|
lundi
|
mardi
|
mercredi
|
jeudi
|
vendredi
|
samedi
|
dimanche
|
|---|---|---|---|---|---|---|
|
2 évènements,
-
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 […]
-
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,
|
1 évènement,
-
"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,
|
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,
|
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,
|
