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…
Jeudi 9 juillet 2015 de 14h00 à 15h30 Auditorium IRCICA, parc scientifique de la Haute Borne à Villeneuve d’Ascq √ Abstract : Latent variable models are the cornerstone for many machine learning problems. As data grows in size and complexity, it is a contemporary challenge todevelop scalable and distributed algorithms for…
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 extremely…
