[ANNULE] Serge Abiteboul –

[ANNULE]  Jeudi 22  février 2018 de 14h00 à 15h30
Amphi Ircica, Parc scientifique de la Haute Borne, 50 avenue Halley à Villeneuve d’Ascq

 Issues in Ethical Data Management Abstract : Data science holds incredible promise of improving people’s lives, accelerating scientific discovery and innovation, and bringing …

Lire la suite

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