Author Archives: Chair

(Français) TEST-VIDEO

 

More Galleries | Leave a comment

(Français) Cahier spécial Turing dans Le Monde (Samedi 23 juin)

le_monde_3

Sorry, this entry is only available in Français.

Posted in Further reading | Leave a comment

(Français) DocSciences : Alan Turing : la pensée informatique

Mise en page 1

 

Posted in Further reading | Leave a comment

Movie: The Turing Machine Comes True

machineTuring1

En 1936, Alan Turing a imaginé un modèle abstrait pour définir une notion qui jusqu’alors était restée intuitive : la calculabilité. Ce modèle est aujourd’hui connu sous le nom de machine de Turing et est toujours utilisé en informatique théorique … Continue reading

Posted in Further reading | Leave a comment

Special issue of Nature: ALAN TURING AT 100

turing_logo

Alan Turing, born a century ago this year, is best known for his wartime code-breaking and for inventing the ‘Turing machine’ – the concept at the heart of every computer today. But his legacy extends much further: he founded the … Continue reading

Posted in Further reading | Leave a comment

(Français) La formule Villani : Alan Turing, père fondateur de l’informatique

GcAxofyuTwY0oQyy5ufJMzl72eJkfbmt4t8yenImKBVaiQDB_Rd1H6kmuBWtceBJ

 

Posted in Further reading | Leave a comment

(Français) Et si on s’intéressait au père de nos petites petites machines numériques…

apOzUQyKRhRhrEZTHo3QwCN_uXZbW2oNh6e4UjnxoeI=

 

Posted in Further reading | Leave a comment

(Français) Hors-série CNRS le journal sur l’héritage d’Alan Turing

hs_turing

 

Posted in Further reading | Leave a comment

(Français) Film sur le Modèle Turing

image003

 

Posted in Further reading | Leave a comment

(Français) Podcast France Culture : Le monde du computationnel

logo

 

Posted in Further reading | Leave a comment

(Français) Podcast France Culture : Centenaire d’ Alan Turing

logo

 

Posted in Further reading | Leave a comment

(Français) Podcast France Culture : Alan Turing

logo

 

Posted in Further reading | Leave a comment

I. Watson, The Universal Machine

image003

The computer is a radical invention. In less than a single lifetime it has transformed economies and societies like nothing before. In the future, artificial intelligence and ubiquitous, quantum and molecular computing may even make us immortal – part of … Continue reading

Posted in Further reading | Leave a comment

(Français) Interstice : Découvrir la recherche en informatique

ra

 

Posted in Further reading | Leave a comment

Leslie Valiant

LGV_2008

    Leslie Valiant was educated at King’s College, Cambridge; Imperial College, London; and at Warwick University where he received his Ph.D. in computer science in 1974. He is currently T. Jefferson Coolidge Professor of Computer Science and Applied Mathematics in the School … Continue reading

Posted in Invited Speakers | Leave a comment

Gérard Berry

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

More Galleries | Leave a comment

Manuel Bodirsky

Manuel Bodirsky holds a CNRS research position at the École Polytechnique. He wrote his thesis at Humboldt University Berlin. His major research focus is the complexity of constraint satisfaction problems, and he is interested in the mathematical tools from universal algebra, model theory, and … Continue reading

Posted in Invited Speakers | Leave a comment

Peter Bürgisser

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

More Galleries | Leave a comment

Gilles Dowek

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

More Galleries | Leave a comment

J.M.E. Hyland

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

More Galleries | Leave a comment