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).

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, …

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

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 …

"Towards natural interactions between users and artificial agents" Recent technological advances now make it possible to interact with computer systems in a wide variety of contexts. The new generation of systems will take advantage of these new modes of interaction, which are already found in …