Prochaines conférences

Alexei A. Efros

Self-Supervised Visual Learning and Synthesis
28 novembre 2019

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.

Nos derniers orateurs

Luca Aceto – Theoretical Foundations for Runtime Monitoring
 

Luca Aceto – Theoretical Foundations for Runtime Monitoring

Tuesday, Sept.10th, 2019 – 11:00 am Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not...
Laurence Calzone – Cancer network modelling: towards personalised medicine
 

Laurence Calzone – Cancer network modelling: towards personalised medicine

June 13th, 2019 Personalised medicine is one of the challenges of systems biology. If some clinical trials have already explored the possibility to treat patients individually based on their genomic profiles, there are more and more attempts to use mathematical models as an aid to select therapies in the clinics....
Alexandra Silva – CoNeCo: Concurrency, Networks and Coinduction
 

Alexandra Silva – CoNeCo: Concurrency, Networks and Coinduction

May 16th, 2019 In recent years, concurrent Kleene algebra (CKA), an extension of Kleene Algebra (KA) that includes concurrent composition as a first-class citizen, has been proposed by Hoare et al. as a setting to study the algebraic properties of concurrent composition as an operator on programs.  Orthogonally, based on...
Andrew Stuart – The Legacy of Rudolph Kalman
 

Andrew Stuart – The Legacy of Rudolph Kalman

March 28th, 2019 In 1960 Rudolph Kalman published what is arguably the first paper to develop a systematic, principled approach to the use of data to improve the predictive capability of mathematical models. As our ability to gather data grows at an enormous rate, the importance of this work continues to grow...
Anne Siegel – Reasoning over large-scale biological systems with heterogeneous and incomplete data
 

Anne Siegel – Reasoning over large-scale biological systems with heterogeneous and incomplete data

February 7th, 2019 Data produced by the domain of life sciences in the next decade are expected to be highly challenging. In addition to scalability issues which are shared with other applications domains, data produced in life sciences have very specific characteristics: multi-scale, incomplete, heterogeneous but somehow interdependent. This makes...
Rida Laraki – Majority judgment: a new voting method
 

Rida Laraki – Majority judgment: a new voting method

December 11th 2018 The traditional theory of social choice offers no acceptable solution to the problems of how to elect, to judge, or to rank. The classical model —transforming the “preference lists” of individuals into a “preference list” of society— is fundamentally flawed in both theory and practice. We propose...