Mardi 13 mai 2025 de 14h00 à 15h30 Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq Les classifieurs de fonctions binaires sont des méthodes génériques qui jouent un rôle crucial dans le contrôle de l’intégrité logicielle d’un système, notamment en détectant des portes dérobées, des…
Jeudi 13 mars 2025 de 14h00 à 15h30 Salle plénière – Centre Inria de l’Université de Lille – Villeneuve d’Ascq Abstract: In this talk, we will discuss some challenges encountered by software manufacturers who build safety-critical and certifiable software. We will focus on the challenge of specifying and verifying requirements.…
Mardi 25 février 2025 de 14h30 à 16h Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq Abstract: Bandit models are well-studied in the machine learning community due to numerous applications to online content optimization. In a multi-armed bandit model, an agent sequentially tries different actions,…
Jeudi 23 janvier 2025 de 14h0 à 15h30 Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq Les algorithmes sont partout. Depuis quelques temps ce que l’on appelle communément l’IA a fait son apparition dans des domaines divers et variés et semble de plus influer sur nos…
Jeudi 18 avril 2024 de 14h0 à 15h30 Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq La bibliothèque numérique collaborative Wikisource peut être utilisée, aux côtés d’autres bibliothèques électroniques comme le projet Gutenberg, comme une source de textes pour des projets de recherche en traitement…
Jeudi 28 mars 2024 – de 14h à 15h30 CRIStAL (Université de Lille) – Bâtiment ESPRIT- Avenue Henri Poincaré 59655 Villeneuve d’Ascq – Colloquium Polaris un peu particulier. On vous propose la visite de la plateforme PRETIL Abstract : La plateforme PRETIL du laboratoire CRIStAL offre des services de développements et…
Jeudi 15 février 2024 de 14h30 à 16h Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq Abstract: Over the past 5 years, machine learning has revolutionised program synthesis. But the problem is far from solved. In this talk we’ll present neurosymbolic approaches to program synthesis and…
Jeudi 23 novembre 2023 de 14h à 15h30 Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq Abstract: The last few years has seen a proliferation of digital work and education platforms from crowdsourcing and freelancing marketplaces to MOOC-type platforms. These levers for sharing knowledge and learning…
Sorry, but you do not have permission to view this content.
Jeudi 16 mars 2023 de 14h à 15h30 Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq Abstract : Security protocols are widely used today to secure transactions that take place through public channels like the Internet. Typical functionalities are the transfer of a credit…
