Colloquium d'informatique de l'UPMC – Sorbonne Universités
Donald Knuth, Stanford University

Tuesday 17 June 2014 at 18:00
Location: Amphithéâtre 15, Université Pierre et Marie Curie (Jussieu Campus)

Photo/ Donald Knuth is Professor Emeritus of The Art of Computer Programming at Stanford University. His work is distinguished by its integration of theoretical analyses and practical real-world concerns. Prof. Knuth has been called the father of the analysis of algorithms: he contributed to the development of the rigorous analysis of the computational complexity of algorithms and systematized formal mathematical techniques for it. He also made fundamental contributions to the subfields of compilers, string matching, term rewriting systems, literate programming, and typography. Over twenty books are authored by Prof. Knuth, among which the critically acclaimed multi-volume work The Art of Computer Programming, an ongoing series since 1962. In the publishing process he created TeX and METAFONT which are now largely accepted as standards for electronic typesetting and font rendering. Prof. Knuth received the first ACM Grace Murray Hopper Award in 1971. He has received various other awards including the Turing Award, the National Medal of Science, the John von Neumann Medal, and the Kyoto Prize.

Colloquium: Computer Science: All Questions Answered

Would computer science be recognized as a mature discipline when it had 1,000 deep algorithms? And what is the current state? Why would you think the design of efficient algorithms to be the core of computer science? What is the connection between mathematics and computer programming viewed as an art? Will we have intelligent machines sometime in the future? Should we have them? Any question on any subject, such as the above questions, or software patents, or distraction about fonts on restaurant menus, will get an answer from Donald Knuth, who “has made as great a contribution to the teaching of mathematics for the present generation of students as any book in mathematics proper in recent decades” (statement from the AMS Steele Prize for Exposition in 1986).

Ask your question --- LIVE during the talk!: http://www.algo-prog.info/all-questions-answered/

Other information

There will be a cocktail at 17:15, in front of Amphithéâtre 15.

Amphithéâtre 15
Université Pierre et Marie Curie (Jussieu Campus)
4, place Jussieu
Paris Vème (métro Jussieu)

How to reach Université Pierre et Marie Curie (Jussieu campus)..

Electronic access:

Contact: Michèle Soria

Steering committee

Marcin Detyniecki
Jean-Charles Faugère
Bertrand Granado
Mathieu Jaume
Nicolas Maudet
Marc Shapiro
Fabien Tarissan
Gaël Thomas

Calendar


All the offline videos

Year 2013 – 2014


Gilles Dowek, 22 October 2013
Are formal methods the future of air traffic control? (Is there an autopilot on board?)

Tony Hoare, 26 November 2013
Laws of concurrent system design

Vint Cerf, 4 March 2014
On the Preservation of Digital Information

Claude Berrou, 25 March 2014
L'information mentale

David Patterson, 6 May 2014
Myths about MOOCs and Software Engineering Education

Jeannette Wing, 20 May 2014
Toward a Theory of Trust in Networks of Humans and Computers

Donald Knuth, 17 June 2014
Computer Science: All Questions Answered

Year 2012 – 2013


Gérard Berry, 24 October 2012
Le temps et les événements en informatique

Georges Gonthier, 27 November 2012
Le génie mathématique, du théorème des quatre couleurs à la classification des groupes

Stuart Russell, 22 January 2013
Unifying logic and probability: A "New Dawn" for Artificial Intelligence?

Frans Kaashoek, 18 April 2013
The multicore evolution and operating systems

Robert Sedgewick, 23 May 2013
Taking Education Online: A Unique Opportunity for the New Millenium

Camille Couprie, Mathilde Noual and Mathieu Feuillet, 25 June 2013
Espoirs : Winners of the 2012 Gilles Kahn prize

Year 2011 – 2012


Leslie Lamport, 28 June 2012
What is computation?