BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Applied Logic
DTSTART:20110620T101500
DTSTAMP:20260407T050920Z
UID:7d3b527cd49a6b733c4b3ee84f79f4d9bdaf476884ee0a0ef7a6078b
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Tony Hoare\, Microsoft Research\, Keynote Speaker\nLogic
  is the study of the rules of valid reasoning. Its direction of developmen
 t has always been inspired by its intended areas of application. When firs
 t codified by Aristotle  it was applied to reasoning in philosophy  which 
 then included biology and other branches of science. In classical times it
  was applied by Euclid to land measurement (geometry)\; in medieval Europe
  it was applied by William of Occam and others to theology. Leibnitz hoped
  that logic could transform the art of mathematical proof to calculation  
 as in the infinitesimal calculus. Logic was developed further in modern ti
 mes to secure the foundations of mathematics  protecting against inconsist
 ency of its axioms  and checking against errors and omissions in individua
 l mathematical proofs. Most recently logic has been applied in the design 
 of the hardware of binary digital computers  and in the development of the
  software programs which make them usable. The consequential reduction in 
 the cost of errors in both hardware and software is estimated in billions 
 of dollars per year. The aim of this lecture is to show that Computer Scie
 nce belongs to a great intellectual and academic tradition that stretches 
 back into antiquity. And the future is equally exciting. Computers are now
  getting ever more proficient at logical and mathematical reasoning\; and 
 their capabilities are being widely exploited in the humanities  in biolog
 y and in other branches of science.
LOCATION:CE 1 3 https://plan.epfl.ch/?room==CE%201%203
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR