Jeudi 31 mai 2018 de 14h00 à 15h30 Amphi Ircica, Parc scientifique de la Haute Borne, 50 avenue Halley à Villeneuve d’Ascq Monnaies cryptographiques et blockchains : succès et incertitudes Abstract : Monnaies cryptographiques, Bitcoin, Ethereum, blockchains publiques et privées, minage, smart-contract, ICO, etc. Les événements se succèdent à grande…
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 about positive societal change. Yet,…
Vendredi 27 octobre 2017 de 14h00 à 15h30 Amphi Bacchus, Bât M 5 avenue Paul Langevin, Cité scientifique à Villeneuve d’Ascq Ce colloquium est joint avec le département de philosophie. What is the concept of computation ? Abstract: The Church-Turing Thesis asserts that particular mathematical notions are adequate to represent…
Jeudi 23 juin 2016 de 14h00 à 15h30 Auditorium IRCICA, parc scientifique de la Haute Borne à Villeneuve d’Ascq Title: Analysis of Data-Centric Workflows √ Abstract : Software systems centered around databases have become pervasive in a wide variety of applications, including health-care management, e-commerce, business processes, scientific workflows, and e-government. …
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…
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…
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…
Jeudi 17 décembre 2015 de 14h00 à 15h30 Auditorium Ircica, 50 avenue Halley à Villeneuve d’Ascq √ Abstract : Les avancés technologiques récentes rendent maintenant possibles des modalités d’interaction très variées avec les systèmes informatiques et ce dans des contextes d’usage de plus en plus diversifiés. La nouvelle génération de systèmes…
Jeudi 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 in situations where static analysis is challenged or impossible.…
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…
