Pierre Marquis –
Jeudi 26 novembre de 14h00 à 15h30 Amphi Ircica – 50 avenue Halley – Haute Borne – Villeneuve d’Ascq Plus d’information à venir
Catégorie : Collection
James Noble – Programming Language as Language
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…
Thomas Leimkuehler – From Neural Fields through 3D Gussian Splatting to Neural Splatting
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…
Nicolas Rougier – CODE beyond FAIR
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…
Sarah Cohen Boulakia – Ten years after the reproducibility crisis in bioinformatics: Workflows reuse in the ShareFAIR project
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…
Cyril Nicaud – Towards a more realistic analysis of algorithms
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…
Felienne Hermans – Feminism & programming language design
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…
Giuseppe Lipari –Modular Timing Analysis of Embedded Real-Time Systems
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…
Jean-Yves Marion – Conception d’attaques sur la chaîne logistique logicielle
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…
Ghizlane El Boussaidi – Crafting Safety: When Models Meet Templates for Software Requirements Specification
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.…