L'analyse statique du code C est difficile. Cet exposé explore l'utilisation d'un vérificateur C comme interprète, sacrifiant la solidité mais éliminant l’imprécision due à la sur-approximation. Ce mode d'analyse fonctionne mieux pour les systèmes qui ont des suites de tests très complètes, qu'elles …

Qu’est-ce que notre forme de visage 3D dit de nous? Pour contribution à l’analyse et à la récupération de formes 3D et applications connexes. IAPR Newletter, Vol. 38 N° 2, avril 2016 - Page 3-4

2 postes 27 / 61 à Centrale Lille. Candidature avant le 18 avril 2016. Postes 27 et 61 à l’Université Lille 1. Concerne IEEA (27 et 61), IUT (27), Polytech Lille (27). Candidature avant le 28 avril 2016.

Accéder à ce que l’on voit, avant de formuler des phrases : c’est l’objectif d’un projet de recherches qui mêle histoire de l’art et informatique. Les membres du projet : ◾Mathias Blanc (CNRS − laboratoire IRHIS), coordinateur. ◾François Gabrielli (CNRS − laboratoire IRHIS) (fin 08/2014). …

Mathias Blanc, coordinateur du projet (IRHiS), François Gabrielli (IRHiS), Cécile Picard-Limpens (IRHiS), Florian Renaut (CRIStAL) et Julien Wylleman (CRIStAL). Présenté lors du salon Innovatives SHS 2015, le projet VisUALL-tek propose une bibliothèque d’applications informatiques composée …

Avec la fin de la loi de Moore, la puissance de vos smartphones ne va plus exploser, mais c'est une bonne nouvelle. Article du 28/03/2016.

Le projet de robotique portuaire Vasco, auquel participe notamment le Centre de recherche en informatique, signal et automatique de Lille1 et l’Institut de recherche en communications et cybernétique de Nantes2, s’est vu attribuer une enveloppe de 8,8 millions d’euros dans le cadre du Programme …

Vous êtes invités au lancement de la Maison de la Simulation de l'Université de Lille Le mardi 29 mars 2016 à 14h à Polytech Lille - Cité Scientifique - Villeneuve d'ascq Avec le déploiement d’infrastructures matérielles pour le calcul intensif aussi bien au niveau national qu’européen, les …

Auditorium Ircica, 50 avenue Halley à Villeneuve d’Ascq. ###"Le projet GREDOR : repenser le fonctionnement des réseaux de distribution". Résumé : En Europe, les préoccupations relatives à l’impact environnemental de l’industrie électrique stimulent actuellement la croissance de la …

Lieu : STL, Université Lille 3 de 14 h à 17 h Félice CARDONE, (University of Torino), TBA, <http://www.di.unito.it/~felice/> Jean LASSEGUE, (Institut Marcel Mauss/EHESS), <http://formes-symboliques.org/spip.php?article84>, Mécanisme et écriture; les racines culturelles du calcul. C’est …