2024
- 3 octobre 2024 : Spiking Control Systems, de Rodolphe Sepulchre (KU Leuven and Univ. of Cambridge)
- 16 mai 2024 : Des systèmes de numération pour le calcul modulaire, de Jean-Claude Bajard (Sorbonne Université Paris)
- 18 avril 2024 : A multi-scale model hierarchy for material flow problems , de Simone Göttlich (Univ. de Mannheim)
- 14 mars 2024 : Designing and Building Adaptive Genetic Control Systems, de Mustafa Khammash (ETH Zurich)
2023
- 5 décembre 2023 : Projection methods for community detection in complex networks, de Nelly Litvak (Eindhoven University of Technology)
- 17 octobre 2023 : A Cost-Aware Logical Framework, de Robert Harper (Carnegie Mellon University)
- 25 mai 2023 : Graph Similarity, de Petra Mutzel (Univ. Bonn)
- 25 avril 2023 : Downscaled Probabilistic Climate Change Projections, with Application to Hot Days, de Adrian Raftery (Univ. of Washington)
- 30 mars 2023 : Integrating Simulation, Machine Learning, and High-performance Computing to Support Public Health Decision Making, de Jonathan Ozik (Argonne National Laboratory and Univ. of Chicago)
- 5 janvier 2023 : Research in Knowledge-Enhanced Machine Learning at the Center for Artificial Intelligence (C4AI), par Fabio Cozman (Universidade de São Paulo)
2022
- 15 décembre 2022 : Information Structures for Privacy and Fairness, par Catuscia Palamidessi (Inria Saclay)
- 22 novembre 2022 : AI and Human Decision-Making: An Interdisciplinary Perspective, par Claude Castelluccia (Inria Rhône Alpes)
- 30 septembre 2022 : Statistical Learning Theory for Modern Machine Learning, par John Shawe-Taylor (UCL, IRCAI, coordinateur scientifique de la Chaire UNESCO d’IA)
- 2 juin 2022 : Teasing journalistic findings out of heterogeneous sources: a data/AI journey, par Ioana Manolescu (Inria Saclay)
- 10 mars 2022 : Opponency revisited, par Sabine Süsstrunk (EPFL)
2021
- 23 sept. 2021: An Introduction to Iris: Higher-Order Concurrent Separation Logic, by Lars Birkedal (Aarhus University)
- 24 juin 2021 : Opinion polarization and network segregation. Modelling a complex Relationship, de Andreas Flache (University of Groningen)
- 20 mai 2021 : 21 Molecular Algorithms Using Reprogrammable DNA Self-Assembly, de Damien Woods (Hamilton Institute, Maynooth University)
- 20 avril 2021 : Topological insights in neuroscience, de Kathryn Hess (EPFL)
2020
- 30 janvier 2020 : The quest for long-lived quantum bit, de Mazyar Mirrahimi (Inria)
2019
- Bertrand Meyer – How to build quality software: the Eiffel experience
- Alexei A. Efros – Self-Supervised Visual Learning and Synthesis
- Luca Aceto – Theoretical Foundations for Runtime Monitoring
- Laurence Calzone – Cancer network modelling: towards personalised medicine
- Alexandra Silva – CoNeCo: Concurrency, Networks and Coinduction
- Andrew Stuart – The Legacy of Rudolph Kalman
- Anne Siegel – Reasoning over large-scale biological systems with heterogeneous and incomplete data
2018
- Rida Laraki – Majority judgment: a new voting method
- Jean-François Cardoso – Les premiers photons : les saisir, les faire parler
- Vittorio Ferrari – Knowledge transfer and human-machine collaboration for training object class detectors
- Jacques Demongeot – Biological Networks Entropies: examples in neural, genetic and social networks
- Josselin Garnier – A l’écoute du bruit – L’imagerie par corrélations croisées
- Nicolas Schabanel – Folding Turing is hard but feasible, by Nicolas Schabanel
- Franck Varenne – An extensionalist analysis of computer simulations
2017
- Julia Lawall – Coccinelle: synergy between programming language research and the Linux kernel
- Marta Kwiatkowska – Safety Verification of Deep Neural Networks, par (Univ. d’Oxford)
- Richard Szeliski – Visual Reconstruction and Image-Based Rendering
- Lawrence Paulson – Proof Assistants: From symbolic logic to real mathematics?
- Jean-Christophe Thalabard – Mathématiques, Statistiques et Médecine: des collaborations plus que jamais nécessaires
- Valérie Berthé – Numbers, computers and dynamical systems
- Gabriel Peyré – Numerical Optimal Transport and Applications
2016
- Brian Cantwell Smith – Semantics in the Time of Computing
- David Harel – On Artificial Olfaction, and How to Test For It
- Jean-Paul Delahaye – Le Bitcoin et les monnaies cryptographiques
- Marie-Paule Cani– Towards the Expressive Design of Virtual Worlds: Combining Knowledge and Control
- Ashish Goel – Decision making at scale: Algorithms, Mechanisms, and Platforms
- Peter Selinger – Number-theoretic methods in quantum computing
2015
- Jean-Paul Laumond – Un regard géométrique sur l’action anthropomorphique
- David Salesin – Observations On Doing Research and On Creating Sublime User Experience
- Pierrick Gaudry – Le logarithme discret: de la théorie des nombres à la sécurité d’internet
- François Pachet – Music and Text Generation « in the style of »
- Dennis Shasha – The Changing Nature of Invention in Computer Science
- Isabelle Gallagher – Des équations de Newton à l’équation de la chaleur
2014
- Gérard Berry Collège de France – Esterel et SCADE (1/3) : La vision labo
- Gérard Berry Collège de France – Esterel et SCADE (2/3) : La vision industrielle
- Gérard Berry Collège de France – Esterel et SCADE (3/3), Urgences scientifiques posées par l’industrie: masquages d’horloges, circuits multi-horloges, ECOs et vérification formelle
- Juliette Leblond – Le traitement du temps en automatique
- Patrick Flandrin – Une fréquence peut-elle être instantanée
- Matthieu Moy – Prototypage virtuel de système sur puce pour une simulation rapide et fidèle
- Laurent Maillet-Contoz – Prototypage virtuel de système sur puce pour une simulation rapide et fidèle
- Anne-Marie Kermarrec – Scalable personalization infrastructures
- Alexandre D-Aspremont – Optimisation et apprentissage
- Felipe Cucker – On a Problem Posed by Steve Smale
- Rudolf Emil Kalman – Can it be done in software ?
- Davide Sangiorgi – An introduction to coinduction and the duality with induction.
- M. Bousquet Melou – Compter des cartes planaires colorées
2013
- Joëlle Coutaz – L’Interaction Homme-Machine, c’est plus qu’une affaire de peinture !
- Franck Molina – Ingénierie de systèmes biologiques synthétiques
- Rachid Guerraoui – Speculating Seriously in Distributed Computing
- Manuel Serrano – La programmation du Web diffus
- Jeffrey Shallit – The Frobenius Problem and Its Generalizations
- Elham Kashefi – Quantum Turing Test
- Patrick Valduriez – Cloud & big data: The perfect marriage?
- Alain Bensoussan – Théorie du contrôle, 50 ans après
- Zhen Liu – Comment passent à l’échelle les systèmes de la nouvelle vague de technologies
- Olivier Faugeras – Les mathématiques sont-elles utiles pour explorer le cerveau humain et mieux comprendre son fonctionnement ?
2012
- Guang-Zhong Yang – i-Snake – Imaging–Sensing Navigated and Kinematically Enhanced Surgical Robot
- Olivier Bournez – Calculer avec des modèles analogiques ou avec des aspects analogiques.
- Rémi Gribonval – La parcimonie : une valeur d’avenir ?
- Nicolas Bouleau – Risque, science, et pluralisme
- Véronique Cortier – Sécurité sur Internet ? La logique à la rescousse…
- Yves Frégnac – Approches multiéchelles du cerveau visuel : des échos synaptiques à la perception des formes et du mouvement
- Guust Nolet – Seismic Tomography : A Giant Inverse Problem
2011
- François Fages – Aspects sémantiques et algorithmiques du vivant
- Tony De Rose – Recent research at Pixar
- Don Towsley – Swarms: First Class Citizens in the Future Internet
- Myrna Wooders – Competition and Cooperation
- Jean-Claude Bermond – Graphes, hypergraphes et réseaux
- Alfio Quarteroni – Mathematical models for the cardiovascular system…
- Eric Goles – Réseaux d’automates: trente ans de recherche
- Fedor Fomin – Introduction to Kernelization
- Cordelia Schmid – Action recognition from video: some recent results
2010
- Brigitte Vallée – Théorie de l’information : modèles, algorithmes, analyse
- Jonathan Shewchuk – Dynamic Local Remeshing for Elastoplastic Simulation
- Wendy Mackay – Situated interaction and co-adaptive systems: creating a partnership between people and intelligent systems
- Jean-Marc Ané – Demain, l’énergie des étoiles sur terre ?
- Claude Berrou – Séminaire annulé
- Jean Doyen – L’Univers selon Leibniz, le graphe infini aléatoire et les structures combinatoires ultrahomogènes
- Georges Gonthier – Le génie mathématique, du théorème de quatre couleurs à la classification des groupes
2009
- Olivier Talagrand -Modélisation numérique du climat. Méthodes, résultats, promesses et limites
- Vin De Silva – Point-clouds, sensor networks, and persitence: algebraic topology in the 21st century
- Seth Teller – Development of self-driving car for the DARPA urban challenge
- Pascal Koiran – Près de 40 ans après le théorème de Cook, où en est la complexité algorithmique
- Claude Le Bris – Simulation numérique pour la science des matériaux : vers une mécanique moderne
- Xavier Leroy – Comment faire confiance à un compilateur ?
- Chris Cannings – Modelling evolutionary games
- James Pawley – Limitations and Tradeoffs ofg High Resolution LM Techniques
2008
- Gilles Dowek – La thèse de Church et la déraisonnable efficacité des mathématiques dans les sciences de la nature
- Franco Preparata – On the evolving profile and role of Computer Science
- Michael Levitt – Biologie structurale
- Michel Sorine – Systèmes dynamiques en réseaux : l’exemple du coeur
- Claire Mathieu – Théorie algorithmique et enchères cominatoires
- François Bourdoncle – Moteurs de recherche : technologies et enjeux
- Frédo Durand – Nouvelles approches en photographie algorithmique
- Laurent Thénié – La course à l’infiniment petit et ses challenges technologiques
2007
- Serge Abiteboul – Data Ring: let us turn the net into a database
- Olivier Faugeras – Problèmes de modélisation de l’activité corticale
- Paul Nival – Modélisation des chaines alimentaires marines et apport à l’exportation des océans
- Denis Noble – Principes de la biologie des systèmes illustrés par des modèles informatiques du coeur
- Luca Cardelli – Artificial biochemistry
- Jean-Jacques Slotine – Modularity, synchronization and what robotics may yet learn from the brain
- Martin Vetterli – Fourier, wavelets and beyond: the search for good bases for images
- Erol Gelenbe – Réseaux de neurones impulsionnels et réseaux stochastiques
- Mathias Fink – Onde et renversement du temps
- Persi Diaconis – The search for randomness
2006
- François Baccelli – Géométrie stochastique et réseaux de communication
- Michel Lazdunski – Les canaux ioniques : générateurs de bioélectricité, cibles essentielles de médicaments
- Bernard Lang – Ressources libres et propriété intellectuelle
- Chandrajit Bajaj – Geometry and signal processing for modeling bio-molecular interactions
- Robert Azencott – Automatic learning and multi sensor diagnosis
- Bernard Chazelle – Incertitude, imprécision et gigantisme : le nouveau défi informatique
- Bradley J. Nelson – From micro to nano robotics
- Bruno Stoufflet – Quelques enjeux pour la modélisation en conception
- Demetri Terzopoulos – The simulation of animals and humans for science and entertainment
2005
- Albert Bijaoui – Un signal particulier : l’Univers
- Stéphane Mallat – Traitement géométrique des images
- Konrad Polthier – Efficient optimization of curves and surfaces in CAD
- Ian Foster – The Grid: Reality, technology and applications
- Jean-François Abramatic – Quelques leçons tirées du développement et du déploiement du World Wide Web
- David Simplot-Ryl – Des étiquettes intelligentes aux poussières intelligentes
- Pierre Bernhard – Jeux dynamiques : une discipline frontière aux applications multiples
- Jean-Jacques Quisquater – Cryptographie et théorie des graphes ; de l’intégrité des données aux réseaux de nanosenseurs
2004
- Gérard Huet – La théorie de la fonctionnalité à la croisée des chemins entre Informatique, Logique et Linguistique
- Jean-Michel Muller – Le mauvais résultat tout de suite, ou le bon résultat trop tard ?
- Pierre Coullet – Peut-on stocker de l’information dans une « Structure de Turing » ?
- Alain Berthoz – Comment le cerveau simplifie la « neuro-computation »
- Jacques Stern – Conception et analyse d’algorithmes cryptographiques
- Nicholas Ayache – Imagerie médicale et informatique : du patient numérique au scalpel virtuel
- Nicole El Karoui – Risques financiers : assurance, gestion et quantification
- Allan Borodin – Réflexions sur la théorie des algorithmes
2003
- Philippe Flajolet – Entre mathématiques et informatique : l’analyse des algorithmes
- Pierre-Henri Gouyon – Sciences du vivant, mathématiques et informatique
- Martin Abadi – Computer security
- Jozef Gruska – Quantum information processing challenges
- Pierre-Louis Lions – Analyse, modèles et simulations
- Christian Huitema – Pair à pair et nouvelles applications de l’Internet
- Bjarne Stroustrup – Do general purpose languages have a future ?
- Maurice Nivat – Tomographie discrète
- Philippe De Reffye – GreenLab : un modèle dynamique de la croissance et de l’architecture des plantes et ses applications potentielles en agronomie
- Alessandra Carbone – Espace des génomes : géométrie et signification biologique
2002
- Michael Brady – Informatique et santé – Etat de l’art et perspectives