Séminaire Image : « Apprentissage à partir de données multimodales pour la classification et la prédiction de la maladie d’Alzheimer », Natacha Lambert
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Natacha Lambert, doctorante au GREYC en collaboration avec l'équipe Neuroprésage à Cyceron. Elle soutiendra par ailleurs sa thèse le 11 décembre 2025. Elle donnera un séminaire IMAGE le jeudi 20 novembre 2025 à 14h en salle de séminaire F-200. Titre : "Apprentissage à partir de données multimodales pour la classification … Continue reading Séminaire Image : « Apprentissage à partir de données multimodales pour la classification et la prédiction de la maladie d’Alzheimer », Natacha Lambert
Séminaire Algorithmique : François Rioult, Abdelkader Ouali et Mehrad Nasernejad (GREYC), « Factorisation optimale (en taille) de matrice booléenne »
Sciences 3- S3 351Les travaux pionniers de Belohlavek et al. ont établi un lien convaincant entre la factorisation matricielle booléenne et l'analyse formelle des concepts, démontrant que les concepts formels servent de facteurs optimaux pour décomposer les matrices booléennes. Nous présentons une nouvelle reformulation du problème de calcul du rang booléen à l'aide de la théorie des hypergraphes, … Continue reading Séminaire Algorithmique : François Rioult, Abdelkader Ouali et Mehrad Nasernejad (GREYC), « Factorisation optimale (en taille) de matrice booléenne »
Séminaire Algortihmique : « Efficient and succinct zero-knowledge arguments in the CL framework », Agathe Beaugrand (GREYC)
Sciences 3- S3 351Multiparty computation (MPC) aims at allowing a set of participants to perform computation together on private inputs. In order to protect the privacy of the users and guarantee the correctness of the computation, MPC relies on several cryptographic tools, among which asymmetric encryption and zero-knowledge proofs. In this talk, we focus on using the CL … Continue reading Séminaire Algortihmique : « Efficient and succinct zero-knowledge arguments in the CL framework », Agathe Beaugrand (GREYC)
Séminaire Image : « Méthodes d’apprentissage profond pour la détection et la caractérisation des satellites géostationnaires à partir d’images spectro-spatiales » Sidney Besnard
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Sidney Besnard, doctorant au GREYC. Il donnera un séminaire IMAGE le jeudi 4 décembre 2025 à 14h en salle de séminaire F-200, qui sera aussi la répétition de sa soutenance de thèse de la semaine d'après. Titre : "Méthodes d’apprentissage profond pour la détection et la caractérisation des satellites géostationnaires … Continue reading Séminaire Image : « Méthodes d’apprentissage profond pour la détection et la caractérisation des satellites géostationnaires à partir d’images spectro-spatiales » Sidney Besnard
Séminaire Algorithmique : « Structured-Seed Local Pseudorandom Generators and their Applications », Melissaris Nikolas (IRIF, Univ. Paris Cité)
Sciences 3- S3 351Pseudorandom generators are basic tools for simulating randomness efficiently. A local PRG is one where each output bit depends on only a few bits of the seed, which makes them useful in low-depth cryptography and certain complexity-theoretic constructions. In this talk, I will introduce structured-seed local PRGs (SSL-PRGs), where the seed is not uniform but … Continue reading Séminaire Algorithmique : « Structured-Seed Local Pseudorandom Generators and their Applications », Melissaris Nikolas (IRIF, Univ. Paris Cité)
Séminaire Algorithmique : « Cluster dans les triangulations munies d’un modèle d’Ising », Marie Albenque (IRIF, Univ. Paris Cité)
Sciences 3- S3 351Dans cet exposé, je ferai un panorama de résultats autour des triangulations aléatoires munies d’un modèle d’Ising. Dans ce modèle, les triangulations sont tirées aléatoirement avec une configuration de spins sur leur sommets (autrement dit un coloriage en deux couleurs des sommets), avec une probabilité qui dépend du nombre d’arêtes monochromatiques pour ce coloriage, via … Continue reading Séminaire Algorithmique : « Cluster dans les triangulations munies d’un modèle d’Ising », Marie Albenque (IRIF, Univ. Paris Cité)
Séminaire Algorithmique : « Post-Quantum Public-Key Pseudorandom Correlation Functions for Oblivious Transfer », Mahshid Riahinia (ENS Paris et IRIF, Univ. Paris Cité)
Sciences 3- S3 351Public-Key Pseudorandom Correlation Functions (PK-PCF) are functions that generate pseudorandom correlated strings. These correlations can then be used to speed up secure computation protocols. Recent works have made significant progress building PK-PCFs using group-based assumptions, however, these assumptions do not hold up against quantum attackers. Much less is known about PK-PCFs in the post-quantum regime. … Continue reading Séminaire Algorithmique : « Post-Quantum Public-Key Pseudorandom Correlation Functions for Oblivious Transfer », Mahshid Riahinia (ENS Paris et IRIF, Univ. Paris Cité)
Séminaire Algorithmique : « Revenge of the 4D: Can 4-dimensional isogenies become practical? », Pierrick Dartois (INRIA Rennes)
Sciences 3- S3 351The devastating attacks against SIDH (Supersingular Isogeny Diffie-Hellman) in 2022 introduced higher-dimensional isogenies as a cryptanalytic tool. As opposed to elliptic curve isogenies, higher-dimensional isogenies are defined between abelian varieties (which generalize elliptic curves in higher dimension). These isogenies quickly became a powerful constructive tool in cryptography with the introduction of SQIsignHD and FESTA, followed … Continue reading Séminaire Algorithmique : « Revenge of the 4D: Can 4-dimensional isogenies become practical? », Pierrick Dartois (INRIA Rennes)
Séminaire Algorithmique : « Eunoia: A Framework for SMT Proof Calculi », Hans-Jörg Schurr (Univ. of Iowa, USA)
Sciences 3- S3 351Satisfiability Modulo Theories (SMT) solvers combine decision procedures for various theories into a homogeneous automated reasoning framework. They are an indispensable tools to solve formal verification and decision problems. To validate the SMT solver’s responses we can use proof certificates. However, a major challenge is that different theories and decision procedures use different proof calculi. … Continue reading Séminaire Algorithmique : « Eunoia: A Framework for SMT Proof Calculi », Hans-Jörg Schurr (Univ. of Iowa, USA)
Séminaire Image : Learning on graphs and hierarchies par Silvio Jamil Ferzoli Guimaraes
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Silvio Jamil Ferzoli Guimaraes, professeur à la Pontifical Catholic University of Minas Gerais. Il donnera un séminaire IMAGE le jeudi 22 janvier 2026 à 14h en salle de séminaire F-200. Titre : "Learning on graphs and hierarchies" Résumé : Hierarchies, as described in mathematical morphology, represent nested regions of interest … Continue reading Séminaire Image : Learning on graphs and hierarchies par Silvio Jamil Ferzoli Guimaraes
Séminaire Algorithmique : « Data-driven design of logic-based models of biological processes », Samuel Pastva (Masaryk Univ. Brno, Tchéquie)
Sciences 3- S3 351Modern cell biology generates a treasure trove of experimental data, allowing us to measure many biochemical processes in individual cells with single-molecule resolution. However, applying this data to generate explainable predictions is often challenging due to the high number of entities, interactions, and environmental factors in question. Systems biology utilizes logic-based explainable models (e.g., Boolean … Continue reading Séminaire Algorithmique : « Data-driven design of logic-based models of biological processes », Samuel Pastva (Masaryk Univ. Brno, Tchéquie)
Séminaire Image : Comment faciliter l’interaction avec de grandes quantités de données? par Gary Perelman
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Gary Perelman, MCF CDD au GREYC. Il donnera un séminaire IMAGE le jeudi 29 janvier 2026 à 14h en salle de séminaire F-200. Titre : "Comment faciliter l'interaction avec de grandes quantités de données?" Résumé : L’interaction avec de grandes quantités de données est aujourd’hui omniprésente dans de nombreux domaines, … Continue reading Séminaire Image : Comment faciliter l’interaction avec de grandes quantités de données? par Gary Perelman