Auditorium Ircica, 50 avenue Halley à Villeneuve d’Ascq ###"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 …

READ MORE

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 …

READ MORE

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 …

READ MORE

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 …

READ MORE

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

READ MORE

Auditorium IRCICA, parc scientifique de la Haute Borne à Villeneuve d’Ascq ###"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, …

READ MORE

On 1 January 2016, Hélène Touzet became acting director of the Research Group (GDR) Molecular Bioinformatics (BIM). She succeeds Éric Rivals.

READ MORE

The animation by artist and musician Zviane and the research team Algomus is an original visualization of harmonic functions, that is, chords and their sequences, in the beginning of a Mozart piano sonata. The emerging Algomus team, led by Mathieu Giraud, a CNRS researcher, is a collaboration …

READ MORE
Highlights