La série de conférences de l’IEEE sur la reconnaissance automatique du visage et des gestes est le premier forum international pour la recherche sur la reconnaissance du visage, des gestes et des mouvements du corps basés sur l’image et la vidéo. Son large champ d’action comprend : les progrès de la …

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 …

La conférence CoDIT'19 est la sixième (6e) édition de la série de la Conférence internationale sur le contrôle, la décision et les technologies de l'information, organisée depuis 2013, la précédente CoDIT'18 s'étant tenue à Thessalonique, en Grèce, en avril 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 …