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. Entrée libre.
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. Entrée libre.
Nos derniers orateurs
Rodolphe Sepulchre – Spiking Control Systems
October 3rd, 2024 Spikes and rhythms organize control and communication in the animal world, in contrast to the bits and clocks of digital technology. As continuous-time signals that can be counted, spikes have a mixed nature. This talk will review ongoing efforts to develop a control theory of spiking systems. The central thesis is that…
Jean Claude Bajard – Des systèmes de numération pour le calcul modulaire
16 mai 2024 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écessite principalement une division. Dans la pratique, cependant, le modulo est souvent fi xe, par exemple lorsqu’on calcule sur un corps fi ni, et il est donc…
Simone Göttlich – A multi-scale model hierarchy for material flow problems
April 18th, 2024 – 11:00 am The material flow problems under consideration are inspired by real experiments and allow for a multi-scale model hierarchy description. Starting from a detailed microscopic model based on individual trajectories, a corresponding macroscopic model is derived, leading to conservation laws with non-local interaction term. Both modeling approaches are fitted against…
Mustafa Khammash – Designing and Building Adaptive Genetic Control Systems
March 14th, 2024 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 concept of robust perfect adaptation (RPA), a phenomenon where a system maintains a specific variable at a setpoint despite persistent perturbations. The objective of this talk…
Nelly Litvak – Projection methods for community detection in complex networks
December 5th, 2023 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 of nodes that are more densely connected to each other than to the rest of the network. These could…
Robert Harper – A Cost-Aware Logical Framefork
October 17th, 2023 The computational view of intuitionistic dependent type theory is as an intrinsic logic of (functional) programs in which types are viewed as specifications of their behavior. Equational reasoning is particularly relevant in the functional case, where correctness can be formulated as equality between two implementations of the same behavior. Besides behavior, it…
Petra Mutzel – Graph Similarity
May 25th, 2023, 11:00 am Bio: Petra Mutzel is professor of Computational Analytics at the University of Bonn, where she is also the scientific director of the High Performance Computing and Analytics Lab at the Digital Science Center. Before she was professor at TU Dortmund University and at Vienna University of Technology. She received her…
