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 …

What Does Our 3D Face Shape Say About Us? For contribution to 3D shappe analysis and retrieval and related applications. IAPR Newletter, Vol. 38 N° 2, Apr. 2016 - Page 3-4

2 positions 27/ 61 at Centrale Lille. Application before 18 April 2016. Positions 27 and 61 at Université Lille 1. Concerns IEEA (27 and 61), IUT (27), Polytech Lille (27). Application before 28 April 2016.

Access to what we see, before formulating sentences: this is the objective of a research project that combines art history and computer science. Project members: ◾Mathias Blanc (CNRS laboratory IRHIS), coordinator. ◾François Gabrielli (CNRS laboratory IRHIS) (end 08/2014). ◾Cécile …

Mathias Blanc, project coordinator (IRHiS), François Gabrielli (IRHiS), Cécile Picard-Limpens (IRHiS), Florian Renaut (CRIStAL) and Julien Wylleman (CRIStAL). Presented at Innovatives SHS 2015, the VisUALL-tek project offers a library of computer applications made up of three software tools: …

With the end of Moore’s Law, the power of your smartphones will no longer explode, but that’s good news. Article of 28/03/2016.

The Vasco port robotics project, involving the Centre de Recherche en Informatique, Signal et Automatique (Lille1) and the Institut de Recherche en Communications et Cybernétique (Nantes2), has been awarded 8.8 million euros under the Future Investment Program. The aim is to develop a fully …

You are invited to the launch of the University of Lille's Maison de la Simulation Tuesday, March 29, 2016 at 2pm at Polytech Lille - Cité Scientifique - Villeneuve d'ascq With the deployment of hardware infrastructures for supercomputing at both national and European level, researchers now …

###"The GREDOR project: rethinking the way distribution networks are operated" Abstract: In Europe, concern on the environmental impact of the electricity industry is currently driving the growth of renewable electricity generation through a class of financial support mechanisms . Such …

Place: STL, Université Lille 3 from 2:00 p.m. to 5:00 p.m. Félice CARDONE, (University of Torino), TBA, <http://www.di.unito.it/~felice/> Jean LASSEGUE, (Institut Marcel Mauss/EHESS), Mécanisme et écriture; les racines culturelles du calcul. It is with pleasure that we announce the …