This talk will use partial orders, lattice theory, and, if time permits, the Galois connection as carriers to illustrate the use of calculi in mathematics. We hope to show the brevity of many calculations (in order to fight the superstition that formal proofs are necessarily unpractically long), and the strong heuristic guidance that is available for their design.
Edsger Dijkstra is the Schlumberger Centennial Chair in Computer Sciences at the University of Texas, Austin. He is the 1972 recipient of the ACM Turing Award.
Time and Location: see main colloquium page