Jeudi 25 avril 2019 de 14h00 à 15h30 Auditorium IRCICA, 50 avenue Halley, parc scientifique de la Haute Borne à Villeneuve d’Ascq √ Abstract : The IoT fragmentation, issues and opportunities in software engineering research The IoT creates opportunities for many, novel applications. However, it also create issues due to the…
Jeudi 28 mars 2019 de 14h00 à 15h30 Auditorium IRCICA, 50 avenue Halley, parc scientifique de la Haute Borne à Villeneuve d’Ascq √ Abstract : Logipedia : vers un Wikipédia des démonstrations formelles Les démonstrations formelles, c’est-à-dire informatisées, sont devenues un outil central en informatique (sûreté, sécurité…) et en mathématiques. Cependant,…
Jeudi 21 février 2019 de 14h00 à 15h30 Amphi Ircica, Parc scientifique de la Haute Borne, 50 avenue Halley à Villeneuve d’Ascq Titre : Les algorithmes de Parcoursup ? Résumé: « Parcoursup » est la plateforme nationale d’admission en première année de l’enseignement supérieur, mise en place en 2018 suite…
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…