###"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), …

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 …