Le but du GDR BioComp est de faciliter les échanges interdisciplinaires en France autour d’un but commun : la réalisation de systèmes matériels bio-inspirés.

Fragmentation de l’IoT, enjeux et opportunités dans la recherche en génie logiciel L’IoT crée des opportunités pour de nombreuses applications innovantes. Cependant, cela crée également des problèmes dus à la fragmentation du matériel et des logiciels exécutant (sur) l’IoT. Cette fragmentation …

The CoDIT’19 conference is the sixth (6th) edition in the series of the International Conference on Control, Decision and Information Technologies, organized since 2013, the previous one CoDIT'18 having held in Thessaloniki, Greece, in April 2018.

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 » !

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 …