Séminaire ALGO : Ionona Ranaivoson (GREYC) « Isomorphisme de sous-graphes (SubIso) des graphes séries-parallèles (SP-graphes) et couvertures par trous »

Sciences 3- S3 351

On s’intéresse au problème SubIso: étant donnés deux graphes non orientés G et H, déterminer si G contient un sous-graphe qui est isomorphe à H. Le problème SubIso est NP-complet en général. Mais des algorithmes polynomiaux de SubIso existent pour les graphes extra-planaires biconnexes (en O(n3) par ) et pour les SP-graphes biconnexes (en O(n6.5) … Continue reading Séminaire ALGO : Ionona Ranaivoson (GREYC) « Isomorphisme de sous-graphes (SubIso) des graphes séries-parallèles (SP-graphes) et couvertures par trous »

Séminaire Algo : Rémi Pallen (ENS Paris Saclay) « Comment le lambda-calcul typé peut-il nous assurer que nos données personnelles ne fuiront pas ? »

Sciences 3- S3 351

De nos jours, de nombreuses études publient des données sur des bases de données sensibles, mais comment s'assurer qu'elles ne dévoilent pas d'informations sur des individus pris séparément ? Nous allons voir comment nous pouvons concevoir un lambda-calcul dont les fonctions bien typées ne dévoilent aucune information (ou très peu) sur un individu en particulier.

Séminaire Algo : Corentin Jeudy (Orange Labs, Rennes) « Vers la Difficulté de « Module Learning With Errors » avec Distributions Courtes »

Sciences 3- S3 351

Le problème "Module Learning With Errors" (M-LWE) est une hypothèse calculatoire fondamentale en cryptographie sur les réseaux Euclidiens qui offre un compromis intéressant entre efficacité et sécurité des cryptosystèmes qui en résultent. Ce problème est paramétré par une distribution de secret ainsi qu'une distribution d'erreur. Il y a encore aujourd'hui un fossé entre le choix … Continue reading Séminaire Algo : Corentin Jeudy (Orange Labs, Rennes) « Vers la Difficulté de « Module Learning With Errors » avec Distributions Courtes »

Le laboratoire GREYC fête la science !

Sciences 3, Université, Caen Bâtiment Sciences 3 , Caen

Le laboratoire de recherche en informatique et électronique GREYC participe à la Fête de la science et installe ses démonstrations interactives au cœur du village des sciences, samedi 15 et dimanche 16 octobre, dans le hall du bâtiment Sciences 3, sur le campus 2 de l'Université de Caen. Bornes interactives, tables tactiles, écrans géants, robots... … Continue reading Le laboratoire GREYC fête la science !

Séminaire Algo : Brigitte Vallée (GREYC, Caen) « Variations autour du modèle des VLMC (= Variable Length Markov Chains) »

Sciences 3- S3 351

Je commencerai par quelques rappels sur les processus généraux qui produisent des mots, appelés sources, leurs séries génératrices, leur entropie et leur poids de Shannon. Je mentionnerai les sources simples (les sources sans mémoire, les chaînes de Markov). Puis, j’introduirai le modèle des VLMC (= Variable Length Markov Chains) qui se situe juste « au-dessus … Continue reading Séminaire Algo : Brigitte Vallée (GREYC, Caen) « Variations autour du modèle des VLMC (= Variable Length Markov Chains) »

Séminaire Algo: Alexandros Singh (LIPN, Univ. Paris Nord) « Combinatorics of the lambda-calculus and maps: bijections and limit properties »

Sciences 3- S3 351

This talk concerns maps (graphs embedded on surfaces), the linear lambda-calculus, and their combinatorial interactions. Using a combination of new bijective and analytic techniques, we will explore the structure of large random cubic maps and linear lambda-terms, focusing on the study of various statistics on such objects, in particular those related to the presence of … Continue reading Séminaire Algo: Alexandros Singh (LIPN, Univ. Paris Nord) « Combinatorics of the lambda-calculus and maps: bijections and limit properties »

Séminaire Algo : Edwin Hamel (Univ. libre Bruxelles, Belgique) « Two-player boundedness counter games »

Sciences 3- S3 351

We consider two-player zero-sum games with winning objectives beyond regular languages, expressed as a parity condition in conjunction with a Boolean combination of boundedness conditions on a finite set of counters which can be incremented, reset to 0, but not tested. A boundedness condition requires that a given counter is bounded along the play. Such … Continue reading Séminaire Algo : Edwin Hamel (Univ. libre Bruxelles, Belgique) « Two-player boundedness counter games »

Journée 2023 du laboratoire GREYC : 16 Juin 2023

CCI Caen 1 Rue René Cassin , Saint-Contest

La journée 2023 du GREYC aura lieu à la CCI de Caen (1 Rue René Cassin, 14280 Saint-Contest) le 16 Juin 2023. Au programme : présentations, démonstrations ! Inscriptions à https://tinyurl.com/GREYC2023

Séminaire Algorithmique : Ana Maria Costache (NTNU, Trondheim, Norvège) « FHE Circuit Privacy for Free »

Sciences 3- S3 351

Circuit privacy is an important notion in Fully Homomorphic Encryption (FHE), well-illustrated by the Machine Learning-as-a-Service scenario. A scheme is circuit private if an adversary cannot learn the circuit evaluated on a ciphertext from the computation result. In this talk, we show that the FHE scheme BGV is computationally circuit private in a semi-honest context. … Continue reading Séminaire Algorithmique : Ana Maria Costache (NTNU, Trondheim, Norvège) « FHE Circuit Privacy for Free »

Séminaire Algorithmique : « Ten asymptotic expansions for the Stirling numbers of the second kind » Hsien-Kuei Hwang (Academia Sinica, Taipei, Taiwan)

Sciences 3- S3 351

In this talk, I will first review existing asymptotic approximations in the literature for the Stirling partition numbers (or Stirling numbers of the second kind), the list of references being by far the most complete one. Then I will present a general, systematic, elementary approach to generate ten different asymptotic expansions whose uniformity covers particularly … Continue reading Séminaire Algorithmique : « Ten asymptotic expansions for the Stirling numbers of the second kind » Hsien-Kuei Hwang (Academia Sinica, Taipei, Taiwan)

11èmes journées de la Société Française de chémoinformatique

les 11èmes journées de la Société Française de chémoinformatique se dérouleront les jeudi 5 et vendredi 6 octobre 2023 dans l'enceinte du château de Caen. L'événement est organisé conjointement par le GREYC et le CERMN (laboratoire de chimie thérapeutique de l'Université), il réunira la communauté francophone de traitement de l'information chimique. Plus d'informations à https://sfci-11.sciencesconf.org/