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…
Jeudi 20 février 2014 de 14h00 à 15h30 Auditorium IRCICA, parc scientifique de la Haute Borne à Villeneuve d’Ascq √ Abstract : The number of software artefacts is growing at an astonishing speed, with Free Software components reused almost everywhere. This makes it every day more necessary to use tools to…
Jeudi 03 juillet 2014 de 14h00 à 15h30 Auditorium IRCICA, parc scientifique de la Haute Borne à Villeneuve d’Ascq √ Abstract : Online learning has become a standard tool in machine learning and large-scale data analysis. Learning is viewed as a repeated game between an adaptive agent and an ever-changing environment.…
Jeudi 15 décembre 2011 de 14h00 à 15h30 Auditorium IRCICA, parc scientifique de la Haute Borne à Villeneuve d’Ascq √ Abstract : Le prix Turing est considéré comme l’équivalent du prix Nobel pour l’informatique et les sciences du numérique. L’ensemble des 46 prix Turing déjà décernés dépeint ce qu’est notre science.…
