Actualités

SAT Competition 2017

Chu-Min Li (équipe GOC) et des collègues de l'Université de Huazhong (Chine) et Barcelone (Espagne) remportent la competition SAT 2017

Cette compétition permet de confronter des solvers de problèmes Boolean Satisfiability (SAT). Elle est organisée en parallèle de la Conference Internationale Theory and Applications of Satisfiability Testing and stands, qui s'est déroulée cette année à Helsinki.

 

Smart assisted mobility through shared control techniques

Dans le cadre du projet ADAPT (Interreg IV A FMA), Tom Carlson, enseignant-chercheur de l’University College of London, donnera un séminaire intitulé « Smart assisted mobility through shared control techniques » ce jeudi 21 septembre à 14h en salle 301 du MIS. Il abordera, notamment, des problématiques de commande partagée utilisateur/automatique dans le cadre « santé » du fauteuil roulant instrumenté. 

Pages