Nous vous attendons nombreux à Lille le mardi 23 avril prochain pour notre premier atelier thématique du Collectif des Chercheurs Œuvres et Recherches : « Les relations art-sciences et les enjeux de la médiation », événement labellisé « 80 ans du CNRS » !

LIRE PLUS

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 …

LIRE PLUS

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 …

LIRE PLUS

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 …

LIRE PLUS

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 …

LIRE PLUS

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 …

LIRE PLUS

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 …

LIRE PLUS

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, …

LIRE PLUS

«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, …

LIRE PLUS

Colloque humAIn

8 février 2019

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, …

LIRE PLUS