BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260630T104500
DTEND;TZID=Europe/Paris:20260630T114500
DTSTAMP:20260710T001500
CREATED:20260615T075704Z
LAST-MODIFIED:20260615T075704Z
UID:12211-1782816300-1782819900@www.greyc.fr
SUMMARY:Séminaire Algorithmique : Nathan Papon (Telecom Paris)
DESCRIPTION:Titre et résumé à venir.
URL:https://www.greyc.fr/event/seminaire-algorithmique-nathan-papon-telecom-paris/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260625T140000
DTEND;TZID=Europe/Paris:20260625T153000
DTSTAMP:20260710T001500
CREATED:20260326T162407Z
LAST-MODIFIED:20260326T162407Z
UID:12080-1782396000-1782401400@www.greyc.fr
SUMMARY:Séminaire Image: A multi-grid view of geometry / Une vision multi-grille de la géométrie par Jacques-Olivier Lachaud
DESCRIPTION:Nous aurons le plaisir d’écouter Jacques-Olivier Lachaud \, Professeur au Laboratoire de Mathématiques (Université Savoie Mont Blanc).\nIl donnera un séminaire IMAGE le jeudi 25 juin 2026 à 14h en salle de séminaire F-200. \nTitre : « A multi-grid view of geometry / Une vision multi-grille de la géométrie » \nRésumé :  \nCet exposé « panorama » s’intéresse à la géométrie des sous-ensembles de la grille régulière. Les ensembles de pixels en 2d ou voxels en 3d apparaissent naturellement comme discrétisations de formes euclidiennes\, et constituent les objets géométriques d’intérêts dans les images photographiques ou dans les images 3d issues de scanners ou d’IRM par exemple.\nNous nous intéresserons d’abord au problème de l’inférence géométrique. Ainsi on montrera quelques approches pour construire des estimateurs géométriques avec des propriétés de convergence multi-grille\, c’est-à-dire dans quelle mesure une estimation géométrique sur un discrétisé converge vers la quantité géométrique de l’objet euclidien pour des discrétisations de plus en plus fines. Nous montrerons ensuite comment il est possible de faire du calcul différentiel sur des surfaces discrètes\, de façon analogue à du calcul sur des maillages traditionnels\, et nous esquisserons quelques applications. Selon le temps restant\, nous présenterons quelques thématiques émergentes du domaine avant de conclure.
URL:https://www.greyc.fr/event/seminaire-image-a-multi-grid-view-of-geometry-une-vision-multi-grille-de-la-geometrie-par-jacques-olivier-lachaud/
LOCATION:ENSICAEN – Batiment F – Salle F-200\, 6 Bd Maréchal Juin\, Caen\, 14050\, France
CATEGORIES:General,Image,Seminaire Image
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260623T104500
DTEND;TZID=Europe/Paris:20260623T114500
DTSTAMP:20260710T001500
CREATED:20260615T075540Z
LAST-MODIFIED:20260615T075540Z
UID:12209-1782211500-1782215100@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Codd’s Theorem for Databases over Semirings »\, Guillermo Badia (University of Queensland\, Australie)
DESCRIPTION:Codd’s Theorem\, a fundamental result of database theory\, asserts that relational algebra and relational calculus have the same expressive power on relational databases. We explore Codd’s Theorem for databases over semirings and establish two different versions of this result for such databases: the first version involves the five basic operations of relational algebra\, while in the second version the division operation is added to the five basic operations of relational algebra. In both versions\, the difference operation of relations is given semantics using semirings with monus\, while on the side of relational calculus a limited form of negation is used. The reason for considering these two different versions of Codd’s theorem is that\, unlike the case of ordinary relational databases\, the division operation need not be expressible in terms of the five basic operations of relational algebra for databases over an arbitrary positive semiring; in fact\, we show that this inexpressibility result holds for bag databases\, as well as for databases over the tropical semiring. \nThis is a common work with Phokion G. Kolaitis and Carles Noguera DOI: https://doi.org/10.1145/3767713
URL:https://www.greyc.fr/event/seminaire-algorithmique-codds-theorem-for-databases-over-semirings-guillermo-badia-university-of-queensland-australie/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260618T140000
DTEND;TZID=Europe/Paris:20260618T160000
DTSTAMP:20260710T001500
CREATED:20260605T085738Z
LAST-MODIFIED:20260605T085738Z
UID:12166-1781791200-1781798400@www.greyc.fr
SUMMARY:Séminaire Image: Balancing fidelity and interpretability in XAI for global model understanding and frugal AI design par Caroline Mazini Rodrigues
DESCRIPTION:Nous aurons le plaisir d’écouter Caroline Mazini Rodrigues\, Postdoctorante à l’IRISA (Rennes).\nElle donnera un séminaire IMAGE le jeudi 18 juin 2026 à 14h en salle de séminaire F-200 \nTitre: Balancing fidelity and interpretability in XAI for global model understanding and frugal AI design \nRésumé: \nAs neural networks grow in complexity\, understanding their decision-making processes has become important for ensuring transparency\, fairness\, and trustworthiness. Explainable Artificial Intelligence (XAI) addresses this challenge by identifying the features that influence model predictions. However\, highly faithful explanations are often difficult for humans to interpret\, while simpler explanations may fail to accurately reflect the model’s reasoning. This talk presents work on balancing the faithfulness-interpretability trade-off in post-hoc explanation methods\, with applications to bias understanding in vision models. We then explore another research direction at the intersection of XAI and Frugal AI\, examining how explanation-based insights can guide the design of more efficient and resource-aware AI models. This line of work positions interpretability not only as a diagnostic tool\, but as a mechanism for improving computational efficiency and responsible AI. \n 
URL:https://www.greyc.fr/event/seminaire-image-balancing-fidelity-and-interpretability-in-xai-for-global-model-understanding-and-frugal-ai-design-par-caroline-mazini-rodrigues/
LOCATION:ENSICAEN – Batiment F – Salle F-200\, 6 Bd Maréchal Juin\, Caen\, 14050\, France
CATEGORIES:General,Image,Seminaire Image
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260616T104500
DTEND;TZID=Europe/Paris:20260616T114500
DTSTAMP:20260710T001500
CREATED:20260526T112528Z
LAST-MODIFIED:20260526T112528Z
UID:12118-1781606700-1781610300@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « One-two trees\, let’s twist! »\, Julien Courtiel (GREYC\, Caen)
DESCRIPTION:Il y a fort longtemps (en l’an 2018)\, dans un bureau fort lointain (le S3-354)\, le jeune Matthieu Dien et ma modeste personne se sont lancés dans une quête : un problème qui ne prendrait que “10 minutes à résoudre”. Il aura fallu 8 ans\, et l’aide du chevaleresque Paul Dorbec\, pour qu’un article ait vu le jour et soit publié. Cet exposé célèbrera cet heureux évènement en vous contant l’intérieur de cet article. \nDe quoi est-il question ? Nous voulions à l’origine étudier les graphes cordaux à treewidth borné. Malgré le nom aux allures terrifiantes\, ces familles de graphes apparaissent naturellement dans beaucoup de domaines (en algèbre linéaire numérique\, dans les réseaux bayésiens\, en philogénétique). \nNous avons commencé par majorer la treewidth à 2\, et avons baptisé les graphes en question “1\,2-arbres croissants”. Nous nous sommes vite rendus compte que les 1\,2-arbres croissants à n sommets étaient comptés par n^{n-2}. Ce nombre pourrait vous sembler familier\, puisqu’il s’agit aussi du nombre d’arbres dont les sommets sont étiquetés de 1 jusqu’à n (célèbre résultat dû à Cayley). Notre article montre les connexions entre ces deux familles\, tant du point de vue analytique que bijectif.
URL:https://www.greyc.fr/event/seminaire-algorithmique-one-two-trees-lets-twist-julien-courtiel-greyc-caen/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260602T104500
DTEND;TZID=Europe/Paris:20260602T114500
DTSTAMP:20260710T001500
CREATED:20260526T112405Z
LAST-MODIFIED:20260526T112405Z
UID:12116-1780397100-1780400700@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Multiplication modulaire dans le système de représentation Residue Number System »\, Christophe Nègre (GREYC\, Caen)
DESCRIPTION:Dans cet exposé nous présenterons le système de représentation RNS utilisé pour l’arithmétique des grands entiers. Nous nous intéresserons en particulier à la multiplication modulaire en RNS et son application en cryptographie. Les algorithmes de Montgomery et de Barrett sont les plus couramment utilisés pour la multiplication modulaire. En RNS c’est l’approche de Montgomery qui est la plus utilisée\, elle permet entre autre de masquer des données pour contrer des attaques par analyse de courant. Nous verrons ensuite des résultats récents sur l’approche de Barrett en RNS\, la rendant compétitive pour des calculs n’impliquant que des réductions modulaires finales.
URL:https://www.greyc.fr/event/seminaire-algorithmique-multiplication-modulaire-dans-le-systeme-de-representation-residue-number-system-christophe-negre-greyc-caen/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260526T104500
DTEND;TZID=Europe/Paris:20260526T114500
DTSTAMP:20260710T001500
CREATED:20260526T112049Z
LAST-MODIFIED:20260526T112049Z
UID:12112-1779792300-1779795900@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Weihrauch et la topologie »\, Emmanuel Rauzy (LACL\, Univ. Paris-Est Créteil)
DESCRIPTION:Le but de cet exposé est d’introduire les deux fondements de l’analyse calculable : la théorie des espaces représentés et ses liens avec la topologie\, et la réduction de Weihrauch. \nJ’insisterai en particulier sur le fait que la réduction de Weihrauch est définie grâce à une notion de multifonction continue que l’on ne peut définir que dans la catégorie des espaces représentés. Enfin\, je présenterai de nouveaux outils\, développés avec Vasco Brattka\, pour déterminer facilement la topologie finale d’une représentation.
URL:https://www.greyc.fr/event/seminaire-algorithmique-weihrauch-et-la-topologie-emmanuel-rauzy-lacl-univ-paris-est-creteil/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260521T140000
DTEND;TZID=Europe/Paris:20260521T153000
DTSTAMP:20260710T001500
CREATED:20260429T133641Z
LAST-MODIFIED:20260505T085221Z
UID:12089-1779372000-1779377400@www.greyc.fr
SUMMARY:Séminaire Image: Shouhei Hanaoka et Rie Tanaka
DESCRIPTION:Nous aurons le plaisir d’écouter Shouhei Hanaoka\, Associate Professor (Graduate School of Medicine\, The University of Tokyo) et Rie Tanaka (Pharmaceutical and Health Sciences\, Kanazawa University).\nIl donneront un séminaire IMAGE le jeudi 21 mai 2026 à 14h en salle de séminaire F-200. \nTitre (Shouhei Hanaoka) : « Clinical importance of trees and graphs: An example of HoTPiG for cerebral aneurysm detection » \nRésumé :  \nThe human body has many tree-like structures such as blood vessels\, bronchi\, bile duct and nervous system.  In this talk\, I am going to present my old work for detecting local abnormality in such tree-like structures.\nThe proposed method was named as HoTPiG (Histogram of Triangular Paths in Graph).\nGiven a graph structure extracted from a binarized volume\, the proposed feature extraction algorithm can effectively encode both the morphological characteristics and the local branching pattern of the structure around each graph node (e.g.\, each voxel in the vessel).\nThe features are derived from a 3-D histogram whose bins represent a triplet of shortest path distances between the target node and all possible node pairs near the target node.\nThe extracted feature set is a vector with a fixed length and is readily applicable to state-of-the-art machine learning methods.\nI will show some examples of lesion detections in the lung and the cerebral vessel.\n\nTitre (Rie Tanaka) : « From Static X-ray to Functional Imaging: AI-driven Advances in Thoracic Radiography » \nRésumé :  \nChest radiography is the most widely used imaging modality for screening and follow-up. Dynamic chest radiography (DCR) extends conventional radiography by enabling functional assessment using flat-panel detector (FPD)-based systems. Quantitative and time-series analysis of DCR allows evaluation of respiratory and circulatory dynamics through lung density changes\, diaphragm motion\, and tracheal diameter. However\, these approaches remain limited by the two-dimensional projection nature of X-ray imaging\, motivating the integration of artificial intelligence and in silico–based strategies to enable higher-dimensional understanding of spatiotemporal patterns.\nWe present a unified framework integrating DCR\, artificial intelligence\, and in silico–based training strategies. We first enhance two-dimensional projections via image decomposition\, then estimate lung volume and respiratory function\, and finally reconstruct four-dimensional (4D) representations from dynamic X-ray time-series data using deep learning. Developed using large-scale virtual datasets and validated on clinical cases\, these approaches may enable functional and quantitative chest radiography\, bridging the gap between low-cost X-ray imaging and advanced modalities such as CT.
URL:https://www.greyc.fr/event/seminaire-image-shouhei-hanaoka-et-rie-tanaka/
LOCATION:ENSICAEN – Batiment F – Salle F-200\, 6 Bd Maréchal Juin\, Caen\, 14050\, France
CATEGORIES:General,Image,Seminaire Image
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260519T104500
DTEND;TZID=Europe/Paris:20260519T114500
DTSTAMP:20260710T001500
CREATED:20260526T112223Z
LAST-MODIFIED:20260526T112223Z
UID:12114-1779187500-1779191100@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Effective Asymptotics of Combinatorial Systems »\, Carine Pivoteau (LIGM\, Univ. Paris-Est Marne la Vallée)
DESCRIPTION:In their book “Analytic Combinatorics”\, Flajolet and Sedgewick describe a general approach that starts from a combinatorial description\, translates this description into equations satisfied by generating functions\, views these generating functions as analytic functions and exploits their singular behavior to deduce asymptotic properties of the combinatorial objects when their size becomes large. \nWith Bruno Salvy\, we developed computational tools that automate large parts of this approach and in this talk I will outline the main steps.
URL:https://www.greyc.fr/event/seminaire-algorithmique-effective-asymptotics-of-combinatorial-systems-carine-pivoteau-ligm-univ-paris-est-marne-la-vallee/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260512T104500
DTEND;TZID=Europe/Paris:20260512T114500
DTSTAMP:20260710T001500
CREATED:20260526T120536Z
LAST-MODIFIED:20260526T120536Z
UID:12125-1778582700-1778586300@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Un automate pour les caractériser tous »\, Théo Grente (GREYC)
DESCRIPTION:Au début des années 2000\, Okhotin a introduit deux familles de grammaires formelles\, les grammaires conjonctives et les grammaires booléennes\, qu’il présente comme “le véritable cas général des grammaires sans contexte”. Ces grammaires enrichissent les grammaires algébriques par l’ajout d’une opération de conjonction pour les grammaires conjonctives et de la négation en plus de la conjonction pour les grammaires booléennes. Ces deux nouvelles grammaires (et leurs restrictions linéaires) viennent ainsi étoffer la zoologie des classes de langages formels sans contexte. L’un des critères permettant de mesurer l’importance d’une classe de langages est qu’elle dispose d’une définition équivalente par une famille d’automates. On peut ainsi citer la caractérisation des langages réguliers par les automates finis\, celle des algébriques par les automates à pile ou encore la caractérisation de la restriction linéaire des grammaires conjonctives par les automates treillis. Ces caractérisations nous permettent de mieux comprendre le pouvoir d’expression des grammaires mais ne facilitent pas forcément leur comparaison. \nDans cet exposé\, je présenterai une famille d’automates\, appelés automates SCYK\, permettant d’obtenir une caractérisation uniforme des classes de langages citées. Cette famille d’automates est inspirée de l’algorithme classique pour la reconnaissance de langages algébriques découvert indépendamment par Sakai\, Cocke\, Younger et Kasami (d’où son nom). Dans leur version la plus générale\, ces automates caractérisent exactement les langages booléens puis\, en leur ajoutant différentes restrictions\, ceux-ci nous permettent de caractériser naturellement les langages conjonctifs\, algébriques (avec leurs restrictions linéaires) ainsi que les langages réguliers.
URL:https://www.greyc.fr/event/seminaire-algorithmique-un-automate-pour-les-caracteriser-tous-theo-grente-greyc/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260505T110000
DTEND;TZID=Europe/Paris:20260505T120000
DTSTAMP:20260710T001500
CREATED:20260512T080924Z
LAST-MODIFIED:20260512T080924Z
UID:12097-1777978800-1777982400@www.greyc.fr
SUMMARY:Séminaire Image: Kirchhoff Forests: Theory and Applications par Yusuf Yigit Pilavci
DESCRIPTION:Nous aurons le plaisir d’écouter Yusuf Yigit Pilavci \, Postdoc a l’Institut Mines Telecom Nord Europe.\nIl donnera un séminaire IMAGE le mardi 05 mai 2026 à 11h en salle de séminaire F-200. \nTitre : « Kirchhoff Forests: Theory and Applications » \nRésumé : Many machine learning problems involve data structured as graphs\, from social networks and recommendation systems to traffic and biological networks. A key tool for analyzing these graphs is the graph Laplacian\, which captures important structural information but becomes expensive to compute at large scale.\nIn this presentation\, I will introduce a probabilistic tool called Kirchhoff forests for accelerating expensive operations involving graph Laplacians\, such as computing their inverse\, estimating the trace of the inverse\, and estimating effective resistances. This probabilistic method is based on a random process that allows us to generate graph sketches strongly connected to the graph Laplacian through various theoretical guarantees. In turn\, this approach leads to efficient algorithms for applications in graph signal processing and machine learning. \n 
URL:https://www.greyc.fr/event/seminaire-image-kirchhoff-forests-theory-and-applications-par-yusuf-yigit-pilavci/
LOCATION:ENSICAEN – Batiment F – Salle F-200\, 6 Bd Maréchal Juin\, Caen\, 14050\, France
CATEGORIES:General,Image,Seminaire Image
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260505T104500
DTEND;TZID=Europe/Paris:20260505T114500
DTSTAMP:20260710T001500
CREATED:20260526T120349Z
LAST-MODIFIED:20260526T120349Z
UID:12123-1777977900-1777981500@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « From Elastic Degenerate Strings to Full-Text Indexing: Suffix Sorting\, BWT\, and FM-Index Construction and Search »\, Francesco Pio Marino (Univ. Catane\, Italie)
DESCRIPTION:Elastic degenerate strings provide a flexible framework for representing sequences with structured variability\, generalizing classical string models while preserving algorithmic tractability. In this talk\, we present a comprehensive framework for indexing such objects\, culminating in the construction of an FM-index that supports efficient pattern matching. \nWe begin by revisiting the notion of elastic degeneracy and its algorithmic implications. We then describe how classical building blocks—suffix sorting\, the Burrows–Wheeler Transform (BWT)\, and wavelet trees—can be extended to this richer setting. In particular\, we outline a linear-time suffix sorting approach based on an adaptation of the DC3 algorithm\, followed by the construction of the BWT and the associated wavelet tree representation. \nFinally\, we show how these components combine into a full FM-index and describe how the classical backward search procedure can be adapted to this setting\, enabling efficient pattern matching over elastic degenerate strings. The resulting framework bridges combinatorial pattern matching and compressed indexing\, opening the way to scalable querying in settings where uncertainty and variability are intrinsic.
URL:https://www.greyc.fr/event/seminaire-algorithmique-from-elastic-degenerate-strings-to-full-text-indexing-suffix-sorting-bwt-and-fm-index-construction-and-search-francesco-pio-marino-univ-catane-italie/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260429T140000
DTEND;TZID=Europe/Paris:20260429T150000
DTSTAMP:20260710T001500
CREATED:20260428T071015Z
LAST-MODIFIED:20260428T071015Z
UID:12086-1777471200-1777474800@www.greyc.fr
SUMMARY:Séminaire Image: Analyse géométrique des surfaces discrètes : estimateur de normales et segmentation par Jui-Ting Lu
DESCRIPTION:Nous aurons le plaisir d’écouter Jui-Ting Lu\, ATER au Département d’Informatique (Université de Lorraine).\nElle donnera un séminaire IMAGE le mercredi 29 mai 2026 à 14h en salle de séminaire F-200. \nTitre : « Analyse géométrique des surfaces discrètes : estimateur de normales et segmentation » \nRésumé :  \nLa représentation d’objets géométriques sur ordinateur impose une transition des notions géométriques du continu vers le discret. Cette présentation porte sur une approche de reconnaissance des plans sur des surfaces discrètes\, définies comme des ensembles de points à coordonnées entières. Dans un premier temps\, je présenterai un bref aperçu des méthodes existantes et leur application sur les estimations de normales. Une attention particulière sera portée aux approches de type plane-probing\, qui consistent à explorer localement la surface discrète afin d’en capturer les propriétés arithmétiques et géométriques. Plus précisément\, il s’agit d’analyser un voisinage des points pour identifier des morceaux planaires à partir de la structure géométrique locale. Plusieurs stratégies de voisinage sont proposées pour mener cette exploration. Ces approches de plane-probing sont sans paramètre. Dans un second temps\, j’aborderai la segmentation des surfaces discrètes en morceaux de plans discrets. Cette problématique relève des applications des méthodes mentionnées. Je m’intéresserai en particulier aux intersections entre morceaux de plans discrets adjacents\, qui forment des ensembles de points de Z^3 ne pouvant être réduits à de simples droites discrètes et nécessitant un encadrement géométrique adapté.
URL:https://www.greyc.fr/event/seminaire-image-analyse-geometrique-des-surfaces-discretes-estimateur-de-normales-et-segmentation-par-jui-ting-lu/
LOCATION:ENSICAEN – Batiment F – Salle F-200\, 6 Bd Maréchal Juin\, Caen\, 14050\, France
CATEGORIES:General,Image,Seminaire Image
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260407T104500
DTEND;TZID=Europe/Paris:20260407T114500
DTSTAMP:20260710T001500
CREATED:20260302T095340Z
LAST-MODIFIED:20260526T114939Z
UID:12058-1775558700-1775562300@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Géométrie et calcul dans l’auto-assemblage: formes fractales et théorème de l’espalier »\, Florent Becker (LIFO\, Univ. Orléans)
DESCRIPTION:De tout temps\, femmes et hommes ont aspiré à des nano-colifichets en ADN. Depuis les années 1990\, dans la suite des travaux séminaux de Reif\, Adleman\, Winfree\, puis Rothemund et tant d’autres\, ils et elles sont exaucés: par une conception astucieuse de mots sur l’alphabet {A\, C\, T\, G}\, il est possible d’obtenir des séquences d’ADN dont les interactions ressemblent à de petites tuiles flottant sur un plan discret. Ces tuiles portent des couleurs sur leurs quatre côtés — des séquences d’ADN. Telles des coraux sur un récif\, leurs concrétions s’agrègent autour d’une graine: chaque fois qu’une tuile passe à proximité d’une position du bord dont le voisinage est propice\, elle se fixe au motif. Année après année\, la sophistication des motifs obtenus par ce procédé d’auto-assemblage s’est accrue\, donnant naissance aux «self-assembly studies»\, avec la question des liens entre possibilité de calcul et géométrie de l’objet à assembler. Je présenterai l’énoncé de la caractérisation des fractales auto-assemblables (nec plus ultra du domaine)\, et l’outil central pour la borne inférieur: le théorème de l’espalier. Ce lemme de pompage établit une relation entre largeur arborescente bornée et limitation du calcul plutôt attendue\, mais subtile à caractériser précisément. De plus\, sa preuve nous emmènera à la découverte d’outils et de raffinements liés à l’asynchronisme inhérent aux systèmes d’auto-assemblage: \n\nla largeur arborescente connexe qui permet de contrôler la décomposition d’un graphe y compris quand certaines parties sont nettement plus arborescentes que d’autres\, et d’obtenir une décomposition qui ne crée pas de distortion trop importante de ce graphe;\nles séquences d’assemblage ordinales pour dompter la concurrence entre plusieurs séquence potentiellement infinies de transitions et définir un ordre de priorité entre elles;\nla généralisation des assemblages à des graphes qui ne soient pas des sous-graphes du plan euclidien discret \, de sorte à éviter les collisions\, couplée à une mesure de l’effervescence (la propension à créer des trous) pour se ramener au cas de Z^2.
URL:https://www.greyc.fr/event/seminaire-algorithmique-florent-becker-lifo-univ-orleans/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260331T091500
DTEND;TZID=Europe/Paris:20260331T170000
DTSTAMP:20260710T001500
CREATED:20260302T095658Z
LAST-MODIFIED:20260302T095658Z
UID:12060-1774948500-1774976400@www.greyc.fr
SUMMARY:Journée scientifique commune aux Fédérations NormaSTIC et Normandie-Mathématiques
DESCRIPTION:Voir https://www.normastic.fr/event/journee-scientifique-commune-aux-federations-normastic-et-normandie-mathematiques-31-03-2026/
URL:https://www.greyc.fr/event/journee-scientifique-commune-aux-federations-normastic-et-normandie-mathematiques/
LOCATION:Bâtiment Sciences 3\, amphithéatre S3 057
CATEGORIES:General,News
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260330T140000
DTEND;TZID=Europe/Paris:20260330T180000
DTSTAMP:20260710T001500
CREATED:20260302T095952Z
LAST-MODIFIED:20260302T095952Z
UID:12063-1774879200-1774893600@www.greyc.fr
SUMMARY:Groupe de Travail Entropie\, Mots\, Stat
DESCRIPTION:Pour plus d’informations : https://gt-ems.sciencesconf.org/resource/page/id/3
URL:https://www.greyc.fr/event/groupe-de-travail-entropie-mots-stat/
CATEGORIES:Amacc,News
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260327T140000
DTEND;TZID=Europe/Paris:20260327T150000
DTSTAMP:20260710T001500
CREATED:20260320T164728Z
LAST-MODIFIED:20260320T164728Z
UID:12078-1774620000-1774623600@www.greyc.fr
SUMMARY:Séminaire Image: Medical Ultrasound Imaging: A Model-Based Beamforming Approach for Passive Acoustic Mapping par Tatiana Gelvez-Barrera
DESCRIPTION:Nous aurons le plaisir d’écouter Tatiana Gelvez-Barrera\, PostDoc à MINDS (Université de Toulouse III).\nElle donnera un séminaire IMAGE le vendredi 27 janvier 2026 à 14h en salle de séminaire F-200. \nTitre : « Medical Ultrasound Imaging: A Model-Based Beamforming Approach for Passive Acoustic Mapping«  \nRésumé :  \nThis seminar covers the basics of ultrasound imaging and its medical applications\, with a focus on passive ultrasound imaging. This technique is used to create spatiotemporal maps from passively recorded ultrasound signals\, which help monitor cavitation during therapeutic procedures. The talk will present a model-based beamforming framework for passive acoustic mapping. The approach combines a linear forward model with an inverse optimization process\, incorporating prior knowledge of the sound sources’ spatiotemporal behavior to improve the quality of the reconstructed image.
URL:https://www.greyc.fr/event/seminaire-image-medical-ultrasound-imaging-a-model-based-beamforming-approach-for-passive-acoustic-mapping-par-tatiana-gelvez-barrera/
LOCATION:ENSICAEN – Batiment F – Salle F-200\, 6 Bd Maréchal Juin\, Caen\, 14050\, France
CATEGORIES:General,Image,Seminaire Image
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260324T140000
DTEND;TZID=Europe/Paris:20260324T150000
DTSTAMP:20260710T001500
CREATED:20260313T151919Z
LAST-MODIFIED:20260313T151919Z
UID:12075-1774360800-1774364400@www.greyc.fr
SUMMARY:Séminaire Image : Imagerie des propriétés électriques des tissus biologiques par IRM: méthodes\, validation et applications biomédicales par Zhongzheng He
DESCRIPTION:Nous aurons le plaisir d’écouter Zhongzheng He\, PostDoc à ICube (Strasbourg).\nIl donnera un séminaire IMAGE le mardi 24 janvier 2026 à 14h en salle de séminaire F-200. \nTitre : « Imagerie des propriétés électriques des tissus biologiques par IRM: méthodes\, validation et applications biomédicales » \nRésumé :  \n\nLes propriétés électriques des tissus biologiques — en particulier la conductivité (σ) et la permittivité (ε) — jouent un rôle fondamental dans l’interaction entre les champs électromagnétiques et les tissus vivants. Elles dépendent de nombreux facteurs physiologiques tels que la composition tissulaire\, la teneur en eau ou la concentration ionique\, et peuvent varier significativement selon les types de tissus et les états pathologiques. À ce titre\, elles constituent des biomarqueurs potentiels pour l’imagerie biomédicale quantitative. Par ailleurs\, leur connaissance est essentielle pour modéliser la distribution des champs électromagnétiques et évaluer la sécurité radiofréquence en imagerie par résonance magnétique (IRM). \nL’imagerie des propriétés électriques par IRM (Electrical Properties Tomography\, EPT) peut être formulée comme un problème inverse permettant d’estimer ces propriétés à partir des mesures du champ radiofréquence en IRM. Cependant\, les approches conventionnelles reposent souvent sur des acquisitions dédiées du champ B₁\, ce qui augmente le temps d’acquisition et limite leur utilisation pratique. \nDans ce séminaire\, je présenterai plusieurs développements méthodologiques visant à améliorer la reconstruction des propriétés électriques à partir des données IRM. En particulier\, je discuterai d’approches basées sur les séquences à temps d’écho ultracourt (UTE) permettant l’estimation conjointe de la conductivité et de la permittivité à partir d’une seule acquisition. Des validations expérimentales sur fantômes et tissus biologiques seront présentées\, ainsi que des perspectives pour l’imagerie quantitative\, la caractérisation électromagnétique des tissus et le développement de méthodes de reconstruction combinant modélisation physique et approches guidées par les données.
URL:https://www.greyc.fr/event/seminaire-image-imagerie-des-proprietes-electriques-des-tissus-biologiques-par-irm-methodes-validation-et-applications-biomedicales-par-zhongzheng-he/
LOCATION:ENSICAEN – Batiment F – Salle F-200\, 6 Bd Maréchal Juin\, Caen\, 14050\, France
CATEGORIES:General,Image,Seminaire Image
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260324T104500
DTEND;TZID=Europe/Paris:20260324T114500
DTSTAMP:20260710T001500
CREATED:20260302T095221Z
LAST-MODIFIED:20260526T114805Z
UID:12056-1774349100-1774352700@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « A criterion for a minimal counterexample to the Conforti–Cornuéjols conjecture »\, Mehrdad Nasernejad (GREYC\, Caen)
DESCRIPTION:The Conforti–Cornuéjols conjecture has remained open for 36 years. In this talk\, we present a criterion for a minimal counterexample to the Conforti–Cornuéjols conjecture. \nThis talk is based on the following published paper: Bretto\, Alain; Nasernejad\, Mehrdad; Toledo\, Jonathan. On the strong persistence property and normally torsion-freeness of square-free monomial ideals. Mediterr. J. Math. 22 (2025)\, no. 6\, Paper No. 158\, 33 pp.
URL:https://www.greyc.fr/event/seminaire-algorithmique-mehrdad-nasernejad-greyc-caen/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260303T104500
DTEND;TZID=Europe/Paris:20260303T114500
DTSTAMP:20260710T001500
CREATED:20260302T095103Z
LAST-MODIFIED:20260302T095103Z
UID:12054-1772534700-1772538300@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Packing many dominating sets in a graph »\, François Pirot (LISN\, Univ. Paris-Saclay)
DESCRIPTION:Given a graph G\, a dominating set of G is a subset of vertices S such that every vertex not in S is adjacent to at least one vertex in S; that is\, NG[S] = V(G). While classical studies focus on finding the smallest dominating set of G\, our focus shifts to finding the maximum number of disjoint dominating sets in G\, i.e. its domatic number DOM(G). One can observe that for every graph G of minimum degree d ≥ 1\, 2 ≤ DOM(G) ≤ d + 1\, and both these bounds are tight regardless of the value of d. We are interested\, on the contrary\, in classes of graphs where the above lower bound is not tight\, and to that end introduce the notion of DOM-boundedness. We say that a class of graphs C is DOM-bounded if there exists a function fC → ∞ such that DOM(G) ≥ fC (δ(G)) for every graph G ∈ C\, where δ(G) denotes the minimum degree of G. In that case\, we say that fC is a DOM-binding function of C. \nWe present a probabilistic technique\, relying mainly on the celebrated Lovasz Local Lemma\, to exhibit pseudo-linear DOM-binding functions for several classes of graphs\, such as regular graphs\, unit disk graphs\, and star-free graphs. We also discuss cographs and line graphs\, which turn out to have a linear DOM-binding function. \nJoint work with Quentin Chuet\, Selma Djelloul\, Hoang La\, and Hossein Zaredehabadi.
URL:https://www.greyc.fr/event/seminaire-algorithmique-packing-many-dominating-sets-in-a-graph-francois-pirot-lisn-univ-paris-saclay/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260217T104500
DTEND;TZID=Europe/Paris:20260217T114500
DTSTAMP:20260710T001500
CREATED:20260130T101535Z
LAST-MODIFIED:20260526T114613Z
UID:12042-1771325100-1771328700@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Optimising Matching Cuts »\, Félicia Lucke (LIP\, ENS Lyon)
DESCRIPTION:The problem Matching Cut asks for an edge set of a graph which is both an edge cut and a matching. An edge cut is a set of edges whose deletion disconnects the graph and a matching is a set of edges in which no two edges share an endpoint. \nWe consider the two recent optimisation variants Maximum and Minimum Matching Cut\, where we aim to maximise\, respectively minimise\, the number of edges in the matching cut. Both variants are NP-hard but differ in complexity for certain graph classes. In this talk we investigate why maximising is harder than minimising. We further compare the optimisation variants of Matching Cut to the classical Matching Cut and its oldest variant Perfect Matching Cut.
URL:https://www.greyc.fr/event/seminaire-algorithmique-felicia-lucke-lip-ens-lyon/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260210T104500
DTEND;TZID=Europe/Paris:20260210T114500
DTSTAMP:20260710T001500
CREATED:20260130T101325Z
LAST-MODIFIED:20260130T101401Z
UID:12040-1770720300-1770723900@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Rejection-free framework of Zero-Knowledge Proof »\, Antoine Douteau (GREYC\, Caen)
DESCRIPTION:Les frameworks de preuves “Engager-et-prouver” sont une généralisation des protocoles à divulgation nulle de connaissances. Ils permettent\, en plus de prouver la connaissance d’un élément secret à un tiers\, de prouver certaines propriétés et relations. Par exemple\, qu’un vecteur est de petite norme ou encore qu’il est solution d’une relation quadratique publique. Un de ces frameworks (LNP\, Crypto22) base sa sécurité sur des problèmes cryptographiques reposant sur les réseaux euclidiens\, ainsi que sur une technique appellée “échantillonage par rejet” proposée par Lyubashevesky (Asiacrypt09). Les principaux problèmes de l’échantillonage par rejet est qu’il induit une construction en temps non constant\, dépendant du taux de rejet (ne permettant pas la construction de certains schémas cryptographiques avancées (KLSS\, Crypto23; HSS\, Crypto24)). Un second problème est son usage en boîte noire permettant des attaques par canaux auxiliaires\, coûteuses à protéger quand elles sont considérées. \nNotre contribution est une modification du framework existant\, sans rejet permettant de prouver dès qu’un secret est solution de relations linéaires et/ou quadratiques\, en basant la sécurité sur l’hypothèse Hint-MLWE (KLSS\, Crypto23).
URL:https://www.greyc.fr/event/seminaire-algorithmique-rejection-free-framework-of-zero-knowledge-proof-antoine-douteau-greyc-caen/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260129T140000
DTEND;TZID=Europe/Paris:20260129T150000
DTSTAMP:20260710T001500
CREATED:20260107T091442Z
LAST-MODIFIED:20260122T085131Z
UID:12019-1769695200-1769698800@www.greyc.fr
SUMMARY:Séminaire Image : Comment faciliter l'interaction avec de grandes quantités de données? par Gary Perelman
DESCRIPTION:Nous aurons le plaisir d’écouter Gary Perelman\, MCF CDD au GREYC.\nIl donnera un séminaire IMAGE le jeudi 29 janvier 2026 à 14h en salle de séminaire F-200. \nTitre : « Comment faciliter l’interaction avec de grandes quantités de données? » \nRésumé :  \nL’interaction avec de grandes quantités de données est aujourd’hui omniprésente dans de nombreux domaines\, notamment en analyse de données scientifiques\, en systèmes décisionnels\, en visualisation de données issues de capteurs ou encore dans les applications fondées sur l’intelligence artificielle. Ces contextes se caractérisent par des jeux de données volumineux\, souvent hétérogènes et évolutifs\, que les utilisateurs doivent explorer\, comprendre et manipuler afin de soutenir leurs activités d’analyse et de prise de décision. Du point de vue de l’Interaction Humain-Machine (IHM)\, la manipulation de grands ensembles de données constitue une problématique majeure. Les limitations cognitives humaines\, combinées à la complexité intrinsèque des données\, rendent difficile leur exploration efficace. Les utilisateurs peuvent rapidement être confrontés à une surcharge informationnelle\, à des difficultés de navigation ou à une perte de contexte lors des interactions. De nombreux travaux en IHM et en visualisation de données ont ainsi mis en évidence les enjeux liés au passage à l’échelle des techniques d’interaction et à la compréhension des relations entre éléments de données. Ces enjeux se manifestent différemment selon les dispositifs d’interaction. Sur les systèmes traditionnels clavier-souris\, les interactions indirectes et séquentielles peuvent limiter l’efficacité de la manipulation de données complexes. Sur les dispositifs mobiles\, la faible surface d’affichage impose des compromis importants entre quantité d’information\, lisibilité et précision des interactions. Enfin\, dans les environnements de réalité augmentée et virtuelle\, l’abondance d’informations affichables dans l’espace peut conduire à une surcharge visuelle\, ainsi qu’à une perte du lien entre les données visualisées et leur origine ou leur contexte. Ces constats soulignent le caractère transversal et toujours ouvert de la problématique de l’interaction avec de grandes quantités de données en IHM. Mes travaux de recherche contribuent à répondre à cette problématique en offrant des solutions d’interaction innovantes dans ces multiples domaines visant à faciliter l’interaction avec de grandes quantités de données.
URL:https://www.greyc.fr/event/seminaire-image-tba-par-gary-perelman/
LOCATION:ENSICAEN – Batiment F – Salle F-200\, 6 Bd Maréchal Juin\, Caen\, 14050\, France
CATEGORIES:General,Image,Seminaire Image
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260127T104500
DTEND;TZID=Europe/Paris:20260127T114500
DTSTAMP:20260710T001500
CREATED:20251219T085126Z
LAST-MODIFIED:20260130T101130Z
UID:12015-1769510700-1769514300@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Data-driven design of logic-based models of biological processes »\, Samuel Pastva (Masaryk Univ. Brno\, Tchéquie)
DESCRIPTION:Modern 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 networks) to address this challenge. Historically\, many such models were designed manually by domain experts; however\, this approach is not scalable for the modern era\, and new data-driven approaches are needed. \nIn this talk\, I will provide a state-of-the-art overview of methods for developing and analyzing logic-based models that integrate these large\, cutting-edge genomic datasets. First\, we will cover the formalization of biological observations into logical constraints. Specifically\, which formal assumptions can be extracted from biological data and what the limitations of our current measurement techniques are. Then\, I will present methods based on automated reasoning (SAT/SMT/ASP) and symbolic data structures (binary decision diagrams) that allow us to learn formally verified model candidates from these observations. Finally\, because complex systems rarely have a single “best” logic-based model\, we will conclude by discussing how to analyze and refine large ensembles of logic-based models (so-called partially specified Boolean models) that capture the plausible behaviors of a biological system.
URL:https://www.greyc.fr/event/seminaire-algorithmique-samuel-pastva-masaryk-univ-brno-tchequie/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260122T140000
DTEND;TZID=Europe/Paris:20260122T153000
DTSTAMP:20260710T001500
CREATED:20260106T153328Z
LAST-MODIFIED:20260116T105929Z
UID:12017-1769090400-1769095800@www.greyc.fr
SUMMARY:Séminaire Image : Learning on graphs and hierarchies par Silvio Jamil Ferzoli Guimaraes
DESCRIPTION:Nous aurons le plaisir d’écouter Silvio Jamil Ferzoli Guimaraes\, professeur à la Pontifical Catholic University of Minas Gerais.\nIl donnera un séminaire IMAGE le jeudi 22 janvier 2026 à 14h en salle de séminaire F-200. \nTitre : « Learning on graphs and hierarchies » \nRésumé :  \nHierarchies\, as described in mathematical morphology\, represent nested regions of interest that facilitate high-level analysis and provide mechanisms for coherent data organization. Represented as hierarchical trees\, they have formalisms intersecting with graph theory and applications that can be conveniently generalized. However\, due to the deterministic algorithms\, the multiform representations\, and the absence of a direct way to evaluate the hierarchical structure\, it is hard to insert hierarchical information into a learning framework and benefit from the recent advances in the field. This work aims to create a learning framework that can operate with hierarchical data and is agnostic to the input and the application. The idea is to study ways to transform the data to a regular representation required by most learning models while preserving the rich information in the hierarchical structure. The methods in this study use edge- weighted image graphs and hierarchical trees as input\, evaluating different proposals on the edge detection and segmentation tasks. The model of choice is the Random Forest\, a fast\, inspectable\, scalable method. The experiments demonstrate that it is possible to create a learning framework dependent only on the hierarchical data that performs well in multiple tasks. \nResearchers involved in this topic:\nRaquel Almeida\, Silvio Jamil F. Guimarães\, Laurent Amsaleg\, Ewa Kijak\, Simon Malinowski
URL:https://www.greyc.fr/event/seminaire-image-tba-par-silvio-jamil-ferzoli-guimaraes/
LOCATION:ENSICAEN – Batiment F – Salle F-200\, 6 Bd Maréchal Juin\, Caen\, 14050\, France
CATEGORIES:General,Image,Seminaire Image
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260120T104500
DTEND;TZID=Europe/Paris:20260120T114500
DTSTAMP:20260710T001500
CREATED:20251219T085001Z
LAST-MODIFIED:20260107T104620Z
UID:12013-1768905900-1768909500@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Eunoia: A Framework for SMT Proof Calculi »\, Hans-Jörg Schurr (Univ. of Iowa\, USA)
DESCRIPTION:Satisfiability 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. \nWe will discuss the novel Eunoia language which allows SMT developers to define proof rules precisely. The syntax of Eunoia resembles the standard SMT-LIB format. Proofs using Eunoia-defined rules can be checked using the dedicated Ethos proof checker. We specified all proof calculus of the industrial strength SMT solver cvc5 in Eunoia. We will also discuss ongoing efforts to provide a formal and mechanized type system for Eunoia\, and future directions for proof certificates for SMT solvers.
URL:https://www.greyc.fr/event/seminaire-algorithmique-hans-jorg-schurr-univ-of-iowa-usa/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260113T104500
DTEND;TZID=Europe/Paris:20260113T114500
DTSTAMP:20260710T001500
CREATED:20251219T084652Z
LAST-MODIFIED:20251219T084652Z
UID:12011-1768301100-1768304700@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Revenge of the 4D: Can 4-dimensional isogenies become practical? »\, Pierrick Dartois (INRIA Rennes)
DESCRIPTION:The 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 up by many new isogeny-based cryptographic schemes. \nThe digital signature scheme SQIsignHD\, based on SQIsign was the first scheme to use 4-dimensional isogenies but soon became obsolete when 2-dimensional alternatives were introduced and proposed as a part of the SQIsign NIST post-quantum signatures standard submission. For efficiency reasons\, most isogeny based schemes aiming for practical use rely on isogenies of dimension at most 2\, and it is widely believed in the isogeny community that isogenies of dimension bigger than 2 should be avoided. \nThe recent introduction of the Pegasis algorithm to compute the ideal class group action on oriented supersingular elliptic curves without restriction on the ideal has changed this perspective. This algorithm using 4-dimensional isogenies beats all 2-dimensional alternatives. Pegasis can be used as a tool to improve advanced cryptographic schemes that require unrestricted cryptographic group actions and is to be integrated in a NIST post-quantum threshold cryptographic standard submission. 4-dimensional isogenies also appear in the tensor-MIKE key exchange that remains to be implemented. These works make 4-dimensional isogenies more credible while algorithms to compute them are still making progress.
URL:https://www.greyc.fr/event/seminaire-algorithmique-revenge-of-the-4d-can-4-dimensional-isogenies-become-practical-pierrick-dartois-inria-rennes/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260106T104500
DTEND;TZID=Europe/Paris:20260106T114500
DTSTAMP:20260710T001500
CREATED:20251219T084449Z
LAST-MODIFIED:20251219T085309Z
UID:12009-1767696300-1767699900@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Post-Quantum Public-Key Pseudorandom Correlation Functions for Oblivious Transfer »\, Mahshid Riahinia (ENS Paris et IRIF\, Univ. Paris Cité)
DESCRIPTION:Public-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. In this talk\, I will introduce an efficient lattice-based PK-PCF for oblivious transfer (OT) correlations. At the heart of our result lie several technical contributions that might be of independent interest. In particular\, we introduce the first efficient lattice-based constrained pseudorandom functions for low-degree polynomials\, from a new but natural “secret-power” variant of ring learning with errors (ring-LWE) assumption.
URL:https://www.greyc.fr/event/seminaire-algorithmique-post-quantum-public-key-pseudorandom-correlation-functions-for-oblivious-transfer-mahshid-riahinia-ens-paris-et-irif-univ-paris-cite/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251216T104500
DTEND;TZID=Europe/Paris:20251216T114500
DTSTAMP:20260710T001500
CREATED:20251219T084200Z
LAST-MODIFIED:20251219T084200Z
UID:12007-1765881900-1765885500@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Cluster dans les triangulations munies d’un modèle d’Ising »\, Marie Albenque (IRIF\, Univ. Paris Cité)
DESCRIPTION:Dans 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 un paramètre nu. Le fait qu’il existe une valeur critique pour nu a d’abord été établi dans la littérature physique par Kazakov et des preuves combinatoires bijectives ont ensuite été données par Bousquet-Mélou et Schaeffer et par Bouttier\, Di Francesco et Guitter. \nDans cet exposé\, je mettrai en évidence que ce modèle exhibe une transition de phase géométrique via l’étude de ses clusters monochromatiques. En particulier\, nous avons établi que lorsque nu est critique ou sous-critique\, le cluster de la racine est fini p.s.\, et est infini avec proba positive quand nu est surcritique. \nCet exposé est basé sur des résultats en collaboration avec Laurent Ménard et Gilles Schaeffer. Résumé à venir.
URL:https://www.greyc.fr/event/seminaire-algorithmique-cluster-dans-les-triangulations-munies-dun-modele-dising-marie-albenque-irif-univ-paris-cite/
LOCATION:Sciences 3- S3 351
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251209T104500
DTEND;TZID=Europe/Paris:20251209T114500
DTSTAMP:20260710T001500
CREATED:20251219T084006Z
LAST-MODIFIED:20251219T084006Z
UID:12005-1765277100-1765280700@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Structured-Seed Local Pseudorandom Generators and their Applications »\, Melissaris Nikolas (IRIF\, Univ. Paris Cité)
DESCRIPTION:Pseudorandom 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. \nIn this talk\, I will introduce structured-seed local PRGs (SSL-PRGs)\, where the seed is not uniform but comes from a simple\, efficiently sampleable structured distribution. This small change turns out to broaden what we can build: we can construct SSL-PRGs under assumptions that are much weaker than those needed for standard local PRGs. \nThe key idea combines PRGs that tolerate “noisy” sparse input with new ways to locally compress sparse vectors. From this\, we obtain efficient SSL-PRGs based on variants of the Learning-Parity-with-Noise problem. I will also show how SSL-PRGs recover several known applications such as constant overhead secure computation and hardness-of-learning\, under these milder assumptions.
URL:https://www.greyc.fr/event/seminaire-algorithmique-structured-seed-local-pseudorandom-generators-and-their-applications-melissaris-nikolas-irif-univ-paris-cite/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News
END:VEVENT
END:VCALENDAR