Les membres du Loria sont fiers d’accueillir Laura Kovács, qui présentera un exposé intitulé : « Induction and synthesis in saturation-based theorem proving. »
Le prochain Colloquium du Loria aura lieu le mardi 16 septembre à 13 h 30 dans l’amphithéâtre.
Nous aurons le plaisir d’accueillir Luca De Feo, chercheur à IBM Research Europe, avec une présentation intitulée “A Personal History of Isogeny-based Cryptography“.
Le prochain colloquium du Loria aura lieu le jeudi 22 mai 2025 à 13 h 30 dans l’amphithéâtre.
Nous aurons le plaisir d’accueillir Bettina Speckmann, professeure à l’Université Technologique d’Eindhoven. Elle fera une présentation en anglais, intitulée River channels and dual loops: computational geometry in the field.
Le prochain colloquium du Loria aura lieu le mardi 10 décembre 2024 à 13 h 30 dans l’amphithéâtre.
Nous aurons le plaisir d’accueillir Jean Cardinal, professeur à l’Université Libre de Bruxelles, avec une présentation (en anglais) intitulée « Combinatorics, Geometry, and Algorithms« .
