Prochaines conférences

Richard Szeliski

Visual Reconstruction and Image-Based Rendering
12 septembre 2017

Marta Kwiatkowska

Safety Verification of Deep Neural Networks
19 octobre 2017

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.

Nos derniers orateurs

Lawrence Paulson – Proof Assistants: From symbolic logic to real mathematics?
 

Lawrence Paulson – Proof Assistants: From symbolic logic to real mathematics?

May 18th, 2017 Mathematicians have always been prone to error. As proofs get longer and more complicated, the question of correctness looms ever larger. Andrew Wiles’ proof of Fermat’s last theorem contained a flaw that was only fixed a year later. Meanwhile, proof assistants — formal tools originally developed in...
Jean-Christophe Thalabard – Mathématiques, Statistiques et Médecine: des collaborations plus que jamais nécessaires
 

Jean-Christophe Thalabard – Mathématiques, Statistiques et Médecine: des collaborations plus que jamais nécessaires

jeudi 6 avril 2017 A travers le paradigme d’une maladie chronique fréquente, le cancer du sein, nous souhaitons aborder les évolutions de formes de collaborations entre le domaine médical et les chercheurs en mathématiques appliquées. La capacité à observer et quantifier les états physiologiques et pathologiques et approcher leurs variabilités...
Valérie Berthé – Numbers, computers and dynamical systems
 

Valérie Berthé – Numbers, computers and dynamical systems

March 9, 2017 A discrete dynamical system is defined as a set of states on which a transformation acts, considered as an evolution rule. The terminology discrete refers to the time that is discretized: at time n corresponds the nth iteration of this transformation. Dynamical systems are widely studied, for...
Gabriel Peyré – Numerical Optimal Transport and Applications
 

Gabriel Peyré – Numerical Optimal Transport and Applications

January 19th, 2017 Optimal transport (OT) has become a fundamental mathematical theoretical tool at the interface between calculus of variations, partial differential equations and probability. It took however much more time for this notion to become mainstream in numerical applications. This situation is in large part due to the high...
Brian Cantwell Smith – Semantics in the Time of Computing
 

Brian Cantwell Smith – Semantics in the Time of Computing

December 8th, 2016 Much of the technical terminology of computer science betrays its logical heritage: ‘language’, ‘symbol’, ‘syntax’, ‘semantics’, ‘value’, ‘reference’, ‘identifier’, ‘data’, etc.  Classically, such terms were used to name essential phenomena underlying logic, human thought and language — phenomena, it was widely believed, that would never succumb to...
David Harel –  On Artificial Olfaction, and How to Test For It
 

David Harel – On Artificial Olfaction, and How to Test For It

November 3rd, 2016 For years there has been interest in the possibility of building a reliable odor reproduction system (AOS), with its vast spectrum of applications: from e-commerce, games and video, via the food and cosmetics industry, to medical diagnosis. Such a system would enable an output device — the...
Jean-Paul Delahaye – Le Bitcoin et les monnaies cryptographiques
 

Jean-Paul Delahaye – Le Bitcoin et les monnaies cryptographiques

20 octobre 2016 En 2008 une nouvelle façon de concevoir la monnaie a été proposée, qui remet en cause les anciennes idées sur cette institution. Comme pour le courrier électronique ou internet qui ne sont aux mains d’aucune autorité et conduisent donc à une meilleure appropriation de l’information par tous,...
Marie-Paule Cani – Towards the Expressive Design of Virtual Worlds: Combining Knowledge and Control
 

Marie-Paule Cani – Towards the Expressive Design of Virtual Worlds: Combining Knowledge and Control

September 22, 2016 Despite our great expressive skills, we humans lack an easy way of conveying the 3D worlds we imagine. While impressive advances were made in the last fifteen years to evolve digital modeling systems into gesture-based interfaces enabling to sketch or sculpt in 3D, modeling is still generally...