Vous êtes tous invités à la réunion annuelle 2019 du Groupe 'Contrôle et Calcul Scientifique' de CRIStAL. Cette année, la réunion CO2 sera organisée sous la forme d’une session interactive (ordinateur portable) basée sur les présentations données par les doctorants. La présentation interactive se …

L’intelligence artificielle (IA) est aujourd'hui très présente dans le quotidien des citoyens, il est indispensable de fournir des explications sur les prédictions et décisions prises par les systèmes d'IA. L'objectif de cette alliance, regroupant les acteurs académiques régionaux en …

Logipédia : Vers un wikipédia des démonstrations formelles. Les démonstrations formelles, c’est-à-dire informatisées, sont devenues un outil central en informatique (sûreté, sécurité…) et en mathématiques. Cependant, chaque système – Coq, HOL Light, Isabelle/HOL, PVS… – implémente son langage …

HAID 2019 est un workshop, point de rencontre entre trois communautés : haptique, audio et design d’interaction. Sur cette édition, les organisateurs veulent faire un focus sur les relations entre l'industrie et le monde académique. La première journée sera consacrée aux échanges entre …

Le thème de cette séance est : "Musique, temps et programmes informatiques", avec la participation de : - Martin Carlé, /Accessing the Turing-completeness of Ancient Greek music theory by means of literate programming/ - Jean-Louis Giavitto, /Time, timelines, cuelists and clotheslines in mixed …

Géry Casiez et Mathieu Nancel de l’équipe Loki sont lauréats du programme Google Faculty Research Awards pour leur projet intitulé "Real-time Latency Measure and Compensation”. Les participants doivent en amont être soutenus par deux employés de Google puis la demande suit un processus rigoureux …

Vous connaissez, avez participé à une JEIA, journée de l'enseignement de l'informatique et de l'algorithmique. Pour cette 5e édition, nous vous préparons une JEIA spéciale IA, intelligence artificielle, avec des conférences en lien avec l'IA le matin et des ateliers, en lien avec l'IA - ou pas, …

«Parcoursup» est la plateforme nationale d’admission en première année de l’enseignement supérieur, mise en place en 2018 suite au vote de la loi ORE, en remplacement d’APB (Admission Post-Bac). Cette plateforme assure la mise en relation des formations du supérieur (licences, BTS, IUT, écoles, …

Ce colloque s'inscrit dans l'alliance Hauts-de-France en Intelligence Artificielle « humAIn» (Intelligence Artificielle au service de l’humain). Cette alliance née d'une collaboration entre le CNRS, l’École Centrale de Lille, Inria, l'IMT Lille-Douai, l'université d'Artois, l'université de Lille, …

Les processus ponctuels fermion ont été introduits par Odile Macchi en 1975 pour modéliser la distribution spatiale des fermions dans les faisceaux optiques. Depuis lors, ces processus ponctuels ont connu une vie propre en physique, en probabilité, en statistique, en apprentissage automatique et en …