Prochaines conférences

Julia Lawall

Coccinelle: synergy between programming language research and the Linux kernel
23 novembre 2017

Franck Varenne

An extensionalist analysis of computer simulations
11 janvier 2018
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

Marta Kwiatkowska – Safety Verification of Deep Neural Networks
 

Marta Kwiatkowska – Safety Verification of Deep Neural Networks

October 19th, 2017 Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with respect to adversarial perturbations, that is, minimal changes to the input image that cause the network to misclassify it. With potential applications including perception modules and end-to-end controllers for self-driving...
Richard Szeliski – Visual Reconstruction and Image-Based Rendering
 

Richard Szeliski – Visual Reconstruction and Image-Based Rendering

September 12th 2017 The reconstruction of 3D scenes and their appearance from imagery is one of the longest-standing problems in computer vision. Originally developed to support robotics and artificial intelligence applications, it has found some of its most widespread use in the support of interactive 3D scene visualization. One of...
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...