Jeudi 28 mai de 14h00 à 15h30Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq Abstract: Programming languages are languages — “unnatural” languages because they are constructed explicitly; “formal” languages because they rely on mathematical notations and are described mathematically; “machine” languages because they are used…
Jeudi 26 mars de 14h00 à 15h30Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq Abstract: Neural Fields, or Neural Implicit Representations, have become a cornerstone of visual computing and beyond, offering ompact and expressive continuous representations. Among them, Neural RadianceFields (NeRFs) have transformed how we model…
Jeudi 22 janvier de 14h00 à 15h30 Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq Nicolas Rougier – CODE beyond FAIR Bio: Nicolas P. Rougier is a senior researcher in computational cognitive neuroscience at Inria, working at the Institute of Neurodegenerative Diseases (Bordeaux, France) where he…
Jeudi 18 décembre 2025 de 14h00 à 15h30 Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq Sarah Cohen Boulakia – Ten years after the reproducibility crisis in bioinformatics: Workflows reuse in the ShareFAIR project Bio: Sarah Cohen-Boulakia is a full Professor at Université Paris-Saclay. She is…
Jeudi 16 octobre 2025 de 14h00 à 15h30 Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq Cyril Nicaud – Towards a more realistic analysis of algorithms Short Bio: Cyril Nicaud obtained his PhD from Paris 7, then became Associate Professor and later Full Professor at…
Jeudi 30 avril de 14h00 à 15h30Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq Felienne Hermans – Feminism & programming language design Short bio: Felienne is a professor of Computer Science Education at the Vrije Universiteit Amsterdam. She also works as a high-school CS teacher one…
Jeudi 26 juin 2025 de 14h00 à 15h30 Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq Abstrat: Embedded Real-Time Systems (ERTS) are electronic appliances that interact with their environment to accomplish a certain goal, and for which the result of certains computations must be provided within…
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,…