Dans un ensemble de nombre entiers, combien y-a-t-il de paires dont la somme est une puissance de 2 ? Ce petit problème de dénombrement se révèle d'une complexité insoupçonnée, et dévoile des liens profonds avec la théorie des graphes. Article *Pour la Science*

L'axe IA organise un séminaire le vendredi 19 septembre 2025. L'équipe FOX reçoit INOCS, Hélène Le Cadre, Chargée de Recherche et Francesco Morri, Doctorant.

Des modèles-jouets de la théorie des graphes révèlent comment un sens d'écoulement du temps conforme aux lois de la thermodynamique peut émerger à partir de lois réversibles et sans hypothèse sur l'entropie initiale. Jean-Paul Delahaye Article magazine "Pour la Science"

Face aux limites de l'approche fondée sur les réseaux de neurones, dite "connexionniste", pour les tâches logiques ou arithmétiques, l'approche symbolique, qui a dominé le domaine de l'IA pendant des décennies, conserve des atouts qui la font revenir dans la course. Article *Pour la Science*

Soutenance d'HDR de Camille MARCHET, le jeudi 04 septembre 2025 à partir de 13h30 en Atrium bâtiment ESPRIT, laboratoire CRIStAL. Titre de l'habilitation : *A feeling for the index: k-mer data-structures for data reuse in large scale genomics and transcriptomics* Composition du jury : - …

Soutenance d'HDR d'Antoine LIMASSET, le jeudi 04 septembre 2025 à 9h en Atrium bâtiment ESPRIT, laboratoire CRIStAL. Titre de l'habilitation : *Nucleic Acid Data Indexation : Novel Enhancements* Composition du jury : - **Rapportrice :** Claire Lemaitre, Directrice de recherche, *IRISA, …

Rony Abecidan lauréat du prix de thèse Recherche et réflexion stratégique de la Gendarmerie Nationale pour sa thèse intitulée Stratégies d'apprentissage robustes pour la détection de manipulation d'images - Automatique, Génie informatique, Traitement du Signal et Image

En attendant Gödel, les logiciens pensaient que chaque assertion pouvait, sur la base d'un système d'axiomes, être démontrée fausse ou correcte. Or, la philosophe grec Épiménide avait énoncé un paradoxe troublant. Quand il prononce la phrase autoréférentielle : "Je mens", si c'est un mensonge, alors …

"Et si les neurotechnologies venaient au secours du cerveau, donc de l'homme, mais aussi d'une industrie vertueuse et sobre sur le plan énergétique, et à quelles conditions ?" Jeremie Dequidt, Othman Lakhal et Pierre Boulet, enseignants-chercheurs en informatique à CRIStAL répondent à cette …

Le projet FMPDP - Méthodes formelles pour des programmes probabilistes et pour la confidentialité différentielle lauréat de la campagne des *International Emerging Actions 2024*, appel à la Direction Europe et international du CNRS destiné à favoriser à l'exploration de nouveaux champs de recherche …