Blog Archives

A graduate of the Ecole Polytechnique and the Ecole des Mines, he completed a PhD in mathematics in 1979. In 1980 he joined Inria, where much of his research work centred around the development of the Esterel language. This language … Continue reading →

Peter Bürgisser is Professor of Mathematics at the University of Paderborn in Germany. His main area of expertise is the complexity of algebraic and geometric problems. He is also interested in the average-case analysis of numerical problems. He was an invited speaker at the … Continue reading →

Gilles Dowek est aujourd’hui directeur de recherche Inria. Au sein de l’équipe-projet TYPICAL (Inria Saclay -Île-de-France), il a mené ses recherches sur les rapports entre les langages de programmation et le langage mathématique, sur les systèmes informatisés de traitement de … Continue reading →

J.M.E. Hyland est professeur de logique mathématique au King’s College à Cambridge.             Logic, abstract mathematics and the science of information: an unappreciated aspect of the heritage of Turing. The science of information was born … Continue reading →

Erich Kaltofen is a Professor at North Carolina State University. He has held visiting positions at MSRI in Berkeley, the University of Toronto, the ENS Lyon, and MIT. His research is in symbolic computation and theoretical computer science. His current interests are in … Continue reading →

Giuseppe Longo is currently a Senior Research Scientist at CNRS. He is working at the CREA, Ecole Polytechnique et au CIRPHLES of ENS Ulm in Paris. He’s the head of the CIM team (Complexité et information morphologiques). The main research … Continue reading →

Jean-Michel Salanskis is Professor of philosophy at the University of Paris Ouest Nanterre La Défense. His main area of expertise is the philosophy of mathematics, of phenomenology, of contemporary philosophy. La construction et le calcul Nous présenterons ce que nous tenons principalement de Turing … Continue reading →