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 …

En mathématiques, les magmas sont les structures algébriques les plus simples. Pourtant, l'étude des équations qu'ils vérifient se révèle techniquement complexe et mathématiquement riche. Le projet des théories équationnelles, lancé par le mathématicien Terence Tao, s'appuie sur le travail …

L'histoire regorge d'anecdotes de tirages atypiques qui suscitent des soupçons de tricherie...fondés ou non. Les mathématiques permettent de différencier les coïncidences statistiques et les manipulations illicites. Jean-Paul Delahaye article magazine "Pour la Science"

La junior association WeOcean organise "Clim'act", toute une journée de rencontres, prises de paroles de spécialistes, etc, autour de l'environnement et de l'engagement citoyen, avec une fête en point final. Adrien Luxey-Bitri article pour le journal "La voix du Nord"

Le lundi 07 juillet 2025 s'est déroulé la journée du Laboratoire. L'accueil s'est fait à Polytech'Lille, suivi de plusieurs présentations : - *Présentation générale de l’Unité par Clarisse Dhaenens, Directrice* ; Présentations autour du développement duable : - *Frugalité numérique par …

Le 1er juillet dernier a eu lieu la Cité de l'IA Summit, un rendez-vous soutenu par l'Université de Lille. *Rencontre avec Clarisse Dhaenens, directrice de CRIStAL et Émilie Kaufmann, chargée de recherche à CRIStAL dans l'équipe SCOOL.* Article dans le magazine du MEDEF "Influx Le mag"

L'interdisciplinarité n'est pas une fin en soi mais une exigence pour aborder les problèmes de plus en plus complexes à laquelle la recherche scientifique fait face. Afin d'échanger et d'approfondir la réflexion autour de ce mode de travail et des méthodes associées, la Mission pour les initiatives …

01 July 2025 at 2.00 pm The seminar will be held in English ** Short Bio** Renato Mancuso is an associate professor in the Computer Science Department at Boston University and the director of the BU Cyber-Physical Systems Lab. Renato received his Ph.D. from the Department of Computer Science …