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 …

Abstract : The principle of Propositions as Types links logic to computation. At first sight it appears to be a simple coincidence—almost a pun—but it turns out to be remarkably robust, inspiring the design of theorem provers and programming languages, and continuing to influence the forefronts …

The MOOC «Programmation objet immersive en Pharo/ Live Object Programming in Pharo» will soon be available on the France Université Numérique platform. This 7-week bilingual French/English course will be taught by Stéphane Ducasse (Inria), Damien Cassou (Université de Lille, CRIStAL, Inria) and …

Support and promote the Tour de France project in a wheelchair. Khalil Ibrahim HAMZAOUI, 33, PhD student in computer science at CRIStAL, has the project to realize the first Tour de France Scientifique in a wheelchair. In 1983, Khalil was affected by polio with paraplegic sequelae. Khalil …

The General Assembly of the unit will take place Friday, January 29, 2016 at 14 hours. Location: IUT A - Amphi 1A 14 (ground floor).

###"Black-Box Control in Theory and Applications" The control problem is the problem of regulating some process in order to achieve some control goals. Examples can be from economics, spaceflight, medicine, robotics, etc. A mathematical theory can be established if the control resources and the …

Venue: University of Paris 1 Panthéon-Sorbonne, ENS from 2pm to 5pm First session of Axis1 'Interactions between logic, computation and linguistics' of the seminar 'Reflections on computation, information and programming processes'. Wednesday 27 January at 2pm, IHPST, 13 rue du Four (2nf floor), …