Upcoming talks

Nicolas Schabanel

Folding Turing is hard but feasible
February 6th, 2018

Josselin Garnier

A l’écoute du bruit – L’imagerie par corrélations croisées
March 20th, 2018

Jacques Demongeot

Biological Networks Entropies: examples in neural, genetic and social networks
May 24Th, 2018

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

Franck Varenne – An extensionalist analysis of computer simulations
 

Franck Varenne – An extensionalist analysis of computer simulations

January 11th, 2018 The current spreading of multi-scale and multi-process integrative simulations is challenging for the philosophy of science. What is the epistemic function of such a simulation? What does it really show? On what grounds? Is it an experimental design or a theoretical construction? To contribute to these debates,...
Julia Lawall – Coccinelle: synergy between programming language research and the Linux kernel
 

Julia Lawall – Coccinelle: synergy between programming language research and the Linux kernel

November 23rd, 2017 The Linux kernel underlies all kinds of systems across the computing landscape, from embedded systems to supercomputers. Today, the number of developers contributing to a given Linux kernel version is almost 2000. These range from developers who have many years of experience and work on core parts...
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...