Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661) de 14 h à 17 h Jean-Paul Delahaye, (Université de Lille 1), TBA, <http://www.lifl.fr/~jdelahay/> Johan Granström, (Google Zürich), <http://research.google.com/pubs/JohanGranstrom.html>, Identity in Intuitionistic Type …

Alix Goguey de l’équipe MJOLNIR est finaliste … Venez nombreux l’encourager le mercredi 27 avril à 17 heures au siège de Région ! Il y a un prix du public… votre vote comptera. Inscription en ligne gratuite. ATTENTION : Merci de venir 1/2 heure avant le jour de l’événement pour le contrôle …

Sound static analysis of C code is difficult. This talk explores the use of a C verifier as an interpreter, sacrificing soundness but eliminating imprecision due to overapproximation. This mode of analysis works best for systems that have very thorough test suites, whether manually constructed or …

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. IPAR 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 …