Colloquium Jacques Morgenstern
Description
Série de conférences mensuelles, le Colloquium Jacques Morgenstern expose les recherches les plus actives et les plus prometteuses dans le domaine des Sciences et Technologies de l’Information et de la Communication (STIC). Les orateurs, français ou étrangers, sont des personnalités de premier plan, informaticiens, mathématiciens ou spécialistes de domaines où l'informatique est appelée à jouer un rôle majeur.
Les exposés couvrent une problématique suffisamment large pour intéresser tous les chercheurs, ingénieurs et étudiants concernés par l’avenir des STIC. Le colloquium porte le nom de Jacques Morgenstern, professeur de mathématiques à l'Université de Nice Sophia Antipolis, spécialiste de la théorie de la complexité algébrique et l’un des pionniers du calcul formel. Il a dirigé jusqu’à son décès tragique en 1994 une équipe commune à l’Université de Nice Sophia Antipolis, Inria et le CNRS.
Le colloquium est un élément de la formation de l’Ecole Doctorale STIC.
Conférence
Des systèmes de numération pour le calcul modulaire
Bajard
Jean-Claude
Le calcul modulaire est utilisé dans de nombreuses applications des mathématiques, telles que la cryptographie. La réduction modulaire dans un contexte très général est coûteuse, car elle n
A multi-scale model hierarchy for material flow problems
Göttlich
Simone
The material flow problems under consideration are inspired by real experiments and allow for a multi-scale model hierarchy description.
Designing and Building Adaptive Genetic Control Systems
Khammash
Mustapha
Adaptation is a recurring theme in biology, offering vital survival mechanisms in dynamic environments through precise regulation of physiological variables. This talk dives into the intriguing
Projection methods for community detection in complex networks
Litvak
Nelly
Community detection is one of most prominent tasks in the analysis of complex networks such as social networks, biological networks, and the world wide web. A community is loosely defined as a group
Graph Similarity
Mutzel
Petra
Graph similarity is the basis for many graph and network analyzing tasks.We will discuss similarity concepts for graphs that are relevant for analysis tasks on graph data sets. These include graph
Integrating Simulation, Machine Learning, and High-performance Computing to Support Public Health D…
Ozik
Jonathan
Integrating Simulation, Machine Learning, and High-performance Computing to Support Public Health Decision Making
Research in Knowledge-Enhanced Machine Learning at the Center for Artificial Intelligence (C4AI)
Cozman
Fabio Gagliardi
Research in Knowledge-Enhanced Machine Learning at the Center for Artificial Intelligence (C4AI)
Information Structures for Privacy and Fairness
Palamidessi
Catuscia
Information Structures for Privacy and Fairness
AI and Human Decision-Making: An Interdisciplinary Perspective
Castelluccia
Claude
This seminar will talk about some of the privacy risks of these systems and will describe some recent attacks. It will also discuss why they sometimes fail to deliver. Finally, we will also show that
Statistical Learning Theory for Modern Machine Learning
Shawe-Taylor
John
Statistical Learning Theory for Modern Machine Learning
Teasing journalistic findings out of heterogeneous sources: a data/AI journey
Manolescu Goujot
Ioana Gabriela
Freedom of the press is under threat worldwide, and the quality of information that people have access to is dangerously degraded, under the joint threat of non-democratic governments and fake
An Introduction to Iris: Higher-Order Concurrent Separation Logic
Birkedal
Lars
Modern programming languages such as Java, Scala, and Rust are examples of concurrent higher-order imperative programming languages.
Intervenants
France
Titulaire du Doctorat en Sciences (Lyon 1, 1993). Maître de conférences à l'Université de Marseille (en 1997). Professeur des universités. Université Montpellier 2, Laboratoire d'informatique de robotique et de microélectronique de Montpellier (LIRMM) - UMR 5506 (2006). Membre du Laboratoire d’informatique de Paris 6 (Lip6) de Sorbonne Université (en 2023).
Allemagne
Professeur de mathématiques à l'université de Mannheim, Allemagne (en 2023)
États-Unis
Professeur au département de science et d'ingénierie des biosystèmes, ETH Zurich (en 2024)
Pays-Bas
Mathématicienne. - Professeure en Algorithmes pour les réseaux complexes, Université de Twente, Pays-Bas (en 2016, en 2023)
États-Unis
Chercheur en informatique au laboratoire national d'Argonne, chercheur principal au Consortium for Advanced Science and Engineering à l'université de Chicago, et Senior Institute Fellow, Northwestern Argonne Institute of Science and Engineering (NAISE), université de Northwestern.
Brésil
Ecole polytechnique, Université de São Paulo
Italie
Directrice de recherche Inria, en poste au Centre Inria de Saclay, Palaiseau. Membre du LIX - Laboratoire d'informatique de l'École polytechnique.
France
Directeur de thèse à l'Institut national polytechnique de Grenoble, en poste à l'INRIA (Projet Planète) (en 2004) Auteur d'une Thèse de doctorat en Sciences appliquées (Nice, 1996) Co-directeur d'une thèse préparée au Centre d'Innovation en Télécommunications et Intégration de services (CITI) et soutenue à l'INSA Lyon en 2020 Co-directeur d'une thèse préparée au Centre d'Innovation en Télécommunications et Intégration de services (CITI) et soutenue à l'INSA Lyon en 2021
Royaume-Uni
Professor of computing science at Royal holloway, University of London, UK
France
Chercheur à l'Inria Saclay, Palaiseau, FR (en 2013)
Professeur, Aarhus University en 2014