Upcoming talks

Richard Szeliski

Visual Reconstruction and Image-Based Rendering
September 12th, 2017

Marta Kwiatkowska

Safety Verification of Deep Neural Networks
October 19th, 2017

A series of monthly lectures, The Jacques Morgenstern Colloquium exhibits the most active, most promising research in the field of Information and Communication Science and Technology (ICST).

The lectures cover current research, new applications, as well as industrial and social challenges. The invited speakers are established senior experts of international stature in computer science, mathematics, and other fields where ICST plays a crucial role.

The colloquium is addressed to all researchers, engineers and students who want to better understand the future of IST. It is intended to create awareness and interest and to promote interdisciplinary discussions and collaborations.

The colloquium is named after Jacques Morgenstern, a professor of mathematics at the University of Nice Sophia-Antipolis and one of the pioneers in algebraic complexity and computer algebra. He headed a joint team of CNRS, Inria and the University of Nice until he died tragically in 1994.

The colloquium is part of the training at Ecole Doctorale STIC.

Our recent speakers

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,...