10 October 2000, Lecture by E.W. Dijkstra

10 October 2000, Lecture by E.W. Dijkstra
Title: On avoiding avoidable case analyses
Speaker: E.W. Dijkstra, Professor Emeritus, University of Texas at Austin
Location: Room Z011, CWI, Kruislaan 413
Date and Time: 10 October 2000, 16:00

Abstract:
Since brevity is an essential virtue of proofs and programs and will always be so) and case analyses tend to lengthen them, avoding case analysis is (and will remain) a central issue in mathematical methodology and the methodology of programming.
With a series of small examples we'll illustrate various techniques for case analysis reduction. They should make us understand why counting arguments can be so effective and when they are applicable.

For more information, please contact Krzysztof R. Apt, tel. 020-592.4135, email: k.r.apt@cwi.nl.