Damien ERNST- The GREDOR project

Jeudi 24 mars 2016 de 14h00 à 15h30 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 through a class …

Lire la suite

Philip Wadler – Propositions as Types

Jeudi  25 février 2016 de 14h00 à 15h30 – ANNULE

 Auditorium Ircica, 50 avenue Halley  à Villeneuve d’Ascq

Ce colloquium est co-organisé avec le séminaire « Interactions entre informatique, logique et langage : histoire et philosophie » de l’Université Lille 3

√ Abstract :

The principle of Propositions as Types links logic to …

Lire la suite

Ari Levant – Black-Box Control in Theory and Applications

Jeudi  28 janvier 2016 de 14h00 à 15h30

Auditorium IRCICA, parc scientifique de la Haute Borne à Villeneuve d’Ascq

√ Abstract :

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 …

Lire la suite

Andreas Zeller « Mining Sandboxes »

zeller150pxJeudi  26 novembre  2015 de 14h00 à 15h30

Ecole Centrale, Amphi Goubet cité scientifique  à Villeneuve d’Ascq

√ Abstract :  Modern test generation techniques allow to generate as many executions as needed; combined with dynamic analysis, they allow for understanding program behavior …

Lire la suite

Arun SEN « Strategic Analysis and Design of Robust and Resilient Interdependent Power and Communication Networks with a New Model of Interdependency »

Jeudi  24 septembre  2015 de 14h00 à 15h30

Amphi Turing, Bât M3 cité scientifique  à Villeneuve d’Ascq

√ Abstract :  The critical infrastructures of the nation such as the power grid and the communication network are highly interdependent. Recognizing the need for a deeper understanding of the interdependency in a multi-layered …

Lire la suite

Tova Milo, Rendre plus sage la sagesse collective

Jeudi  26 mai 2011 de 14h00 à 15h30

Auditorium IRCICA, parc scientifique de la Haute Borne à Villeneuve d’Ascq

√ Abstract :

Many popular sites, such as Wikipedia and Tripadvisor, rely on public participation to gather information—a process known as crowd data sourcing. While this kind of collective intelligence is …

Lire la suite